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