|
|
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
|