Results

Found results 2

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


Consultabile GIACOBBE MIRCO, PREDICATE ABSTRACTION OF PLC PROGRAMS USING SMT SOLVING, Rel. BIALLAS SEBASTIAN, AA 2011/2012
Author: GIACOBBE MIRCO
Title: PREDICATE ABSTRACTION OF PLC PROGRAMS USING SMT SOLVING
Relatore: BIALLAS SEBASTIAN
Correlatore: KOWALESKI STEFAN
Secondo Correlatore: SEBASTIANI ROBERTO
Academic year: 2011/2012
Course: Corso di Laurea Magistrale - INFORMATICA [0517H]
Struttura didattica: Dipartimento di Ingegneria e Scienza dell'Informazione
Formato: digitale
Shelfmark: 0517H-122
Richiedi la consultazione
Consultabile PLANERA SERENA, A BAYESIAN APPROACH TO MULTIMODAL INTEGRATION BETWEEN AN INNATE AND AN AUGMENTED SENSORY MODALITY, Rel. KOWALESKI STEFAN, Rel. SCHWARZBACH JENS WOLKMAR, AA 2013/2014
Author: PLANERA SERENA
Title: A BAYESIAN APPROACH TO MULTIMODAL INTEGRATION BETWEEN AN INNATE AND AN AUGMENTED SENSORY MODALITY
Relatore: SCHWARZBACH JENS WOLKMAR
Secondo Relatore: KOWALESKI STEFAN
Academic year: 2013/2014
Course: Corso di Laurea Magistrale - Cognitive Science - Scienze Cognitive [0708H]
Struttura didattica: Centro Interdipartimentale Mente/Cervello - CIMEC
Formato: digitale
Shelfmark: 0708H-90
Richiedi la consultazione