WT 2022

Wintertrimester 2022

Reiter

Kurse

Kurs

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.  
Kurs

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.  
Kurs

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.  
Kurs

Grundlagen der Berechenbarkeit

Dozent: Prof. Dr. V. Brattka
Um dieses Objekt zu nutzen, müssen Sie angemeldet sein und entsprechende Zugriffsrechte besitzen.