Computer Science
| 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 |
| 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 |
| Theory of Distributed and Parallel Systems | () Vorlesung | Theorie Verteilter und Paralleler Systeme | 0 | 481626 |
| () Übung | Theorie Verteilter und Paralleler Systeme Übung | 0 | 481630 |
| 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 |
| Machine Learning with Graphs: Foundations and Applications | () Vorlesung/Übung | Machine Learning with Graphs: Foundations and Applications | | 482126 |