Top
Zur Seitennavigation oder mit Tastenkombination für den
accesskey
-Taste und Taste 1
Zum Seiteninhalt oder mit Tastenkombination für den
accesskey
und Taste 2
PULS
Foto: Matthias Friel
Datenschutz
Kontakt
Impressum
Universität Potsdam
Veranstaltungen
Modulbeschreibung
EN
SoSe 2024
Anmelden
Node2
Vorlesungsverzeichnis
Vorlesungsverzeichnis (PDF)
Suche nach Veranstaltungen
Veranstaltungen - tagesaktuell
Ausfallende Veranstaltungen
Navigation ausblenden
Sie sind hier:
Startseite
Modulbeschreibung
Vorlesungsverzeichnis (WiSe 2020/21)
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 2013/14)
VIII. Vertiefungsmodule Informatik
Verteilte Systeme
Leistungsanalyse
Maschinelles Lernen I
Maschinelles Lernen II
Multimediale Systeme
Service-orientierte Architekturen
Pervasive Computing
E-Learning
Service- und Software- Engineering II
Formale Methoden im Software Engineering
IT und Organisation II
Programmiersprachen und Compilertechnologie
Technische Informatik II
Formale Methoden und ihre Komplexität
Sicherheit, Information und Komplexität
Automatisierte Logik und Programmierung: Formale Kalküle und Beweissysteme
Semantik und Typsysteme
Automatisierte Logik und Programmierung: Beweisautomatisierung und Programmsynthese
Entwurf effizienter Algorithmen
Kognitive Technologien
Aktuelle Themen der Künstlichen Intelligenz
Deklarative Modellierung
Informatik und Gesellschaft II
Advanced Topics in Computer Science I
Advanced Topics in Computer Science II
© Copyright HIS
Hochschul-Informations-System eG