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: A | D | G | L | M | T | Z
Numero di documenti: 8.

A

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.

D

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.

G

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.

L

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.

M

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.

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.

T

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.

Z

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 Thu Dec 3 20:48:00 2020 CET.
^