Nummer Name Dozent
1 150262 Komplexitätstheorie Zeume, Thomas
2 150334 Automata Theory Zeume, Thomas
3 150345 Logik in der Informatik Zeume, Thomas
4 150521 Fortgeschrittene Themen des Model Checking Zeume, Thomas
5 150520 Seminar Frontiers of Theoretical Computer Science Zeume, Thomas
6 150136 Mathematik 2 für Informatik und ITS (PO 20) Stump, Christian
7 150232 Number Theory Reineke, Markus
8 150116 Mathematics 4 Püttmann, Annett
9 150318 Quantum Algorithms May, Alexander
10 150310 Introduction to Theoretical Computer Science May, Alexander

Page: