WebHome | 14 Nov 2017 - 17:57 - r86 | LuisSoaresBarbosa |
Theory and Foundations Welcome to ACMSD 2017/18 (CC545) Slides of course presentation (15 Sep): (10 slides) We are currently planning the schedule of the course. ... |
Avisos | 27 Oct 2017 - 17:20 - r16 | JoseNunoOliveira |
20 Oct Slides prepared for days 9 Oct 16 Oct (8 h) already available: (109 slides) 26 Sep Slides prepared for the first two days, 8 hours (25 Set 2 Oct) already ... |
WebSideBar | 04 Oct 2016 - 18:29 - r69 | JoseNunoOliveira |
Topics Wecome to ACMSD website Avisos Notice |
EquipaDocente | 23 Oct 2013 - 11:16 - NEW | JoseNunoOliveira |
Staff L.S. Barbosa Coord D. Hofmann M.A. Martins J.N. Oliveira JoseNunoOliveira 23 Oct 2013 |
Calendario | 23 Oct 2013 - 11:05 - NEW | JoseNunoOliveira |
Schedule |
Programa | 23 Oct 2013 - 10:33 - NEW | JoseNunoOliveira |
Course contents # What Who 1 Category theory for computer science D. Hoffman 2 Algebraic specification M.A. Martins 3 Coalgebraic specification ... |
WebPreferences | 23 Oct 2013 - 10:01 - r19 | AlcinoCunha |
Education/ACMSD Web Preferences The following settings are web preferences of the Education/ACMSD web. These preferences overwrite the site level preferences ... |
WebStatistics | 10 Sep 2011 - 18:37 - r1184 | TWikiGuest |
Statistics for Education/ACMSD Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic ... |
WebTopicActions | 29 Sep 2009 - 16:53 - r2 | AlcinoCunha |
WebCss | 03 May 2007 - 08:33 - r4 | AlcinoCunha |
.natRevision { width:0px; height:0px; overflow:hidden; } .natBreadCrumbs { width:0px; height:0px; overflow:hidden; } .avisos { color: #444; font size ... |
WebTopBar | 13 Feb 2007 - 14:43 - NEW | AlcinoCunha |
WebLeftBar | 13 Feb 2007 - 10:35 - r5 | AlcinoCunha |
Apresentação Sumários Projectos Material |
WebTopicList | 15 Nov 2006 - 19:43 - r3 | TWikiContributor |
WebSearchAdvanced | 15 Nov 2006 - 19:43 - r3 | TWikiContributor |
WebTopicCreator | 15 Nov 2006 - 19:43 - r2 | TWikiContributor |
WebIndex | 15 Nov 2006 - 19:43 - r4 | TWikiContributor |
WebSearch | 15 Nov 2006 - 19:43 - r3 | TWikiContributor |
WebChanges | 15 Nov 2006 - 19:43 - r3 | TWikiContributor |
WebAtom | 24 Jan 2006 - 06:07 - r2 | TWikiContributor |
TWiki's Education/ACMSD web |
WebRss | 28 Mar 2005 - 09:40 - r4 | TWikiContributor |
" else "TWiki's Education/ACMSD web"}% /Education/ACMSD |
WebNotify | 28 Mar 2005 - 09:40 - r5 | TWikiContributor |
TWikiGuest example #64;your.company .WebChangesAlert, ., .TWikiRegistration |