Nicht ermittelbar
Refine
Year of publication
Document Type
- Monograph/Edited Volume (247) (remove)
Is part of the Bibliography
- yes (247)
Keywords
- Digitalisierung (4)
- cyber-physical systems (4)
- openHPI (4)
- probabilistic timed systems (4)
- qualitative Analyse (4)
- qualitative analysis (4)
- quantitative Analyse (4)
- quantitative analysis (4)
- digitalization (3)
- Bounded Model Checking (2)
Institute
- Institut für Mathematik (45)
- Hasso-Plattner-Institut für Digital Engineering GmbH (24)
- Institut für Informatik und Computational Science (23)
- Wirtschaftswissenschaften (21)
- Sozialwissenschaften (16)
- Institut für Jüdische Studien und Religionswissenschaft (15)
- Öffentliches Recht (14)
- Fachgruppe Betriebswirtschaftslehre (10)
- Fachgruppe Politik- & Verwaltungswissenschaft (10)
- Bürgerliches Recht (8)