anni | TAF | Online | Nome | Docente o Coordinatore |
---|---|---|---|---|
2° | B | Algoritmi avanzati |
Roberto Posenato
|
|
2° | B | Analisi e verifica automatica di sistemi |
Roberto Giacobazzi
(Coordinatore)
|
|
2° | B | Deduzione automatica |
Alessandro Farinelli
(Coordinatore)
|
|
2° | G | Fisica dei dispositivi integrati |
Francesca Monti
(Coordinatore)
|
|
2° | B | Linguaggi funzionali |
Andrea Masini
|
|
2° | G | Logica computazionale |
Gianluigi Bellin
|
|
2° | B | Sicurezza e crittografia |
Roberto Segala
(Coordinatore)
|
|
2° | B | Sistemi operativi avanzati |
Graziano Pravadelli
(Coordinatore)
|
|
2° | B | Sistemi per la progettazione automatica |
Tiziano Villa
(Coordinatore)
|
anni | TAF | Online | Nome | Docente o Coordinatore |
---|---|---|---|---|
2° | G | Analisi matematica II |
Elisa Mastrogiacomo
(Coordinatore)
|
|
2° | B | Informatica quantistica |
Alessandra Di Pierro
|
|
2° | G | Metodi algebrici |
Lidia Angeleri
(Coordinatore)
|
|
2° | G | Metodi probabilistici e statistici |
Laura Maria Morato
(Coordinatore)
|
|
2° | B | Modelli di calcolo non convenzionale |
Vincenzo Manca
(Coordinatore)
|
|
2° | B | Sicurezza delle reti e dei sistemi |
Luca Vigano'
(Coordinatore)
|
|
2° | B | Sistemi distribuiti dedicati |
Nicola Bombieri
(Coordinatore)
|
|
2° | B | Sistemi esperti |
Matteo Cristani
(Coordinatore)
|
|
2° | B | Sistemi informativi aziendali |
Barbara Oliboni
(Coordinatore)
|
******** CSS e script comuni siti DOL - frase 9957 ********p>