Commissioni d'esame 2016/2017 - Primo semestre
(*) Nel caso di due o più titolari, il Presidente della Commissione è il nominativo sottolineato
|
Codice |
Esame |
Titolare/i attività didattica (*) |
Commissari (membri ulteriori) |
|
B018973 |
Apprendimento Automatico |
P. Frasconi |
Mutuato da B010476 Apprendimento Automatico (LM Ingegneria Informatica) |
|
B014441 |
Architetture Avanzate |
C. Lucchese |
Verri, Loreti |
|
B018972 |
Complementi di Calcolo Numerico |
C. Conti |
Mutuato da B018819 Analisi Numerica II (L. Matematica) |
|
B012487 |
Metodi di Approssimazione |
L. Brugnano |
Mutuato da 6 CFU di B012965 Modelli Numerici per la Simulazione (LM Matematica) |
|
B018971 |
Metodi Formali per la Verifica di Sistemi |
M. Loreti
|
Venneri, Pugliese, Crescenzi |
|
B012489 |
Modelli di Sistemi Sequenziali e Concorrenti |
R. Pugliese |
Boreale, Crescenzi, Loreti, Venneri |
|
B018968 |
Progettazione e Analisi di Algoritmi |
D. Merlini, M.C. Verri |
Crescenzi, Venneri, Loreti |
|
B012505 |
Sistemi Critici e Real Time |
A. Bondavalli A. Ceccarelli |
Lollini |
|
B026351 |
Tecniche Avanzate di Programmazione |
L. Bettini |
Loreti, Pugliese, Venneri |