Corso di Laurea Magistrale in Informatica – B059
(*) 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 B018973 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 M. Massink |
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 P. Lollini |
Ceccarelli |
B018967 |
Sistemi Distribuiti e Reti di Calcolatori |
P. Crescenzi |
Loreti, Pugliese, Venneri |
ULTIMO AGGIORNAMENTO
17.05.2023