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

Page: