Suche
Kategorie
JGU Mainz (85458)
162712 Treffer
- Digital Urban History Lab | Digitales Forschungslabor zur historischen Stadtentwicklung
- Kuroczyński, Piotr; (2020 - 2021)
- AKUT - Anreizsysteme für die kommunale Überflutungsvorsorge
- Kaufmann Alves, Inka; (2019 - 2021)
- EVA - Entscheidungsverhalten unterschiedlicher Akteur:innen in der Überflutungsvorsorge
- Kaufmann Alves, Inka; (2021 - 2022)
- Scale and scaling of IoT: from digital sensor to global information infrastructure
- Williams, Susan; (2018 - 2020)
- Über Realzeitautomaten hinaus (Teilprojekt TRR 14: AVACS - Automatische Verifikation und Analyse komplexer Systeme)
- Sofronie-Stokkermans, Viorica; (2004 - 2015)
- Information Design Lab
- Williams, Susan; (ab 2014)
- INTERPLAT
- Wimmer, Maria A.; (ab 2018)
- Gov 3.0
- Wimmer, Maria A.; (2017 - 2020)
- Symbolelimination und Quantorenelimination und Anwendungen
- Sofronie-Stokkermans, Viorica; Sofronie-Stokkermans, Viorica; (2015 - 2025)
- Automatisierte Verifikation kooperierender Verkehrssysteme (TRR 14: AVACS - Automatische Verifikation und Analyse komplexer Systeme)
- Sofronie-Stokkermans, Viorica; (2004 - 2015)