WT 2022
Wintertrimester 2022
Reiter
Kurse
Ausgewählte Kapitel der Komplexitätstheorie
Dozent und Übungsleitung: PD Dr. R. Hölzl
Um dieses Objekt zu nutzen, müssen Sie angemeldet sein und entsprechende Zugriffsrechte besitzen.
Ausgewählte mathematische Methoden in Kryptographie und Codierungstheorie
Dozent: Prof. Dr. C. Greither
Um dieses Objekt zu nutzen, müssen Sie angemeldet sein und entsprechende Zugriffsrechte besitzen.
Formale Entwicklung korrekter Software - Spezifikation
Dozent und Übungsleitung: PD Dr. B. Elbl
Anmeldungszeitraum: Keine Anmeldung möglich
Veranstaltungszeitraum: 10. Jan 2022, 00:00 - 31. Mär 2022, 23:55
Um dieses Objekt zu nutzen, müssen Sie angemeldet sein und entsprechende Zugriffsrechte besitzen.
Veranstaltungszeitraum: 10. Jan 2022, 00:00 - 31. Mär 2022, 23:55
Um dieses Objekt zu nutzen, müssen Sie angemeldet sein und entsprechende Zugriffsrechte besitzen.
Grundlagen der Berechenbarkeit
Dozent: Prof. Dr. V. Brattka
Um dieses Objekt zu nutzen, müssen Sie angemeldet sein und entsprechende Zugriffsrechte besitzen.