Per Year
3
2nd-cycle theses
/
2015
/
Enrico Denti
- Progetto e realizzazione dell'interfacciamento secondo la specifica Java Scripting Engine dell'interprete tuProlog (2nd cycle) — Andrea Bucaletti
- Home intelligence & social network in the Butlers perspective (2nd cycle) — Sara Bevilacqua
- Specifica e sintesi automatica di sistemi software: una notazione in linguaggio Z (2nd cycle) — Fabio Desimone