Nummer Name Dozent
1 150336 Knowledge Graphs Acosta Deibe, Maribel
2 150262 Komplexitätstheorie Zeume, Thomas
3 150312 Cryptography Kiltz, Eike
4 150343 Cryptographic Protocols Kiltz, Eike
5 150345 Logik in der Informatik Zeume, Thomas
6 150110 Mathematics 1 Püttmann, Annett
7 150128 Mathematik 1 für Informatik und ITS (PO 20) Leander, Gregor
8 150112 Mathematics 2 Lipinski, Mario
9 150136 Mathematik 2 für Informatik und ITS (PO 20) Stump, Christian
10 150324 Model Checking Zeume, Thomas

Page: