Suche
Kategorie
Erscheinungsjahr
163021 Treffer
- 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)
- COMBS Project
- Paulus, Dietrich;
- Personalized Expand
- Paulus, Dietrich; (2017 - 2018)