- Kommunikationsprobleme (V4) von Unger
- Grundlagen von UML (V2) von Katoen
- Modellierung nebenläufiger und probabilistischer Systeme (V4) von Noll, Katoen
- Automata and Reactive Systems (V4) von Thomas
- Cryptography I (V2) von Mathar
- Kryptographie II (V2) von Mathar
- Parametrisierte Algorithmen (V4) von Rossmanith
Was davon wollt ihr hören - und warum? Was habt ihr in früheren Semester gehört und könnt ihr (nicht) empfehlen?