Vorschau Wintersemester 2010/11

Im Wintersemester 2010/11 bieten wir folgende Lehrveranstaltungen an:

12-3-49 :
Moderne Funktionale Programmierung
12-4-72 :
Einführung in die Constraint-Programmierung
12-1-02 :
Programmierpraktikum
12-1-11 :
Proseminar "Maschinelles Lernen"
12-4-61 :
Seminar "Formale Methoden der Software-Sicherheit"