Theoretische Informatik
| Name | Course Type | Name | Credits | ID |
|---|
| Model Checking | () Vorlesung | Introduction to Model Checking | 6 | 474525 |
| () Übung | Introduction to Model Checking | 0 | 474235 |
| Semantik und Verifikation von Software | () Vorlesung | Semantik und Verifikation von Software | 6 | 481432 |
| () Übung | Semantik und Verifikation von Software | 0 | 481431 |
| Theory of Distributed and Parallel Systems | () Vorlesung | Theorie Verteilter und Paralleler Systeme | 0 | 481626 |
| () Übung | Theorie Verteilter und Paralleler Systeme Übung | 0 | 481630 |
| The Graph Isomorphism Problem | () Vorlesung | The Graph Isomorphism Problem | 6 | 481974 |
| () Übung | The Graph Isomorphism Problem (Übung) | 0 | 481975 |
| Quantum Computing | () Vorlesung | Quanten-Computing | | 481713 |
| Algorithmic Foundations of Datascience | () Vorlesung | Algorithmic Foundations of Datascience | | 471532 |
| () Übung | Algorithmic Foundations of Datascience | 0 | 471513 |
| Fixpoints and Induction in Logic and Computer Science | () Übung | Fixpoints and Induction in Logic and Computer Science | 0 | 474260 |
| () Vorlesung | Fixpoints and Induction in Logic and Computer Science | | 474372 |