| anni | TAF | Online | Nome | Docente o Coordinatore |
|---|---|---|---|---|
| 4° | A | Sistemi di elaborazione dell'informazione |
Franco Fummi
(Coordinatore)
|
|
| 4° 5° | S |
|
Analisi matematica II |
Marco Squassina
|
| 4° 5° | S | Fisica dei dispositivi integrati |
Francesca Monti
|
|
| 4° 5° | B |
|
Linguaggi funzionali |
Ugo Solitro
(Coordinatore)
|
| 4° 5° | S | Logica computazionale |
Gianluigi Bellin
|
|
| 4° 5° | S | Metodi probabilistici e statistici |
Laura Maria Morato
|
|
| 4° 5° | B |
|
Sicurezza e crittografia |
Roberto Segala
|
| 4° 5° | B | Sistemi esperti |
Matteo Cristani
|
|
| anni | TAF | Online | Nome | Docente o Coordinatore |
|---|---|---|---|---|
| 4° | A | Teoria dell'informazione |
Vincenzo Manca
|
|
| 4° 5° | B | Algoritmi avanzati |
Roberto Posenato
|
|
| 4° 5° | B | Analisi e verifica automatica di sistemi |
Roberto Giacobazzi
|
|
| 4° 5° | B | Deduzione automatica |
Maria Paola Bonacina
|
|
| 4° 5° | B |
|
Sistemi distribuiti dedicati |
Andrea Acquaviva
(Coordinatore)
|
| 4° 5° | B | Sistemi informativi aziendali |
Carlo Combi
|
|
| 4° 5° | B | Sistemi operativi avanzati |
Graziano Pravadelli
(Coordinatore)
|
|
| 4° 5° | B |
|
Sistemi per la progettazione automatica |
Tiziano Villa
(Coordinatore)
|
| anni | TAF | Online | Nome | Docente o Coordinatore |
|---|---|---|---|---|
| 4° | A | Complessità |
Isabella Mastroeni
|
|
| 4° 5° | B | Informatica quantistica |
Alessandra Di Pierro
|
|
| 4° 5° | B | Linguaggi concorrenti e mobili |
Massimo Merro
|
|
| 4° 5° | B | Modelli di calcolo non convenzionale |
Vincenzo Manca
|
|
| 4° 5° | B | Semantica |
Andrea Masini
|
|
| 4° 5° | B | Sicurezza delle reti e dei sistemi |
Luca Vigano'
|
|
© 2024 | Università degli studi di Verona
******** CSS e script comuni siti DOL - frase 9957 ********p>
