Prof. Dr. Lugrin https://www.uni-augsburg.de/de/fakultaet/fai/informatik/prof/hcm/team/former-staff/lugrin/
Chi Tai Dang Simon Flutura Dr.
Dein Suchergebnis zum Thema: danger
Algebraische Kalküle für Separationslogik https://www.uni-augsburg.de/de/fakultaet/fai/informatik/prof/PMI/forschung/algebraische-systembeschreibung/algebraische-kalkule-fur-separationslogik/
None
Bernhard Möller Beteiligte WissenschaftlerInnen der Universität Augsburg: Han-Hing Dang
Dr. Gregor Mehlmann https://www.uni-augsburg.de/de/fakultaet/fai/informatik/prof/hcm/team/former-staff/mehlmann/
Chi Tai Dang Simon Flutura Dr.
Dominik Schiller https://www.uni-augsburg.de/de/fakultaet/fai/informatik/prof/hcm/team/former-staff/dominik-schiller/
Dominik Schiller
Chi Tai Dang Simon Flutura Dr.
Gender Online Tool: Eine webbasierte Lernumgebung zur Wissensvermittlung https://www.uni-augsburg.de/de/fakultaet/fai/informatik/prof/hcm/forschung/got/
None
Chi Tai Dang, Benjamin Urban Über das Projekt Zusammenfassung Das gender online
Mikroprojekt KI-Kompetenzen https://www.uni-augsburg.de/de/fakultaet/fai/informatik/prof/hcm/forschung/mikroprojekt-ki-kompetenzen/
None
Chi Tai Dang Webseite: Webseite der Plattform Lernende Systeme mit den Projektergebnissen
Dr. Katharina Weitz https://www.uni-augsburg.de/de/fakultaet/fai/informatik/prof/hcm/team/former-staff/katharina-weitz/
Chi Tai Dang Simon Flutura Dr.
Dr. Tobias Baur https://www.uni-augsburg.de/de/fakultaet/fai/informatik/prof/hcm/team/former-staff/baur/
Dr Tobias Baur
Chi Tai Dang Simon Flutura Dr.
Abschlussarbeiten https://www.uni-augsburg.de/de/fakultaet/fai/informatik/prof/PMI/studium-lehre/abschlussarbeiten/
None
Möller Algebraic Aspects of Separation Logic Han-Hing Dang (Diplomarbeit) Betreuer
Dissertationen & Habilitationen https://www.uni-augsburg.de/de/fakultaet/fai/geo/forschung/dissertationen-habilitationen/
Benjamin Representation of atmospheric dynamics in decadal predictive models (2018) Dang