Zum Hauptinhalt
Website-Übersicht
Startseite
Kurse suchen
Rubriken
Fachbereich 1 Architektur, Bauingenieurwesen, Geomatik
Fachbereich 2 Informatik und Ingenieurwissenschaften
Fachbereich 3 Wirtschaft und Recht
Fachbereich 4 Soziale Arbeit und Gesundheit
Fachbereichsübergreifende Angebote
International Office
Verschiedenes
Weiterbildung
Mehr
Deutsch (de)
Deutsch (de)
English (en)
Español - Internacional (es)
Français (fr)
Türkçe (tr)
Русский (ru)
简体中文 (zh_cn)
Sie sind als Gast angemeldet
Login
Startseite
Kurse suchen
Rubriken
Einklappen
Ausklappen
Fachbereich 1 Architektur, Bauingenieurwesen, Geomatik
Fachbereich 2 Informatik und Ingenieurwissenschaften
Fachbereich 3 Wirtschaft und Recht
Fachbereich 4 Soziale Arbeit und Gesundheit
Fachbereichsübergreifende Angebote
International Office
Verschiedenes
Weiterbildung
Schorr: Current Topics - SoSe 23
Einschreibeoptionen
Schorr: Current Topics - SoSe 23
Neural Network Verification
Modeling, Validation and Verification of Digital Twins
Incorrectness Logic
Dozent/in:
Ruth Schorr
Selbsteinschreibung (Student/in)
Selbsteinschreibung (Student/in)
Selbsteinschreibung (Student/in)
Gäste können auf diesen Kurs nicht zugreifen. Melden Sie sich bitte an.
Weiter
