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