Wintersemester 2009/2010
19504: TI I: Grundlagen der Technischen Informatik (Vorlesung)
19510b: Proseminar Technische Informatik (Proseminar)
19513: TI III: Betriebs- und Kommunikationssysteme (Vorlesung)
19540: Telematics (Vorlesung)
19544: S Technische Informatik (Seminar)
19548: Model checking (Vorlesung)
19560: Research Meeting (Seminar)
19577: Research Meeting (Seminar)
19606: Mikroprozessorpraktikum (Praktikum)
19616: Programming Erlang (Praktikum)