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 ===== | ||
| + | |||
| + | ... | ||
| + | |||