| Algorithmik, Logik und Komplexität |
CS4501 |
Vorlesung |
Reischuk |
Moodle
|
| Codierung und Sicherheit |
CS3050 |
Vorlesung |
Reischuk |
Moodle
|
| Einführung in Datenbanken und Systembiologie |
CS1020 |
Vorlesung |
Tantau |
Moodle
|
| Einführung in Logik |
CS1002 |
Vorlesung |
Tantau |
Moodle
|
| Kryptografische Protokolle |
CS4210 |
Vorlesung |
Liskiewicz |
Moodle
|
| Parallelverarbeitung |
CS4502/3051 |
Vorlesung |
Tantau |
Moodle
|
| Algorithmisches Lernen und kausale Inferenz |
CS5020 |
Vorlesung |
Liskiewicz |
Moodle
|
| Aktuelle Themen IT-Sicherheit und Zuverlässigkeit |
CS5195 |
Vorlesung |
Reischuk
Liskiewicz |
Moodle
|
| Programming Challenges |
CS3701 |
Projekt |
Liskiewicz |
Moodle
|
| Seminar Algorithmik, Logik, Komplexität |
CS4501 |
Seminar |
Reischuk |
Moodle
|
| Oberseminar Theoretische Informatik |
CSXXX | Seminar |
Tantau |
Moodle
|
