7 of 7 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) | |
| Dynamical Processes on Networks | Dynamical Processes On Networks (Übungen) | Übung | 0 | ×14Mi 10:30-12:00AH V (2356|050) |
| Dynamical Processes on Networks | Vorlesung | ×12Di 12:30-14:00AH I (2350|028)×14Mi 08:30-10:00AH VI (2356|051) | ||
| Machine Learning with Graphs: Foundations and Applications | Machine Learning with Graphs: Foundations and Applications | Vorlesung/Übung | ×14Mi 08:30-10:00S03 (1385|203)×12Do 10:30-12:00R 220 (1080|220) |