Differences
This shows you the differences between two versions of the page.
Next revision | Previous revision Last revision Both sides next revision | ||
teaching [2016/09/27 22:28] adminluca created |
teaching [2016/09/27 22:30] adminluca |
||
---|---|---|---|
Line 6: | Line 6: | ||
* A.Y. 2016/17 | * A.Y. 2016/17 | ||
- | * Laboratorio di Algoritmi e Strutture Dati, 6 CFU, secondo anno, primo semestre, corso di laurea in Informatica, Unicam - [[http://didattica.cs.unicam.it/doku.php?id=didattica:triennale:asd:ay_1617:lab||pagina del corso]]((Questa pagina è accessible solo agli studenti Unicam)) | + | * Laboratorio di Algoritmi e Strutture Dati, 6 CFU, secondo anno, primo semestre, corso di laurea in Informatica, Unicam - [[http://didattica.cs.unicam.it/doku.php?id=didattica:triennale:asd:ay_1617:lab|pagina del corso]]((Questa pagina è accessible solo agli studenti Unicam)) |
* Real-time and Probabilistic Systems Verification, 6 ECTS, second year, first semester, Master of Science in Computer Science, Unicam | * Real-time and Probabilistic Systems Verification, 6 ECTS, second year, first semester, Master of Science in Computer Science, Unicam | ||
* Reactive Systems Verification, 6 ECTS, first year, second semester, Master of Science in Computer Science, Unicam | * Reactive Systems Verification, 6 ECTS, first year, second semester, Master of Science in Computer Science, Unicam | ||
* A.Y. 2015/16 | * A.Y. 2015/16 | ||
* ... | * ... | ||
+ | |||
+ | ===== Tesi/Theses ===== | ||
+ | |||
+ | ... | ||
+ |