7 of 7 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) | |
| Berechenbarkeit und Komplexität | Berechenbarkeit und Komplexität | Vorlesung | 6 | ×13Do 18:30-20:00Großer Hörsaal AM (1420|210)×8Fr 08:30-10:00H01 (1385|101) |
| Berechenbarkeit und Komplexität - Übung | Tutorium | 0 | ×14Gruppe 01Mi 08:30-10:00Z4 (1420|301)×14Gruppe 02Mi 08:30-10:00Z3 (1420|302)×14Gruppe 03Mi 08:30-10:00S01 (1385|201)×14Gruppe 04Mi 08:30-10:00S02 (1385|202)×14Gruppe 05Mi 08:30-10:00S11 (1385|211)×14Gruppe 06Mi 08:30-10:00S16 (1385|216)×14Gruppe 07Mi 16:30-18:00S01 (1385|201)×14Gruppe 08Mi 16:30-18:00S07 (1385|207)×14Gruppe 09Mi 16:30-18:00S13 (1385|213)×14Gruppe 10Mi 16:30-18:00S09 (1385|209)×14Gruppe 11Mi 16:30-18:00Z3 (1420|302)×14Gruppe 12Mi 16:30-18:00S15 (1385|215)×14Gruppe 13Mi 18:30-20:00S13 (1385|213)×14Gruppe 14Mi 18:30-20:00S09 (1385|209)×14Gruppe 15Mi 18:30-20:00S11 (1385|211)×14Gruppe 16Mi 18:30-20:00S14 (1385|214)×14Gruppe 17Mi 18:30-20:00S16 (1385|216)×14Gruppe 18Mi 18:30-20:00S15 (1385|215)×14Gruppe 19Mi 18:30-20:00S10 (1385|210)×14Gruppe 20Mi 18:30-20:00S12 (1385|212) | |
| Berechenbarkeit und Komplexität (Globalübung) | Übung | 0 | ×1Di 16:30-18:00AH IV (2354|030)×11Di 16:30-18:00TEMP2 (1515|002) |