28 of 28 courses
| Model Checking | Introduction to Model Checking | Vorlesung | 6 | ×1Di 10:00-11:30AH VI (2356|051)×10Mi 12:30-14:00AH III (2350|314.1)×1Do 09:00-11:30AH VI (2356|051)×12Do 10:30-12:00AH I (2350|028) |
| Introduction to Model Checking | Übung | 0 | ×11Fr 14:30-16:00AH III (2350|314.1) | |
| Erfüllbarkeitsüberprüfung | Erfüllbarkeitsüberprüfung | Vorlesung/Übung | ×1Mo 09:15-13:30Großer B-IT Raum (2356|053.2)×13Mi 08:30-10:00AH IV (2354|030)×13Do 10:30-12:00AH V (2356|050)×12Fr 12:30-13:155056 (2356|056) | |
| Komplexitätstheorie | Komplexitätstheorie | Vorlesung | 6 | ×12Mi 08:30-10:00AH III (2350|314.1)×9Do 16:30-18:00AH II (2350|111) |
| Übung zur Vorlesung Komplexitätstheorie | Übung | 0 | ×11Mi 14:30-16:00AH II (2350|111)×1Mi 14:30-16:00AH IV (2354|030) | |
| Algorithmic Foundations of Datascience | Algorithmic Foundations of Data Science | Vorlesung | ×11Di 16:30-18:00AH I (2350|028)×13Mi 08:30-10:00AH I (2350|028) | |
| Algorithmic Foundations of Data Science | Übung | 0 | ×15Do 12:30-14:00IPC Hörsaal (2400|U101) | |
| Introduction to Algorithmic Differentiation | Einführung in Algorithmisches Differenzieren | Vorlesung/Übung | 6 | ×13Di 10:30-12:00AH IV (2354|030)×15Mi 10:30-12:00AH IV (2354|030) |
| Machine Learning with Graphs: Foundations and Applications | Machine Learning with Graphs: Foundations and Applications | Vorlesung/Übung | ×15Mo 08:30-10:00H05 (1385|105)×14Mi 12:30-14:00IPC Hörsaal (2400|U101)×15Fr 12:30-14:00H05 (1385|105) | |
| Lineare Optimierung und Netzwerkalgorithmen | Lineare Optimierung und Netzwerkalgorithmen | Vorlesung | ×15Mi 16:30-18:00V (1010|213)×15Do 10:30-12:00V (1010|213) | |
| Lineare Optimierung und Netzwerkalgorithmen | Übung | ×1Mo 14:00-16:30B201 (3011|201)×14Mo 16:30-18:00V (1010|213)×15Di 14:30-16:00V (1010|213)×1Do 10:30-12:30B201 (3011|201)×13Do 12:30-14:00Be 114 (1140|114)×1Do 12:30-14:00SG 12 (1810|012)×14Fr 10:30-12:00IV (1010|141)×1Fr 10:30-13:00Phil (1070|113) | ||
| Modellbasierte Softwareentwicklung | Modellbasierte Softwareentwicklung | Vorlesung/Übung | 0 | ×10Di 10:30-12:00AH I (2350|028)×8Mi 10:30-12:00AH III (2350|314.1)×7Do 12:30-14:00AH II (2350|111) |
| Communication Systems Engineering | Communication Systems Engineering | Vorlesung/Übung | 6 | ×12Mo 14:30-16:00AH VI (2356|051)×8Mi 10:30-12:00AH I (2350|028)×9Do 12:30-14:00AH I (2350|028) |
| Künstliche Intelligenz | Introduction to Artificial Intelligence | Vorlesung/Übung | 6 | ×9Di 16:30-18:00TEMP2 (1515|002)×10Mi 16:30-18:00TEMP2 (1515|002)×10Do 14:30-16:00TEMP2 (1515|002) |
| The Logic of Knowledge Bases | The Logic of Knowledge Bases | Vorlesung/Übung | 0 | ×13Do 08:30-10:00Großer B-IT Raum (2356|053.2)×9Do 14:30-16:00Großer B-IT Raum (2356|053.2)×10Fr 08:30-10:00Großer B-IT Raum (2356|053.2) |
| Einführung in Web Technologien | Einführung in Webtechnologien (WebTech) | Vorlesung | 6 | ×8Di 14:30-16:00AH I (2350|028) |
| Einführung in Webtechnologien (WebTech) - Übung | Übung | 0 | ×2Di 14:30-16:00AH I (2350|028)×2Di 14:30-16:00Online-Veranstaltung×9Do 12:30-14:00AH III (2350|314.1)×2Do 12:30-14:00Online-Veranstaltung | |
| Business Process Modeling & Computation | Business Process Modelling & Computation - Vorlesung | Vorlesung | ×1Mi 12:30-14:00AH VI (2356|051)×5Fr 12:30-14:00AH VI (2356|051) | |
| Business Process Modelling & Computation - Übung | Übung | 0 | ×13Mi 12:30-14:00AH VI (2356|051) | |
| Grundlagen der Computergraphik | Basic Techniques in Computer Graphics | Vorlesung | 6 | ×15Mo 16:30-18:00AH V (2356|050)×14Di 12:30-14:00AH V (2356|050) |
| Basic Techniques in Computer Graphics | Übung | 0 | ×15Di 14:30-16:00AH V (2356|050) | |
| Physikalisch-Basierte Animation | Physikalisch-Basierte Animation | Vorlesung/Übung | 6 | ×14Mi 10:30-12:005056 (2356|056)×15Fr 10:30-12:005056 (2356|056) |
| iOS Application Development | iOS Application Development | Vorlesung | 6 | ×5Mo 12:30-14:00Extern×5Di 10:00-11:30Extern |
| Designing Interactive Systems I | Designing Interactive Systems I | Vorlesung/Übung | 6 | ×13Di 08:30-10:00Großer B-IT Raum (2356|053.2)×12Mi 09:30-12:00Großer B-IT Raum (2356|053.2) |
| Designing Interactive Systems I (in Bonn) | Vorlesung/Übung | 6 | ×11Di 13:00-15:30Extern×12Di 15:45-17:15Extern | |
| High-Performance Computing | Einführung in High-Performance Computing | Vorlesung/Übung | ×12Mo 12:30-14:00H05 (1385|105)×1Di 08:15-10:30ZuseLab C4 (2315|201)×11Di 12:30-14:00H05 (1385|105)×1Mi 14:00-17:00ZuseLab C3 (2315|211) | |
| Fundamentals of Automatic Speech Recognition | Fundamentals of Automatic Speech Recognition | Übung | 0 | ×7Mi 10:30-12:00AH VI (2356|051) |
| Fundamentals of Automatic Speech Recognition | Vorlesung | ×7Mi 10:30-12:00AH VI (2356|051)×14Do 10:30-12:005054 (2356|054) |