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-8060 - Formale Methoden und ihre Komplexität
Veranstaltungsart
Titel der Veranstaltung
Vorlesung/Übung
Strukturelle Graphentheorie
Zur Zeit keine Belegung möglich