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