Nummer Name Dozent
1 150240 Theoretische Informatik Buchin, Maike
2 150560 Seminar zur Real World Cryptoanalysis May, Alexander
3 150562 Seminar Satisfiability Zeume, Thomas
4 150324 Model Checking Zeume, Thomas
5 150114 Mathematics 3 Lipinski, Mario
6 150128 Mathematik 1 für Informatik und ITS (PO 20) Leander, Gregor
7 150110 Mathematics 1 Püttmann, Annett
8 150312 Cryptography Kiltz, Eike
9 150308 Discrete Mathematics Schuster, Björn

Page: