Computer Science
| Name | Course Type | Name | Credits | ID |
|---|
| Grundlagen der Computergraphik | () Vorlesung | Basic Techniques in Computer Graphics | 6 | 537937 |
| () Übung | Basic Techniques in Computer Graphics | 0 | 536553 |
| Model Checking | () Vorlesung | Introduction to Model Checking | 6 | 537573 |
| () Übung | Introduction to Model Checking | 0 | 536600 |
| Algorithmische Lerntheorie | () Vorlesung | Algorithmische Lerntheorie | | 557996 |
| () Übung | Algorithmische Lerntheorie (Übung) | 0 | 557997 |
| The Logic of Knowledge Bases | () Vorlesung/Übung | The Logic of Knowledge Bases | 0 | 573562 |
| Virtuelle Realität | () Vorlesung/Übung | Einführung in die Virtuelle Realität (VR I) | 6 | 536968 |
| Komplexitätstheorie | () Vorlesung | Komplexitätstheorie | 6 | 557994 |
| () Übung | Übung zur Vorlesung Komplexitätstheorie | 0 | 557995 |
| Analyse von Algorithmen | () Vorlesung | Analyse von Algorithmen | 0 | 560022 |
| Erfüllbarkeitsüberprüfung | () Vorlesung/Übung | Erfüllbarkeitsüberprüfung | | 537540 |
| Communication Systems Engineering | () Vorlesung/Übung | Communication Systems Engineering | 6 | 536469 |
| Probabilistic Programming | () Vorlesung | Probabilistische Programmierung | 6 | 558579 |
| () Übung | Probabilistische Programmierung | 0 | 558580 |
| iOS Application Development | () Vorlesung | iOS Application Development | 6 | 537886 |
| Modellbasierte Softwareentwicklung | () Vorlesung/Übung | Modellbasierte Softwareentwicklung | 0 | 539696 |
| Künstliche Intelligenz | () Vorlesung/Übung | Introduction to Artificial Intelligence | 6 | 537195 |
| Designing Interactive Systems I | () Vorlesung/Übung | Designing Interactive Systems I | 6 | 536803 |
| () Vorlesung/Übung | Designing Interactive Systems I (in Bonn) | 6 | 538143 |
| High-Performance Computing | () Vorlesung/Übung | Einführung in High-Performance Computing | | 538578 |
| Physikalisch-Basierte Animation | () Vorlesung/Übung | Physikalisch-Basierte Animation | 6 | 536983 |
| Model-based Systems Engineering | () Vorlesung/Übung | Model-based Systems Engineering | | 539145 |
| Introduction to Algorithmic Differentiation | () Vorlesung/Übung | Einführung in Algorithmisches Differenzieren | 6 | 536793 |
| Fundamentals of Business Process Management | () Vorlesung | Fundamentals of Business Process Management - Vorlesung | | 539298 |
| () Übung | Fundamentals of Business Process Management - Übung | 0 | 539299 |
| Industrial Network Security | () Vorlesung | Industrial Network Security (Vorlesung) | | 539566 |
| () Übung | Industrial Network Security (Übung) | 0 | 540425 |
| Machine Learning with Graphs: Foundations and Applications | () Vorlesung/Übung | Machine Learning with Graphs: Foundations and Applications | | 557902 |
| Infinite Computations and Games | () Vorlesung | Infinite Computations and Games | 6 | 537617 |
| () Übung | Infinite Computations and Games | 0 | 537387 |
| Stochastic Processes and Dynamical Systems | () Vorlesung | Stochastic Processes and Dynamical Systems | | 539799 |
| Post-quantum cryptography | () Vorlesung/Übung | Post-quantum cryptography | | 539191 |
| Advanced Network Security | () Vorlesung/Übung | Advanced Network Security | | 539225 |
| High-performance Matrix Computations | () Vorlesung/Übung | High-Performance Matrix Computations | | 539790 |
| Artificial Intelligence in Music | () Übung | Artificial Intelligence in Music | 0 | 574872 |
| () Vorlesung | Artificial Intelligence in Music | | 574871 |
| Research Focus Class Industrial Applications for LLM-driven Agentic Systems | () Projekt | Research Focus Class Industrial Applications for LLM-driven Agentic Systems | | 574876 |
| Web3 & Distributed Ledger Technology | () Vorlesung/Übung | Web3 & Distributed Ledger Technology | | 540132 |