LoginCorso di Studio in Ingegneria informatica [LS-DM509], anno discussione tesi 2015
Raggruppa per: Autore della tesi |
Relatore della tesi
| Indirizzo | Orientamento | Nessun raggruppamento
Numero di documenti: 3.
Chesani, Federico
Ria, Luigi (2015) Sviluppo e verifica di un framework basato su logica computazionale per la selezione dinamica di web services tramite informazioni. [Laurea specialistica], Università di Bologna, Corso di Studio in Ingegneria informatica [LS-DM509], Documento ad accesso riservato.
Denti, Enrico
De Simone, Fabio (2015) Specifica e sintesi automatica di sistemi software: Una notazione in linguaggio z. [Laurea specialistica], Università di Bologna, Corso di Studio in Ingegneria informatica [LS-DM509]
Milano, Michela
Salvaro, Mattia (2015) Virtual sensing technology applied to a swarm of autonomous robots. [Laurea specialistica], Università di Bologna, Corso di Studio in Ingegneria informatica [LS-DM509]
