Scorri la lista: Supervisore e Co-supervisore

Su di un livello
Esporta come [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Raggruppa per: Autore | Data di discussione | Ciclo | Nessun raggruppamento
Vai a: C | G | V
Numero di documenti: 4.

C

Carpineti, Samuele (2007) Data and behavioral contracts for web services, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Informatica, 19 Ciclo. DOI 10.6092/unibo/amsdottorato/368.

G

Garcia Celestrin, Abel (2017) Static Analysis of Concurrent Programs Based on Behavioral Type Systems, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Computer science and engineering, 29 Ciclo. DOI 10.6092/unibo/amsdottorato/8046.

V

Veschetti, Adele (2023) A formal analysis of blockchain consensus, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Computer science and engineering, 35 Ciclo. DOI 10.48676/unibo/amsdottorato/10835.

Vitale, Antonio (2010) Expressiveness in biologically inspired languages, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Informatica, 22 Ciclo. DOI 10.6092/unibo/amsdottorato/2665.

Questa lista e' stata generata il Thu Apr 18 20:39:06 2024 CEST.

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

^