55 of 55 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) | |
| 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) | |
| Infinite Computations and Games | Infinite Computations and Games | Vorlesung | 6 | ×14Mo 12:30-14:005056 (2356|056)×12Do 12:30-14:005056 (2356|056) |
| Infinite Computations and Games | Übung | 0 | ×12Mo 12:30-14:005056 (2356|056)×1Di 13:00-14:00AH IV (2354|030)×1Fr 13:00-14:00AH IV (2354|030) | |
| Algorithmische Spieltheorie | Algorithmische Spieltheorie | Vorlesung | 6 | ×3Mo 10:30-12:005054 (2356|054)×9Mo 10:30-12:00AH III (2350|314.1)×1Mo 10:30-12:00AH V (2356|050)×12Di 10:30-12:00AH II (2350|111) |
| Semantik und Verifikation von Software | Semantik und Verifikation von Software | Vorlesung | 6 | ×13Mo 12:30-14:00AH II (2350|111)×12Di 12:30-14:00AH II (2350|111) |
| Semantik und Verifikation von Software | Übung | 0 | ×11Do 16:30-18:00AH III (2350|314.1)×1Do 16:30-18:00TEMP1 (1515|001) | |
| Graphzerlegungen und algorithmische Anwendungen | Graph Decompositions and Algorithmic Applications | Vorlesung | 6 | ×13Mi 10:30-12:00AH III (2350|314.1)×9Fr 12:30-14:00AH III (2350|314.1) |
| Graph Decompositions and Algorithmic Applications (Übung) | Übung | 0 | ×14Mo 12:30-14:00AH I (2350|028) | |
| Stochastic Games | Stochastic Games | Vorlesung | ×13Di 12:30-14:005055 (2356|055)×2Fr 11:00-12:305056 (2356|056) | |
| Stochastic Games | Übung | 0 | ×8Do 10:30-12:00Seminarraum i7, Raum 4116 (2353|116) | |
| 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) |
| Post-quantum cryptography | Post-quantum cryptography | Vorlesung/Übung | ×15Mo 10:30-12:00AH II (2350|111)×14Mi 12:30-14:00AH III (2350|314.1)×12Do 16:30-18:00AH V (2356|050) | |
| Mobile Radio Networks 1 | Mobile Radio Networks 1 | Vorlesung/Übung | ×14Mo 12:30-14:00B037 (3011|037)×14Mo 14:30-15:15B037 (3011|037) | |
| 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) |
| Research Focus Class on Communication Systems | Research Focus Class on Communication Systems | Vorlesung/Übung | 6 | |
| 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) | ||
| Industrial Network Security | Industrial Network Security (Vorlesung) | Vorlesung | ×10Di 10:30-12:00AH V (2356|050)×12Mi 10:30-12:00AH V (2356|050)×1Mi 13:00-14:00Extern | |
| Industrial Network Security (Übung) | Übung | 0 | ×6Do 10:30-12:00AH II (2350|111) | |
| Advanced Network Security | Advanced Network Security | Vorlesung/Übung | ×15Do 10:30-12:00BS II (2131|102)×11Fr 08:30-10:00H05 (1385|105) | |
| 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) |
| Semantic Web | Semantic Web | Vorlesung/Übung | 4 | ×11Di 10:30-12:00Großer B-IT Raum (2356|053.2)×9Fr 10:30-12:00Großer B-IT Raum (2356|053.2) |
| 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) |
| eBusiness - Anwendungen, Architekturen und Standards | eBusiness - Digitalization of Business Processes and Electronic Businesses | Vorlesung/Übung | 4 | ×14Di 10:00-13:00Extern |
| Introduction to Bioinformatics | Einführung in die Bioinformatik | Vorlesung | 0 | ×14Mo 16:15-17:45Online-Veranstaltung |
| Introduction to Data Science | Introduction to Data Science - Vorlesung | Vorlesung | 6 | ×13Mo 16:30-18:00AH VI (2356|051)×11Di 12:30-14:00AH VI (2356|051)×1Fr 12:30-14:30Großer B-IT Raum (2356|053.2) |
| Introduction to Data Science - Übung | Übung | ×15Mi 12:30-14:00AH V (2356|050) | ||
| Research Focus Class on Learning Technologies | Research Focus Class on Learning Technologies - Interactive Data and Learning Analytics | Projekt | ||
| Distributed Ledger Technology | Distributed Ledger Technology | Vorlesung/Übung | ×15Mi 12:30-15:00Großer B-IT Raum (2356|053.2) | |
| Fundamentals of Business Process Management | Fundamentals of Business Process Management - Vorlesung | Vorlesung | ×15Mi 16:30-18:005056 (2356|056) | |
| Fundamentals of Business Process Management - Übung | Übung | 0 | ×14Fr 10:30-12:00PPS H2 (2315|001) | |
| Social and Technological Change | Social and Technological Change | Vorlesung/Übung | ×12Di 16:30-18:00H10 (1385|217)×12Do 16:30-18:00SG 513 (1810|513) | |
| Linux Kernel Programming | Linux Kernel Programming | Vorlesung | ×11Mi 14:30-16:00AH VI (2356|051) | |
| Linux Kernel Programming | Übung | 0 | ×13Di 10:30-12:00UMIC_024 (2165|024)×13Di 10:30-12:00UMIC_025 (2165|025)×13Do 10:30-12:00UMIC_024 (2165|024)×14Do 10:30-12:00UMIC_025 (2165|025) | |
| 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) | |
| 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) | |
| Virtuelle Realität | Einführung in die Virtuelle Realität (VR I) | Vorlesung/Übung | 6 | ×14Mo 14:30-16:00AH VI (2356|051)×13Di 10:30-12:00AH VI (2356|051) |
| iOS Application Development | iOS Application Development | Vorlesung | 6 | ×15Mo 12:30-14:00Extern×14Di 10:30-12:00Extern |
| Machine Learning | Machine Learning | Vorlesung/Übung | 6 | ×1Di 14:30-16:00AH IV (2354|030)×13Di 14:30-16:00TEMP2 (1515|002)×14Do 08:30-10:00TEMP1 (1515|001) |
| Physikalisch-Basierte Animation | Physikalisch-Basierte Animation | Vorlesung/Übung | 6 | ×15Mi 10:30-12:00AH VI (2356|051)×14Fr 10:30-12:005056 (2356|056) |
| 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) |
| Stochastic Processes and Dynamical Systems | Stochastic Processes and Dynamical Systems | Vorlesung | ×12Mo 12:30-14:45Extern | |
| High-performance Matrix Computations | High-Performance Matrix Computations | Vorlesung/Übung | ×15Mi 12:30-14:00BS 218 (2130|218)×14Fr 10:30-12:00H10 (1385|217) | |
| Angewandte Softwaretechnik im Lebenszyklus der Automobilelektronik | Der digitale Lebenszyklus von Fahrzeugen als Teil des Internet of Things (IoT) | Vorlesung/Übung | 0 | ×8Mi 08:30-10:005056 (2356|056) |
| Der digitale Lebenszyklus von Fahrzeugen als Teil des Internet of Things (IoT) | Der digitale Lebenszyklus von Fahrzeugen als Teil des Internet of Things (IoT) | Vorlesung/Übung | 0 | ×8Mi 08:30-10:005056 (2356|056) |
| Software-Architekturen | Software-Architekturen | Vorlesung | 6 | |
| 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 | |
| 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) |
| Objektorientierte Softwarekonstruktion | Objektorientierte Software-Konstruktion | Vorlesung | 6 | ×1Di 10:00-11:305054 (2356|054)×15Do 12:30-14:00AH III (2350|314.1)×1Do 15:00-16:005054 (2356|054)×1Fr 08:30-10:00AH II (2350|111)×13Fr 10:30-12:00AH IV (2354|030) |
| Objektorientierte Software-Konstruktion | Übung | 0 | ×14Fr 14:30-16:00AH III (2350|314.1) | |
| Model-based Systems Engineering | Model-based Systems Engineering | Vorlesung/Übung | ×9Di 14:30-16:00AH I (2350|028)×7Mi 14:30-16:00AH I (2350|028)×7Do 10:30-12:00AH VI (2356|051) |