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 über Grenzen in der theoretischen Informatik Zeume, Thomas
5 150136 Mathematik 2 für Informatik und ITS (PO 20) Stump, Christian
6 150308 Discrete Mathematics Schuster, Björn
7 150114 Mathematics 3 Püttmann, Annett
8 150116 Mathematics 4 Püttmann, Annett
9 150326 Introduction to Asymmetric Cryptanalysis May, Alexander
10 150312 Cryptography May, Alexander

Page: