Nummer Name Dozent
1 150334 Automata Theory Zeume, Thomas
2 150357 Boolesche Funktionen mit Anwendungen in der Kryptographie Leander, Gregor
3 150304 Database Systems Korthauer, Edgar
4 150322 Datenstrukturen und Algorithmen für ITS (PO 20) Buchin, Maike
5 150332 Deep Learning Fischer , Asja
6 150308 Discrete Mathematics Schuster, Björn
7 150320 Efficient Algorithms Kacso, Daniela
8 150326 Introduction to Asymmetric Cryptanalysis May, Alexander
9 150310 Introduction to Theoretical Computer Science May, Alexander
10 150521 Fortgeschrittene Themen des Model Checking Zeume, Thomas
11 150336 Knowledge Graphs Acosta Deibe, Maribel
12 150262 Komplexitätstheorie Zeume, Thomas
13 150312 Cryptography Kiltz, Eike
14 150343 Cryptographic Protocols Kiltz, Eike
15 150345 Logik in der Informatik Zeume, Thomas
16 150110 Mathematics 1 Püttmann, Annett
17 150128 Mathematik 1 für Informatik und ITS (PO 20) Leander, Gregor
18 150112 Mathematics 2 Lipinski, Mario
19 150136 Mathematik 2 für Informatik und ITS (PO 20) Stump, Christian
20 150324 Model Checking Zeume, Thomas

Page: