| Name | Course Type | Name | Credits | ID |
|---|---|---|---|---|
| Funktionale Sicherheit und Systemzuverlässigkeit | () Vorlesung/Übung | Funktionale Sicherheit und Systemzuverlässigkeit | 6 | 473723 |
| Business Process Intelligence | () Vorlesung | Business Process Intelligence | 6 | 467300 |
| () Übung | Business Process Intelligence | 0 | 467301 | |
| Model Checking | () Vorlesung | Introduction to Model Checking | 6 | 474525 |
| () Übung | Introduction to Model Checking | 0 | 474235 | |
| Geometrieverarbeitung | () Vorlesung | Geometrieverarbeitung | 6 | 471095 |
| () Übung | Geometrieverarbeitung | 0 | 473435 | |
| Software-Projektmanagement | () Vorlesung | Software-Projektmanagement | 4 | 472718 |
| () Übung | Software-Projektmanagement | 0 | 472187 | |
| Computer Vision | () Vorlesung/Übung | Computer Vision | 6 | 472558 |
| Advanced Internet Technology | () Vorlesung | Advanced Internet Technology (Vorlesung) | 0 | 481601 |
| () Übung | Advanced Internet Technology (Übung) | 0 | 481600 | |
| Quantum Computing | () Vorlesung | Quanten-Computing | 481713 | |
| The Logic of Knowledge Bases | () Vorlesung/Übung | The Logic of Knowledge Bases | 0 | 482087 |
| Current Topics in Media Computing and HCI | () Vorlesung/Übung | Current Topics in Media Computing and HCI | 6 | 473619 |
| Advanced Machine Learning | () Vorlesung | Advanced Machine Learning | 6 | 473074 |
| Wissensrepräsentation | () Vorlesung/Übung | Introduction to Knowledge Representation | 6 | 474266 |
| Theory of Distributed and Parallel Systems | () Vorlesung | Theorie Verteilter und Paralleler Systeme | 0 | 481626 |
| () Übung | Theorie Verteilter und Paralleler Systeme Übung | 0 | 481630 | |
| Eingebettete Systeme | () Vorlesung/Übung | Einführung in eingebettete Systeme | 6 | 473387 |
| () Vorlesung/Übung | Embedded Systems (International Academy) | 474003 | ||
| Designing Interactive Systems II | () Vorlesung/Übung | Designing Interactive Systems II | 6 | 473896 |
| Leistungs- und Korrektheitsanalyse paralleler Programme | () Vorlesung/Übung | Leistungs- und Korrektheitsanalyse paralleler Programme | 470949 | |
| Prozesse und Methoden beim Testen von Software | () Vorlesung | Prozesse und Methoden beim Testen von Software | 3 | 472240 |
| Statistische Klassifikation und Maschinelles Lernen | () Vorlesung | Statistische Klassifikation und Maschinelles Lernen | 0 | 482222 |
| () Übung | Statistische Klassifikation und Maschinelles Lernen | 0 | 482221 | |
| Advanced Process Mining | () Vorlesung | Advanced Process Mining | 467298 | |
| () Übung | Advanced Process Mining | 0 | 467299 | |
| Research Focus Class on Learning Technologies | () Projekt | Research Focus Class on Learning Technologies | 493352 | |
| () Projekt | Research Focus Class on Learning Technologies - Interactive Data and Learning Analytics | 496145 | ||
| Data-Driven Methods for 3D Shape Analysis | () Vorlesung | Data driven Methods for 3D Shape Analysis | 471952 | |
| () Übung | Data driven Methods for 3D Shape Analysis | 0 | 471953 | |
| Dynamical Processes on Networks | () Übung | Dynamical Processes On Networks (Übungen) | 0 | 481664 |
| () Vorlesung | Dynamical Processes on Networks | 481663 | ||
| Advanced Algorithmic Differentiation | () Vorlesung/Übung | Advanced Algorithmic Differentiation | 479201 | |
| Datenstrommanagement und -analyse | () Vorlesung/Übung | Datenstrommanagement und -analyse | 481668 | |
| Physikalische Simulation im Visual Computing | () Vorlesung/Übung | Physikalische Simulation im Visual Computing | 0 | 470755 |
| Fixpoints and Induction in Logic and Computer Science | () Übung | Fixpoints and Induction in Logic and Computer Science | 0 | 474260 |
| () Vorlesung | Fixpoints and Induction in Logic and Computer Science | 474372 | ||
| Reinforcement Learning and Learning-based Control | () Vorlesung | Reinforcement Learning and Learning-based Control | 474435 | |
| () Übung | Reinforcement Learning and Learning-based Control | 474486 | ||
| Fundamentals of Business Process Management | () Vorlesung | Fundamentals of Business Process Management - Vorlesung | 481461 | |
| () Übung | Fundamentals of Business Process Management - Übung | 0 | 481460 | |
| Mikrocontrollerprogrammierung und Fehlersuche | () Vorlesung/Übung | Mikrocontrollerprogrammierung und Fehlersuche | 0 | 472265 |
| () Vorlesung/Übung | Mikrocontrollerprogrammierung und Fehlersuche | 472265 | ||
| Machine Learning with Graphs: Foundations and Applications | () Vorlesung/Übung | Machine Learning with Graphs: Foundations and Applications | 482126 | |
| Advanced C++ | () Vorlesung/Übung | Advanced C++ | 494638 | |
| Actions and Planning in AI: Learning, Models, and Algorithms | () Vorlesung | Actions and Planning in AI: Learning, Models, and Algorithms | 494712 | |
| () Übung | Actions and Planning in AI: Learning, Models, and Algorithms | 0 | 494711 |