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)
- Department Grundschulpädagogik (7)
- Institut für Umweltwissenschaften und Geographie (7)
- Philosophische Fakultät (7)
- Historisches Institut (6)
- Institut für Germanistik (6)
- Department Erziehungswissenschaft (5)
- Institut für Anglistik und Amerikanistik (5)
- Strafrecht (5)
- Department Sport- und Gesundheitswissenschaften (4)
- Institut für Slavistik (3)
- MenschenRechtsZentrum (3)
- Department Psychologie (2)
- Institut für Romanistik (2)
- Lehreinheit für Wirtschafts-Arbeit-Technik (2)
- Department Linguistik (1)
- Fachgruppe Soziologie (1)
- Institut für Biochemie und Biologie (1)
- Institut für Künste und Medien (1)
- Kommunalwissenschaftliches Institut (1)