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

[su] Su di un livello
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: 2.

Laurea

Casadio, Sara (2024) PLI e MAXSAT: Analisi Comparativa su Problemi di Ottimizzazione Combinatoria. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM270]

Venturi, Leonardo (2024) Quantum Circuit Size Estimation via Hoare Logic. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM270]

Questa lista e' stata generata il Sun Feb 23 07:38:34 2025 CET.

© ALMA MATER STUDIORUM - Università di Bologna, 2007-2025.

^