WiSe 04/05
- Einführung in die Informatik: Programmierung und Software-Entwicklung (Nebenfach Informatik) (Wirsing)
- Methoden des Software-Engineering (Wirsing, Störrle, Koch)
- Entwurf und Implementierung paralleler Programme (Hennicker)
- Temporale Logik und Zustandssysteme (Kröger)
- Semantik von Programmiersprachen (Knapp)