WINTER 13/14

Im Wintersemester 2013/14 werden wir die folgenden Veranstaltungen anbieten:


Grundvorlesung: Programmierung 1
Vertiefungsvorlesung: Energieinformatik
Vertiefungsvorlesung: Quantitative Model Checking