Sommersemester 2007
Grundstudium:
- Vorlesung Formale Systeme, Automaten, Prozesse bzw. Automatentheorie und formale Sprachen
- Softwarepraktikum: Implementierung heuristischer Algorithmen für Brettspiele
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