10 of 10 courses
| Model Checking | Introduction to Model Checking | Vorlesung | 6 | ×12Mi 12:30-14:00AH I (2350|028)×14Do 10:30-12:00AH III (2350|314.1) |
| Introduction to Model Checking | Übung | 0 | ×1Mo 12:30-14:005056 (2356|056)×1Di 10:45-13:155056 (2356|056)×10Do 08:30-10:00AH III (2350|314.1)×1Do 09:55-12:305056 (2356|056) | |
| Effiziente Algorithmen | Effiziente Algorithmen | Vorlesung | 6 | ×12Mo 16:30-18:00AH I (2350|028)×1Mo 16:30-18:00AH V (2356|050)×13Di 16:30-18:00AH V (2356|050) |
| Effiziente Algorithmen - Übung | Tutorium | 0 | ×15Gruppe 1Mi 16:30-18:00AH II (2350|111)×15Gruppe 1Do 08:30-10:005052 (2356|052)×15Gruppe 2Mi 16:30-18:00AH II (2350|111)×15Gruppe 2Do 10:30-12:005056 (2356|056)×15Gruppe 3Mi 16:30-18:00AH II (2350|111)×15Gruppe 3Do 12:30-14:005052 (2356|052)×15Gruppe 4Mi 16:30-18:00AH II (2350|111)×15Gruppe 4Do 12:30-14:005054 (2356|054)×15Gruppe 5Mi 16:30-18:00AH II (2350|111)×15Gruppe 5Do 16:30-18:005052 (2356|052)×15StandardgruppeMi 16:30-18:00AH II (2350|111) | |
| Erfüllbarkeitsüberprüfung | Erfüllbarkeitsüberprüfung | Vorlesung/Übung | ×13Mo 08:30-10:00AH I (2350|028)×14Mo 16:30-17:155056 (2356|056)×13Di 08:30-10:00AH V (2356|050) | |
| Dynamical Processes on Networks | Dynamical Processes On Networks (Übungen) | Übung | 0 | ×14Do 10:30-12:005054 (2356|054) |
| Dynamical Processes on Networks | Vorlesung | ×13Di 12:30-14:00UMIC_024 (2165|024)×15Do 16:30-18:005054 (2356|054) | ||
| Introduction to Algorithmic Differentiation | Einführung in Algorithmisches Differenzieren | Vorlesung/Übung | 6 | ×14Di 10:30-12:00AH III (2350|314.1)×15Mi 10:30-12:00AH IV (2354|030) |
| Lineare Optimierung und Netzwerkalgorithmen | Lineare Optimierung und Netzwerkalgorithmen | Vorlesung | ×1Mo 10:30-12:00II (1010|201)×14Mo 10:30-12:00SeMath (1950|008)×1Fr 12:30-14:00H10 (1385|217)×13Fr 12:30-14:00SeMath (1950|008) | |
| Lineare Optimierung und Netzwerkalgorithmen | Übung | ×14Mo 16:30-18:00SeMath (1950|008) |