Offers in winter term 2025/26
- Computergestützte Verifikation
- Verteilte Algorithmen
- Kognitive Systeme
- Digitale Bibliotheken & Multimedia Information Retrieval
- Intelligente IS: Grundlagen des maschinellen Lernens
- Data driven Modeling and Simulation*
- HCI & Interaction Design*
- Network Security*
- Computer Vision*
- Cloud Computing*
- Systems Biology*
- Reasoning under Uncertainty*
* Offer in English