| Name | Course Type | Name | Credits | ID |
|---|---|---|---|---|
| Effiziente Algorithmen | () Vorlesung | Effiziente Algorithmen | 6 | 574213 |
| () Tutorium | Effiziente Algorithmen - Übung | 0 | 574214 | |
| Formale Systeme, Automaten, Prozesse | () Vorlesung | Formale Systeme, Automaten, Prozesse | 6 | 560994 |
| () Tutorium | Formale Systeme, Automaten, Prozesse - Tutorium | 0 | 560232 | |
| () Übung | Formale Systeme, Automaten, Prozesse (Globalübung) | 0 | 561132 |