Computer Science
| Name | Course Type | Name | Credits | ID |
|---|
| Grundlagen der Computergraphik | () Vorlesung | Basic Techniques in Computer Graphics | 6 | 512062 |
| () Übung | Basic Techniques in Computer Graphics | 0 | 510608 |
| Model Checking | () Vorlesung | Introduction to Model Checking | 6 | 521373 |
| () Übung | Introduction to Model Checking | 0 | 521372 |
| Virtuelle Realität | () Vorlesung/Übung | Einführung in die Virtuelle Realität (VR I) | 6 | 511048 |
| Erfüllbarkeitsüberprüfung | () Vorlesung/Übung | Erfüllbarkeitsüberprüfung | | 511645 |
| Communication Systems Engineering | () Vorlesung/Übung | Communication Systems Engineering | 6 | 510524 |
| Objektorientierte Softwarekonstruktion | () Vorlesung | Objektorientierte Software-Konstruktion | 6 | 521557 |
| () Übung | Objektorientierte Software-Konstruktion | 0 | 521558 |
| Graphzerlegungen und algorithmische Anwendungen | () Vorlesung | Graph Decompositions and Algorithmic Applications | 6 | 521729 |
| () Übung | Graph Decompositions and Algorithmic Applications (Übung) | 0 | 521730 |
| iOS Application Development | () Vorlesung | iOS Application Development | 6 | 512004 |
| Modellbasierte Softwareentwicklung | () Vorlesung/Übung | Modellbasierte Softwareentwicklung | 0 | 513782 |
| Implementation of Databases | () Vorlesung/Übung | Implementation of Databases | 6 | 511755 |
| Künstliche Intelligenz | () Vorlesung/Übung | Introduction to Artificial Intelligence | 6 | 511285 |
| Designing Interactive Systems I | () Vorlesung/Übung | Designing Interactive Systems I | 6 | 510869 |
| () Vorlesung/Übung | Designing Interactive Systems I (in Bonn) | 6 | 512284 |
| High-Performance Computing | () Vorlesung/Übung | Einführung in High-Performance Computing | | 512750 |
| Physikalisch-Basierte Animation | () Vorlesung/Übung | Physikalisch-Basierte Animation | 6 | 511064 |
| Research Focus Class on Learning Technologies | () Projekt | Research Focus Class on Learning Technologies - Interactive Data and Learning Analytics | | 534356 |
| Model-based Systems Engineering | () Vorlesung/Übung | Model-based Systems Engineering | | 513284 |
| Dynamical Processes on Networks | () Übung | Dynamical Processes On Networks (Übungen) | 0 | 521080 |
| () Vorlesung | Dynamical Processes on Networks | | 521079 |
| Introduction to Algorithmic Differentiation | () Vorlesung/Übung | Einführung in Algorithmisches Differenzieren | 6 | 510858 |
| Distributed Ledger Technology | () Vorlesung/Übung | Distributed Ledger Technology | | 514235 |
| Fundamentals of Business Process Management | () Vorlesung | Fundamentals of Business Process Management - Vorlesung | | 513422 |
| () Übung | Fundamentals of Business Process Management - Übung | 0 | 513423 |
| Industrial Network Security | () Vorlesung | Industrial Network Security (Vorlesung) | | 513657 |
| () Übung | Industrial Network Security (Übung) | 0 | 514453 |
| Infinite Computations and Games | () Vorlesung | Infinite Computations and Games | 6 | 511721 |
| () Übung | Infinite Computations and Games | 0 | 511488 |
| Stochastic Processes and Dynamical Systems | () Vorlesung | Stochastic Processes and Dynamical Systems | | 513893 |
| Social and Technological Change | () Vorlesung/Übung | Social and Technological Change | | 514187 |
| Post-quantum cryptography | () Vorlesung/Übung | Post-quantum cryptography | | 513330 |
| Advanced Network Security | () Vorlesung/Übung | Advanced Network Security | | 521932 |
| High-performance Matrix Computations | () Vorlesung/Übung | High-Performance Matrix Computations | | 520981 |
| Introduction to Program Synthesis | () Vorlesung | Introduction to Program Synthesis | | 534668 |
| () Übung | Introduction to Program Synthesis | 0 | 534671 |