|
|
Nummer
|
Name
|
Dozent
|
|
1
|
150324
|
Model Checking
|
Zeume, Thomas
|
|
2
|
150262
|
Komplexitätstheorie
|
Zeume, Thomas
|
|
3
|
150334
|
Automata Theory
|
Zeume, Thomas
|
|
4
|
150136
|
Mathematik 2 für Informatik und ITS (PO 20)
|
Stump, Christian
|
|
5
|
150308
|
Discrete Mathematics
|
Schuster, Björn
|
|
6
|
150114
|
Mathematics 3
|
Püttmann, Annett
|
|
7
|
150318
|
Quantum Algorithms
|
May, Alexander
|
|
8
|
150312
|
Cryptography
|
May, Alexander
|
|
9
|
150310
|
Introduction to Theoretical Computer Science
|
May, Alexander
|
|
10
|
150326
|
Introduction to Asymmetric Cryptanalysis
|
May, Alexander
|