Computer Science Electives
| Name | Course Type | Name | Credits | ID |
|---|
| High-Performance Computing | () Vorlesung/Übung | Einführung in High-Performance Computing | | 538578 |
| High-performance Matrix Computations | () Vorlesung/Übung | High-Performance Matrix Computations | | 539790 |
| Introduction to Algorithmic Differentiation | () Vorlesung/Übung | Einführung in Algorithmisches Differenzieren | 6 | 536793 |
| iOS Application Development | () Vorlesung | iOS Application Development | 6 | 537886 |
| Model Checking | () Vorlesung | Introduction to Model Checking | 6 | 537573 |
| () Übung | Introduction to Model Checking | 0 | 536600 |
| Probabilistic Programming | () Vorlesung | Probabilistische Programmierung | 6 | 558579 |
| () Übung | Probabilistische Programmierung | 0 | 558580 |
| Communication Systems Engineering | () Vorlesung/Übung | Communication Systems Engineering | 6 | 536469 |
| Advanced Network Security | () Vorlesung/Übung | Advanced Network Security | | 539225 |
| Industrial Network Security | () Vorlesung | Industrial Network Security (Vorlesung) | | 539566 |
| () Übung | Industrial Network Security (Übung) | 0 | 540425 |
| Infinite Computations and Games | () Vorlesung | Infinite Computations and Games | 6 | 537617 |
| () Übung | Infinite Computations and Games | 0 | 537387 |
| Post-quantum cryptography | () Vorlesung/Übung | Post-quantum cryptography | | 539191 |
| Erfüllbarkeitsüberprüfung | () Vorlesung/Übung | Erfüllbarkeitsüberprüfung | | 537540 |
| Model-based Systems Engineering | () Vorlesung/Übung | Model-based Systems Engineering | | 539145 |
| Theorie der Graphen- und Netzwerkoptimierung | () Übung | Theorie der Graphen- und Netzwerkoptimierung | 0 | 539593 |
| () Vorlesung | Theorie der Graphen- und Netzwerkoptimierung | | 538915 |
| Theorie der Graphen- und Netzwerkoptimierung: Flüsse | () Übung | Theorie der Graphen- und Netzwerkoptimierung | 0 | 539593 |
| () Vorlesung | Theorie der Graphen- und Netzwerkoptimierung | | 538915 |
| Theorie der Graphen- und Netzwerkoptimierung: Netzwerkdesign und Standortplanung | () Übung | Theorie der Graphen- und Netzwerkoptimierung | 0 | 539593 |
| () Vorlesung | Theorie der Graphen- und Netzwerkoptimierung | | 538915 |
| Research Focus Class Industrial Applications for LLM-driven Agentic Systems | () Projekt | Research Focus Class Industrial Applications for LLM-driven Agentic Systems | | 574876 |
| Kryptographie | () Vorlesung/Übung | Kryptographie | | 538837 |