4 of 4 courses
| Model Checking | Introduction to Model Checking | Vorlesung | 6 | ×1Mo 12:00-14:005055 (2356|055)×10Mo 16:30-18:00AH II (2350|111)×12Di 18:30-20:00AH III (2350|314.1)×1Do 09:50-15:005052 (2356|052) |
| Introduction to Model Checking | Übung | 0 | ×13Fr 12:30-14:00AH II (2350|111) | |
| Algorithmic Foundations of Datascience | Algorithmic Foundations of Datascience | Vorlesung | ×10Di 16:30-18:00AH I (2350|028)×9Do 08:30-10:00AH II (2350|111) | |
| Algorithmic Foundations of Datascience | Übung | 0 | ×1Di 14:00-15:30AH II (2350|111)×1Fr 14:00-17:00AH I (2350|028)×8Fr 14:30-16:00AH II (2350|111) |