Tesi di laurea con relatore o correlatore Dal Lago, Ugo, discusse nel 2010

Esporta come [Atom feed] Atom [RSS feed] RSS 1.0 [RSS2 feed] RSS 2.0
Raggruppa per: Autore della tesi | Tipologia della tesi | Nessun raggruppamento
Vai a: Laurea
Numero di documenti: 4.

Laurea

Barbieri, Francesco (2010) Sugli operatori di misura nella computazione quantistica. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM509]

Farina, Gian Pietro (2010) Dimostrazione automatica di risultati classici della crittografia computazionale. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM509]

Foschini, Federico (2010) Programmazione funzionale in spazio logaritmico: funzioni di ordinamento. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM509]

Lodi, Michael (2010) Programmazione funzionale in spazio logaritmico: una libreria di funzione aritmetiche. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM509]

Questa lista e' stata generata il Fri Dec 20 22:46:51 2024 CET.
^