Nummer Name Dozent
1 150310 Introduction to Theoretical Computer Science May, Alexander
2 150560 Seminar zur Real World Cryptoanalysis May, Alexander
3 150114 Mathematics 3 Püttmann, Annett
4 150116 Mathematics 4 Püttmann, Annett
5 150308 Discrete Mathematics Schuster, Björn
6 150136 Mathematik 2 für Informatik und ITS (PO 20) Stump, Christian
7 150324 Model Checking Zeume, Thomas
8 150345 Logik in der Informatik Zeume, Thomas
9 150521 Fortgeschrittene Themen des Model Checking Zeume, Thomas
10 150520 Seminar Frontiers of Theoretical Computer Science Zeume, Thomas

Page: