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 150262 Komplexitätstheorie Zeume, Thomas
7 150334 Automata Theory Zeume, Thomas
8 142025 Bachelor Practical Wireless Physical Layer Security Zenger, Christian
9 142026 Master Practical Wireless Physical Layer Security Zenger, Christian
10 141348 Implementing ISO/IEC 27001 Information Security Management Uellenbeck, Sebastian

Page: