Wahlpflichtbereich Theoretische Informatik
| 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 |
| Dynamical Processes on Networks | () Übung | Dynamical Processes On Networks (Übungen) | 0 | 481664 |
| () Vorlesung | Dynamical Processes on Networks | | 481663 |
| Machine Learning with Graphs: Foundations and Applications | () Vorlesung/Übung | Machine Learning with Graphs: Foundations and Applications | | 482126 |