LoginTesi di laurea con relatore o correlatore Sangiorgi, Davide, discusse nel 2010
![[su]](/style/images/multi_up.png)
Su di un livelloLaurea
Gasperini, Marco (2010) Sincronizzazione e condivisione di file system tra sistemi operativi. [Laurea], Università di Bologna, Corso di Studio in Scienze di internet [L-DM509]
Zini, Alessio (2010) Joomla! e Microweb: soluzioni low cost per la piccola impresa. [Laurea], Università di Bologna, Corso di Studio in Scienze di internet [L-DM509]
Laurea magistrale
Patrignani, Marco (2010) Importing ownership types into the join calculus. [Laurea magistrale], Università di Bologna, Corso di Studio in Informatica [LM-DM270]
Laurea specialistica
Biondi, Fabrizio (2010) Metodi di verifica formale per il linguaggio ad oggetti Creol. [Laurea specialistica], Università di Bologna, Corso di Studio in Informatica [LS-DM509], Documento ad accesso riservato.
