Codice

Esame

Titolare/i attività didattica (*)

Commissari (membri ulteriori)

B018973

Apprendimento Automatico

P. Frasconi

Mutuato da Apprendimento Automatico (LM Ingegneria Informatica)

B014441

Architetture Avanzate

C. Lucchese

Loreti, Verri

B018972

Complementi di Calcolo Numerico

L. Brugnano

Mutuato da 6 CFU di Analisi Numerica II (L. Matematica)

B012487

Metodi di Approssimazione

L. Brugnano

Mutuato da 6 CFU di 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

B012511

Sistemi Critici e Real Time

F. Di Giandomenico

G. Lami

Bondavalli, Chiaradonna, Lollini