anni | TAF | Online | Nome | Docente o Coordinatore |
---|---|---|---|---|
1° | Complessità |
Roberto Posenato
|
||
1° | Fisica dei dispositivi integrati |
Francesca Monti
|
||
1° | Metodi algebrici |
Enrico Gregorio
|
||
1° | Teoria dell'informazione |
Vincenzo Manca
(Coordinatore)
|
||
1° 2° | Deduzione automatica |
Gianluigi Bellin
|
||
1° 2° | Sicurezza e crittografia |
Roberto Segala
|
||
1° 2° | Sistemi operativi avanzati |
Massimo Poncino
|
||
1° 2° | Sistemi per la progettazione automatica |
Franco Fummi
|
anni | TAF | Online | Nome | Docente o Coordinatore |
---|---|---|---|---|
1° | Metodi probabilistici e statistici |
Laura Maria Morato
|
||
1° 2° | Analisi e verifica automatica di sistemi |
Roberto Giacobazzi
|
||
1° 2° | Linguaggi concorrenti e mobili |
Massimo Merro
|
||
1° 2° | Modelli di calcolo non convenzionale |
Vincenzo Manca
|
||
1° 2° | Sistemi informativi aziendali |
Carlo Combi
|
anni | TAF | Online | Nome | Docente o Coordinatore |
---|---|---|---|---|
1° | Logica II |
Ruggero Ferro
|
||
1° | Sistemi di elaborazione dell'informazione |
Franco Fummi
|
||
1° 2° | Linguaggi e tecniche speciali di programmazione |
Nicola Fausto Spoto
|
||
1° 2° | Linguaggi funzionali |
Ugo Solitro
|
||
1° 2° | Metodi di specifica di sistemi software |
Giuseppe Scollo
|
||
1° 2° | Semantica |
Arnaud Fleury
|
||
1° 2° | Sistemi esperti |
Matteo Cristani
|
******** CSS e script comuni siti DOL - frase 9957 ********p>