7 of 7 courses
| Formale Methoden für Steuerungssoftware | Formale Methoden für Steuerungssoftware | Vorlesung/Übung | 6 | ×13Di 14:30-16:003220|259×12Mi 14:30-16:003220|259 |
| Algorithmic Foundations of Datascience | Algorithmic Foundations of Data Science | Vorlesung | ×12Di 10:30-12:00AH II (2350|111)×10Fr 10:30-12:00AH II (2350|111) | |
| Algorithmic Foundations of Data Science | Übung | 0 | ×13Mi 14:30-16:00AH I (2350|028) | |
| Foundations of Logic Programming | Foundations of Logic Programming | Vorlesung | 6 | ×1Do 10:30-12:00AH IV (2354|030)×1Do 13:30-18:00AH IV (2354|030)×9Do 16:30-18:00AH II (2350|111)×11Fr 14:30-16:00AH III (2350|314.1) |
| Foundations of Logic Programming | Übung | 0 | ×10Do 10:30-12:00AH IV (2354|030)×1Do 16:30-18:00AH II (2350|111) | |
| Theory of Distributed Systems | Theory of Distributed Systems | Übung | 0 | ×2Mi 16:30-18:00HKW 3 (1132|504)×11Do 10:30-12:00HKW 3 (1132|504) |
| Theory of Distributed Systems | Vorlesung | ×11Mo 08:30-10:00AH I (2350|028)×10Di 10:30-12:00AH I (2350|028) |