Wahlpflichtbereich Theoretische Grundlagen des SSE
| Name | Course Type | Name | Credits | ID |
|---|
| Statische Programmanalyse | () Vorlesung | Statische Programmanalyse | 6 | 455273 |
| () Übung | Statische Programmanalyse | 0 | 455272 |
| Online Algorithmen | () Vorlesung | Vorlesung Online Algorithmen | 6 | 455712 |
| Graphzerlegungen und algorithmische Anwendungen | () Vorlesung | Graph Decompositions and Algorithmic Applications | 6 | 455435 |
| () Übung | Graph Decompositions and Algorithmic Applications (Übung) | 0 | 455436 |
| Fixpoints and Induction in Logic and Computer Science | () Übung | Fixpoints and Induction in Logic and Computer Science | 0 | 455741 |
| () Vorlesung | Fixpoints and Induction in Logic and Computer Science | | 455732 |