Um 04:00 Uhr findet das taegliche Datenbackup statt (Ausfallzeit ca. 20 Minuten). Bitte beenden Sie Ihre Arbeit vorher.

Seminar Theoretical Computer Science: Automata, Logics, and Infinite Games

TU Dresden | Sommersemester 2024 Seminar Theoretical Computer Science: Automata, Logics, and Infinite Games

Tutors: Prof. Dr.-Ing. Franz Baader, Dr.-Ing. Francesco Kriegel

Zugang zum Kurs gesperrt. Bitte melden Sie sich an. Login

Informationen zum Zugang

Sie haben zu wenig Berechtigungen, um diesen Kurs zu starten.