Top
Hilfe
WiSe 2025/26
Vorlesungsverzeichnis (WiSe 2025/26)
Seitenansicht wählen:
kurz
mittel
lang
Vorlesungsverzeichnis
Mathematisch-Naturwissenschaftliche Fakultät
Institut für Informatik und Computational Science
Master of Science
Computational Science (Prüfungsversion ab WiSe 2019/20)
III. Vertiefungsmodule Informatik
INF-8010 - Verteilte Systeme
INF-8011 - Leistungsanalyse
INF-8020 - Maschinelles Lernen I
INF-8021 - Maschinelles Lernen II
INF-8030 - Multimediale Systeme
INF-8031 - Service-orientierte Architekturen
INF-8032 - Pervasive Computing
INF-8033 - Bildungstechnologien
INF-8040 - Formale Methoden im Software Engineering
INF-8041 - Programmiersprachen und Compilertechnologie
INF-8050 - Technische Informatik
INF-8060 - Formale Methoden und ihre Komplexität
INF-8061 - Sicherheit, Information und Komplexität
INF-8062 - Semantik und Typsysteme
INF-8063 - Entwurf effizienter Algorithmen
INF-8070 - Aktuelle Themen der Künstlichen Intelligenz
INF-8072 - Deklarative Modellierung
INF-8080 - Informatik und Gesellschaft II
INF-8090 - Advanced Topics in Computer Science I
INF-8091 - Advanced Topics in Computer Science II