years | TTA | E-lrng | Name | Teacher or coordinator |
---|---|---|---|---|
1° | Computational Complexity |
Roberto Posenato
|
||
1° | The Physics of Integrated Devices |
Francesca Monti
|
||
1° | Algebraic Methods |
Enrico Gregorio
|
||
1° | Information Theory |
Vincenzo Manca
(Coordinator)
|
||
1° 2° | Automated Deduction |
Gianluigi Bellin
|
||
1° 2° | Security and Cryptology |
Roberto Segala
|
||
1° 2° | Advanced Operating Systems |
Massimo Poncino
|
||
1° 2° | Electronic Design Automation |
Franco Fummi
|
years | TTA | E-lrng | Name | Teacher or coordinator |
---|---|---|---|---|
1° | Probability and Statistics Methods |
Laura Maria Morato
|
||
1° 2° | Automatic System Analysis and Verification |
Roberto Giacobazzi
|
||
1° 2° | Concurrent and Mobile Languages |
Massimo Merro
|
||
1° 2° | Non-conventional Calculation Methods |
Vincenzo Manca
|
||
1° 2° | Information Systems |
Carlo Combi
|
years | TTA | E-lrng | Name | Teacher or coordinator |
---|---|---|---|---|
1° | Logic II |
Ruggero Ferro
|
||
1° | Sytems of Information Elaboration |
Franco Fummi
|
||
1° 2° | Programming Languages and Special Techniques |
Nicola Fausto Spoto
|
||
1° 2° | Functional Languages |
Ugo Solitro
|
||
1° 2° | Methods of Software System Specification |
Giuseppe Scollo
|
||
1° 2° | Semantics |
Arnaud Fleury
|
||
1° 2° | Expert Systems |
Matteo Cristani
|
******** CSS e script comuni siti DOL - frase 9957 ********p>