Results

Found results 3

Full data Concise data

Click the title to see full data and shelfmark of each item

Consultabilità delle tesi

Consultabile Consultabile
Non consultabile Non consultabile

Tesi presenti nel catalogo


Non definita BONIZZI ALBERTO, MODEL-BASED DESIGN OF A SMART ENERGY CONTROL USING TASTE, Rel. PASSERONE ROBERTO, AA 2017/2018
Author: BONIZZI ALBERTO
Title: MODEL-BASED DESIGN OF A SMART ENERGY CONTROL USING TASTE
Relatore: PASSERONE ROBERTO
Correlatore: CIMATTI ALESSANDRO
Secondo Correlatore: PASSERONE ROBERTO
Controrelatore: CAVADA ROBERTO
Academic year: 2017/2018
Course: Corso di Laurea Magistrale - INFORMATICA [0517H]
Struttura didattica: Dipartimento di Ingegneria e Scienza dell'Informazione
Formato: digitale
Shelfmark: 0517H-484
Non consultabile 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
Author: CAMPANA DANIELE
Title: 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
Academic year: 2013/2014
Course: Corso di Laurea Magistrale - INFORMATICA [0517H]
Struttura didattica: Dipartimento di Ingegneria e Scienza dell'Informazione
Formato: digitale
Shelfmark: 0517H-236
Consultabile DONAZZOLO FULVIO, UN'ANALISI FORMALE DELLA COMPETIZIONE INTERNAZIONALE PER SISTEMI DI DIAGNOSTICA, Rel. CIMATTI ALESSANDRO, AA 2011/2012
Author: DONAZZOLO FULVIO
Title: UN'ANALISI FORMALE DELLA COMPETIZIONE INTERNAZIONALE PER SISTEMI DI DIAGNOSTICA
Relatore: CIMATTI ALESSANDRO
Correlatore: BOZZANO MARCO
Secondo Correlatore: CAVADA ROBERTO
Academic year: 2011/2012
Course: Corso di Laurea - Informatica (triennale) [0507C]
Struttura didattica: Facoltà di Scienze
Formato: digitale
Shelfmark: 0507C-398
Richiedi la consultazione