Tesi di laurea con relatore o correlatore Lanese, Ivan, discusse nel 2022

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: A | D | G
Numero di documenti: 3.

A

Arnone, William (2022) Tallulah: Gestione Assiomatica di Modelli Reversibili. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM270]

D

Dentale, Nicolò (2022) Energy and memory consumption of SHA256 algorithm. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM270]

G

Guidi, Enea (2022) Choreia: A Static Analyzer to Generate Choreography Automata from Go Source Code. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM270]

Questa lista e' stata generata il Sat Apr 27 03:14:10 2024 CEST.

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

^