Courses Offered During the 1999-2000
Academic Year
- Prof. Francesa Rossi "Programmazione con vincoli"
- Dr. Franesco Ranzato "Intepretazione Astratta"
- Prof. Arend Rensink (Twente University) "Static analysis for
object-oriented languages"
- Prof. Augusto Celentano "Sistemi Operativi"
- Prof. Marcello Pelillo "Computer Vision"
- Prof. Nadia Busi "Metodi Formali dell'Informatica II"
|
|
