Core Subjects Theoretical Foundations of SSE
| Name | Course Type | Name | Credits | ID |
|---|
| Model Checking | () Vorlesung | Introduction to Model Checking | 6 | 474525 |
| () Übung | Introduction to Model Checking | 0 | 474235 |
| Algorithmic Foundations of Datascience | () Vorlesung | Algorithmic Foundations of Datascience | | 471532 |
| () Übung | Algorithmic Foundations of Datascience | 0 | 471513 |