| anni | TAF | Online | Nome | Docente o Coordinatore |
|---|---|---|---|---|
| 1° | Analisi matematica II |
Stefano De Marchi
|
||
| 1° | Complessità |
Roberto Posenato
|
||
| 1° | Fisica dei dispositivi integrati |
Francesca Monti
|
||
| 1° | Metodi algebrici |
Enrico Gregorio
|
||
| 1° | Teoria dell'informazione |
Vincenzo Manca
|
||
| 1° 2° | Deduzione automatica |
Gianluigi Bellin
|
||
| 1° 2° | Sicurezza e crittografia |
Roberto Segala
|
||
| 1° 2° | Sistemi esperti |
Matteo Cristani
|
||
| 1° 2° | Sistemi operativi avanzati |
Massimo Poncino
|
||
| 1° 2° | B | 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° | Linguaggi e tecniche speciali di programmazione |
Nicola Fausto Spoto
|
||
| 1° 2° | A | Metodi di specifica di sistemi software |
Giuseppe Scollo
|
|
| 1° 2° | Modelli di calcolo non convenzionale |
Vincenzo Manca
(Coordinatore)
|
||
| 1° 2° | Sistemi informativi aziendali |
Carlo Combi
|
||
| anni | TAF | Online | Nome | Docente o Coordinatore |
|---|---|---|---|---|
| 1° | A | Sistemi di elaborazione dell'informazione |
Franco Fummi
(Coordinatore)
|
|
| 1° 2° | Semantica |
Ugo Solitro
|
||
| anni | TAF | Online | Nome | Docente o Coordinatore |
|---|---|---|---|---|
| 5° | Laboratorio di Informatica | non ancora assegnato |
© 2024 | Università degli studi di Verona
******** CSS e script comuni siti DOL - frase 9957 ********p>
