Wintersemester 2007/2008
Grundstudium:
- Proseminar Spezifikationsformalismen (verschoben zum Sommersemester 2008)
Hauptstudium:
Sonstiges:
GESUCHT!
1-2 stud. Hilfskr. zur Unterstützung bei der Erstellung eines neuen Foliensatzes für "Datenstrukturen & Algorithmen 2010". (mehr)
16 Oct 2009
Tingting Han defended her thesis "Synthesis, Diagnosis and Analysis of Probabilistic Systems" with highest praise at the University of Twente (NL) and today also at the RWTH Aachen! (more)
Older news