Sommersemester 2023 - Lehrstuhl für Theoretische Informatik

Zum Inhalt springen

de
en

Menü

Lehrstuhl für Theoretische Informatik
TUM School of Computation, Information and Technology
Technische Universität München

Startseite
Kontakt
Lehre
Forschung
Veröffentlichungen
Tools
Personen

Lehrstuhl für Theoretische Informatik
TUM School of Computation, Information and Technology
Technische Universität München

Startseite
Lehre
Sommersemester 2023

Sommersemester 2023

Logic
Einführung in die Theoretische Informatik
Practical Course - Recent Advances in Model Checking
Seminar - Recent Advances in the Verification of Neural Networks (IN2107, IN0014)

-

Informatik 7 - Lehrstuhl für Theoretische Informatik

Prof. Javier Esparza
Boltzmannstr. 3
D-85748 Garching bei München
Germany

Alte Websiten

2004-2020
vor 2004

Datenschutz
Impressum
Barrierefreiheit