1st Semester |
|
|
Formal Methods |
Prof. Alessandro Artale |
B |
Internet Technologies 2 |
Prof. Alberto Sillitti |
B |
Software Architectures |
Prof.
Giancarlo Succi
|
B |
Advanced
Topics in Information Systems |
Prof.
Francesco Ricci |
I |
Component-Based Development |
Prof. Francesco Di Cerbo |
I |
Introduction to Artificial
Intelligence |
Prof. Sergio Tessaris |
I |
Machine
Learning: Algorithms and Applications |
Prof. Quang Nguyen Nhat |
I |
Software Metrics |
Prof. Barbara Russo
|
I
|
Advanced
Topics in Databases |
Prof.
Igor Timko |
A |
Semantic Web Technologies |
Prof.
Jos de Bruijn |
A |
Text Processing |
Prof. Bernardo Magnini |
A |
Seminars
in Databases |
Prof.
Johann Gamper
|
S |
Seminars in Software
Engineering |
Prof.
Giancarlo Succi
|
S |
2st Semester |
|
|
Computer
Graphics |
Prof. Jay
Anderson
|
B |
Advanced
Software Engineering Methodology |
Prof. Etiel Petrjnia |
I |
Advanced
Web Programming
|
Prof. Adriano Venturini
|
I |
Approximation:
Theory and Algorithms |
Prof. Nikolaus Augsten |
I |
Computational Linguistics |
Prof. Raffaella Bernardi |
I |
Computational Logic |
To assign
|
I |
Digital
Libraries |
Prof. Vittore Casarosa / Prof. Daniele Gobbetti
|
I |
Distributed Databases |
Prof. Johann Gamper |
I |
Introduction to
Linguistics |
Prof. Emanuele Pianta
|
I |
Knowledge Representation |
Prof. Enrico Franconi |
I |
Software Engineering 2 |
Prof. Barbara Russo |
I |
Software
Evolution |
Prof. Bruno Rossi |
I |
Software Quality Management |
Prof. Andrea Janes
|
I |
XML and Semistructured
Databases |
Prof. Paolo Dongilli
|
I |
Cross-Language Information
Technologies |
Prof. Andrea Abel |
A |
Foundations of Databases |
Prof.
Werner Nutt
|
A |
Knowledge Bases and
Databases |
Prof. Diego Calvanese |
A |
Mobile Services |
Prof.
Francesco Ricci |
A |
Non-classical Logics |
Prof. Rosella Gennari |
A |
Requirement Engineering |
Prof.
Emanuele Danovaro |
A |
Software Testing |
To assign
|
A |
Temporal and Spatial
Databases |
Prof. Johann Gamper |
A
|