Risultati
|
Risultati trovati 3 Dati completi Dati sinteticiClicca sul titolo per vedere i dati completi di ogni documento e la segnatura con la quale richiederlo. |
Consultabilità delle tesi
|
BONIZZI ALBERTO, MODEL-BASED DESIGN OF A SMART ENERGY CONTROL USING TASTE,
Rel. PASSERONE ROBERTO,
AA 2017/2018
Autore:
BONIZZI ALBERTO
Titolo: MODEL-BASED DESIGN OF A SMART ENERGY CONTROL USING TASTE Relatore: PASSERONE ROBERTO Correlatore: CIMATTI ALESSANDRO Secondo Correlatore: PASSERONE ROBERTO Controrelatore: CAVADA ROBERTO Anno accademico: 2017/2018 Corso: Corso di Laurea Magistrale - INFORMATICA [0517H] Struttura didattica: Dipartimento di Ingegneria e Scienza dell'Informazione Formato: digitale Segnatura: 0517H-484 |
|
CAMPANA DANIELE, A FORMAL FRAMEWORK FOR THE EFFICIENT SIMULATION OF TIMED COMPLEX SYSTEMS AND CONTROL PLANS,
Rel. SEBASTIANI ROBERTO,
Rel. CIMATTI ALESSANDRO,
AA 2013/2014
Autore:
CAMPANA DANIELE
Titolo: A FORMAL FRAMEWORK FOR THE EFFICIENT SIMULATION OF TIMED COMPLEX SYSTEMS AND CONTROL PLANS Relatore: SEBASTIANI ROBERTO Secondo Relatore: CIMATTI ALESSANDRO Correlatore: CAVADA ROBERTO Secondo Correlatore: DI NATALE MARCO Anno accademico: 2013/2014 Corso: Corso di Laurea Magistrale - INFORMATICA [0517H] Struttura didattica: Dipartimento di Ingegneria e Scienza dell'Informazione Formato: digitale Segnatura: 0517H-236 |
DONAZZOLO FULVIO, UN'ANALISI FORMALE DELLA COMPETIZIONE INTERNAZIONALE PER SISTEMI DI DIAGNOSTICA,
Rel. CIMATTI ALESSANDRO,
AA 2011/2012
Autore:
DONAZZOLO FULVIO
Titolo: UN'ANALISI FORMALE DELLA COMPETIZIONE INTERNAZIONALE PER SISTEMI DI DIAGNOSTICA Relatore: CIMATTI ALESSANDRO Correlatore: BOZZANO MARCO Secondo Correlatore: CAVADA ROBERTO Anno accademico: 2011/2012 Corso: Corso di Laurea - Informatica (triennale) [0507C] Struttura didattica: Facoltà di Scienze Formato: digitale Segnatura: 0507C-398 Richiedi la consultazione |