TWiki's Education/EM web The Education/EM web of TWiki. TWiki is a Web-Based Collaboration Platform for the Enterprise. http://wiki.di.uminho.pt/twiki/bin/view/Education/EM Copyright 2020 by contributing authors 2020-10-29T15:24:27Z WebStatistics http://wiki.di.uminho.pt/twiki/bin/view/Education/EM/WebStatistics 2020-10-29T15:24:27Z Statistics for Education/EM Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save ... (last changed by TWikiGuest) TWikiGuest WebSideBar http://wiki.di.uminho.pt/twiki/bin/view/Education/EM/WebSideBar 2017-09-09T19:34:31Z Tópicos Apresentação Sumários Alunos Alunos Material Avisos (last changed by JoseNunoOliveira) JoseNunoOliveira Avisos http://wiki.di.uminho.pt/twiki/bin/view/Education/EM/Avisos 2017-09-09T19:33:47Z 23 Fev Classificações após exame de recurso: serão publicadas em Alunos amanhã. 09 Fev Por ter faltado, por lapso, a resolução de uma questão do teste de ... (last changed by JoseNunoOliveira) JoseNunoOliveira Alunos http://wiki.di.uminho.pt/twiki/bin/view/Education/EM/Alunos 2017-09-09T19:32:56Z Classificações finais Por ordem de número mecanográfico: a48392 13 . id4065 12 ; pg12449 F ; pg18306 R ; pg25312 13 ; pg25314 12 ; pg25317 13 ; pg26342 ... (last changed by JoseNunoOliveira) JoseNunoOliveira Material http://wiki.di.uminho.pt/twiki/bin/view/Education/EM/Material 2015-02-09T17:24:01Z Material disponível ou a disponibilizar: Bibliografia D. Jackson. abstractions: logic, language, and analysis . Revised edition, MIT Press, 2012. C.B ... (last changed by JoseNunoOliveira) JoseNunoOliveira Calendario http://wiki.di.uminho.pt/twiki/bin/view/Education/EM/Calendario 2014-12-18T09:02:07Z Calendarização / Sumários da disciplina Calendário escolar: Despacho RT 06/2014 Actualização contínua no calendário: JoseNunoOliveira 23 Sep 2014 (last changed by JoseNunoOliveira) JoseNunoOliveira WebHome http://wiki.di.uminho.pt/twiki/bin/view/Education/EM/WebHome 2014-10-29T23:19:26Z Benvindo a Especificação e Modelação Bem vindo à página da edição de 2014/15 da disciplina de e Modelação do perfil de especialização em Métodos Formais em Engenharia ... (last changed by JoseNunoOliveira) JoseNunoOliveira WebPreferences http://wiki.di.uminho.pt/twiki/bin/view/Education/EM/WebPreferences 2014-09-23T10:54:39Z Education/EM Web Preferences The following settings are web preferences of the Education/EM web. These preferences overwrite the site level preferences in ... (last changed by AlcinoCunha) AlcinoCunha WebTopicActions http://wiki.di.uminho.pt/twiki/bin/view/Education/EM/WebTopicActions 2007-05-18T08:03:35Z (last changed by AlcinoCunha) AlcinoCunha WebCss http://wiki.di.uminho.pt/twiki/bin/view/Education/EM/WebCss 2007-02-16T14:32:59Z .natRevision { width:0px; height:0px; overflow:hidden; } .natBreadCrumbs { width:0px; height:0px; overflow:hidden; } .avisos { color: #444; font size ... (last changed by AlcinoCunha) AlcinoCunha WebTopBar http://wiki.di.uminho.pt/twiki/bin/view/Education/EM/WebTopBar 2007-02-13T14:43:04Z (last changed by AlcinoCunha) AlcinoCunha WebLeftBar http://wiki.di.uminho.pt/twiki/bin/view/Education/EM/WebLeftBar 2007-02-13T10:35:33Z Apresentação Sumários Projectos Material (last changed by AlcinoCunha) AlcinoCunha WebTopicList http://wiki.di.uminho.pt/twiki/bin/view/Education/EM/WebTopicList 2006-11-15T19:43:52Z (last changed by TWikiContributor) TWikiContributor WebSearchAdvanced http://wiki.di.uminho.pt/twiki/bin/view/Education/EM/WebSearchAdvanced 2006-11-15T19:43:52Z (last changed by TWikiContributor) TWikiContributor WebTopicCreator http://wiki.di.uminho.pt/twiki/bin/view/Education/EM/WebTopicCreator 2006-11-15T19:43:52Z (last changed by TWikiContributor) TWikiContributor WebIndex http://wiki.di.uminho.pt/twiki/bin/view/Education/EM/WebIndex 2006-11-15T19:43:52Z (last changed by TWikiContributor) TWikiContributor