Prof. Dr. Friedrich von Henke

Prof. Dr. Friedrich von Henke
Informatik
Uni Ulm

Lehrveranstaltungen von Prof. Dr. Friedrich von Henke

Veranstaltung Umfang Beschreibung Bewertungen
Computergestützte Modellierung und Verifikation
Vorlesung + Übung/Tutorium
6 SWS - 1
Einführung in die künstliche Intelligenz
Vorlesung + Übung/Tutorium
4 SWS - 3
Praktische Informatik 2
Vorlesung + Übung/Tutorium
6 SWS - 6