Nummer Name Dozent
1 150324 Model Checking Zeume, Thomas
2 150345 Logik in der Informatik Zeume, Thomas
3 150521 Fortgeschrittene Themen des Model Checking Zeume, Thomas
4 150520 Seminar Frontiers of Theoretical Computer Science Zeume, Thomas
5 150562 Seminar Satisfiability Zeume, Thomas
6 142025 Bachelor Practical Wireless Physical Layer Security Zenger, Christian
7 140000 Tutorial Tutoren
8 150136 Mathematik 2 für Informatik und ITS (PO 20) Stump, Christian
9 141218 System Theory 2: Signal Transformations Sezgin, Aydin
10 142240 Practical Course Fundamentals of IT Security Schwenk, Jörg

Page: