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: 2008 | 2009 | 2012 | 2015 | 2016 | 2019 | 2020
Numero di documenti: 8.

2008

Tacchella, Paolo (2008) Constraint handling rules. Compositional semantics and program transformation, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Informatica, 20 Ciclo. DOI 10.6092/unibo/amsdottorato/912.

2009

Di Giusto, Cinzia (2009) Expressiveness of Concurrent Languages, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Informatica, 20 Ciclo. DOI 10.6092/unibo/amsdottorato/1433.

2012

Mauro, Jacopo (2012) Constraints meet concurrency, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Informatica, 24 Ciclo. DOI 10.6092/unibo/amsdottorato/4341.

2015

Amadini, Roberto (2015) Portfolio Approaches in Constraint Programming, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Informatica, 27 Ciclo. DOI 10.6092/unibo/amsdottorato/6933.

2016

Giallorenzo, Saverio (2016) Real-World Choreographies, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Informatica, 28 Ciclo. DOI 10.6092/unibo/amsdottorato/7512.

Martini, Giulia (2016) CAD Aspects on Isogeometric Analysis and Hybrid Domains, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Informatica, 28 Ciclo. DOI 10.6092/unibo/amsdottorato/7340.

2019

Liu, Tong (2019) Innovative Applications of Constraint Programming, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Computer science and engineering, 31 Ciclo. DOI 10.6092/unibo/amsdottorato/9068.

2020

Zingaro, Stefano Pio (2020) Interoperability Challenges in Internet of Things Systems: a Service-Oriented Computing Approach, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Computer science and engineering, 32 Ciclo.

Questa lista e' stata generata il Fri Aug 12 20:39:31 2022 CEST.
^