28 of 28 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) | ||
| Software-Architekturen | Software-Architekturen | Vorlesung | 6 | |
| Modellbasierte Softwareentwicklung | Modellbasierte Softwareentwicklung | Vorlesung/Übung | 0 | ×9Di 14:30-16:00AH I (2350|028)×7Mi 14:30-16:00AH I (2350|028)×7Do 10:30-12:00AH VI (2356|051) |
| Communication Systems Engineering | Communication Systems Engineering | Vorlesung/Übung | 6 | ×11Mo 14:30-16:00AH I (2350|028)×1Mo 14:30-16:00AH IV (2354|030)×10Mi 10:30-12:00AH I (2350|028)×8Do 10:30-12:00AH I (2350|028) |
| Implementation of Databases | Implementation of Databases | Vorlesung/Übung | 6 | ×1Mo 08:30-10:00AH V (2356|050)×11Mo 08:30-10:00Großer B-IT Raum (2356|053.2)×12Fr 08:30-10:00AH I (2350|028) |
| Künstliche Intelligenz | Introduction to Artificial Intelligence | Vorlesung/Übung | 6 | ×11Mi 14:30-16:00AH V (2356|050)×12Do 18:30-20:00AH V (2356|050)×13Fr 08:30-10:00AH V (2356|050) |
| Einführung in Web Technologien | Einführung in Webtechnologien (WebTech) | Vorlesung | 6 | ×15Di 16:30-18:00AH II (2350|111) |
| Einführung in Webtechnologien (WebTech) - Übung | Übung | 0 | ×15Do 14:30-16:00AH I (2350|028) | |
| Business Process Modeling & Computation | Business Process Modelling & Computation - Vorlesung | Vorlesung | ×15Mi 12:30-14:00SG 403 (1810|403) | |
| Business Process Modelling & Computation - Übung | Übung | 0 | ×14Fr 12:30-14:00SG 403 (1810|403) | |
| Grundlagen der Computergraphik | Basic Techniques in Computer Graphics | Vorlesung | 6 | ×14Di 12:30-14:00AH V (2356|050)×15Do 10:30-12:00AH V (2356|050) |
| Basic Techniques in Computer Graphics | Übung | 0 | ×15Do 12:30-14:00AH I (2350|028) | |
| Physikalisch-Basierte Animation | Physikalisch-Basierte Animation | Vorlesung/Übung | 6 | ×15Mi 10:30-12:00AH VI (2356|051)×14Fr 10:30-12:005056 (2356|056) |
| iOS Application Development | iOS Application Development | Vorlesung | 6 | ×15Mo 12:30-14:00Extern×14Di 10:30-12:00Extern |
| Designing Interactive Systems I | Designing Interactive Systems I | Vorlesung/Übung | 6 | ×15Di 08:30-10:00Großer B-IT Raum (2356|053.2)×15Mi 09:30-12:00Großer B-IT Raum (2356|053.2) |
| Designing Interactive Systems I (in Bonn) | Vorlesung/Übung | 6 | ×12Di 13:00-15:30Extern×13Di 15:45-17:15Extern | |
| High-Performance Computing | Einführung in High-Performance Computing | Vorlesung/Übung | ×13Mo 10:30-12:00H06 (1385|004)×8Do 10:30-12:00H05 (1385|105) | |
| Fundamentals of Automatic Speech Recognition | Fundamentals of Automatic Speech Recognition | Übung | 0 | ×1Mo 10:30-12:002356|124×5Mo 10:30-12:00AH I (2350|028)×1Mo 10:30-12:00Online-Veranstaltung |
| Fundamentals of Automatic Speech Recognition | Vorlesung | ×7Mo 10:30-12:00AH I (2350|028)×1Mo 10:30-12:00Online-Veranstaltung×14Di 08:30-10:00AH VI (2356|051)×1Di 08:30-10:00Online-Veranstaltung |