Scorri la lista: Supervisore e Co-supervisore

Su di un livello

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.

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.

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 Sun Dec 22 20:40:27 2024 CET.

Esporta come	Atom RSS 1.0 RSS 2.0