Risultati

Risultati trovati 2

Dati completi Dati sintetici

Clicca sul titolo per vedere i dati completi di ogni documento e la segnatura con la quale richiederlo.

Consultabilità delle tesi

Consultabile Consultabile
Non consultabile Non consultabile

Modalità di consultazione e contatti

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

Nuova ricerca