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

Su di un livello
Esporta come [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Raggruppa per: Autore della tesi | Tipologia della tesi | Nessun raggruppamento
Vai a: C | G | S
Numero di documenti: 5.

C

Colledan, Andrea (2021) Abstract Machine Semantics for Quipper. [Laurea magistrale], Università di Bologna, Corso di Studio in Informatica [LM-DM270]

G

Giusti, Giulia (2021) Sui Tipi Sessione, le Scelte Probabilistiche e il Tempo Polinomiale. [Laurea magistrale], Università di Bologna, Corso di Studio in Informatica [LM-DM270], Documento ad accesso riservato.

Grillo, Francesca (2021) Proof-Of-Work e Impatto Ambientale: Problemi e Potenziali Soluzioni. [Laurea magistrale], Università di Bologna, Corso di Studio in Informatica [LM-DM270]

Guerra, Andrea (2021) LTIQ Un Calcolo Lineare per Q#. [Laurea magistrale], Università di Bologna, Corso di Studio in Informatica [LM-DM270]

S

Scevola, Damiano (2021) Static Analysis of Resources in QASM: Estimation of the Number of Qubits. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM270]

Questa lista e' stata generata il Thu Nov 7 03:31:15 2024 CET.
^