Verification, model checking, and abstract interpretation 13th international conference, VMCAI 2012, Philadelphia, PA, USA, January 22 - 24, 2012 ; proceedings

Inhaltstext
Inhaltsverzeichnis

Tools and algorithms for the construction and analysis of systems 19th international conference, TACAS 2013, held as part of the European Joint Conferences on Theory and Practice o...

Inhaltstext
Inhaltsverzeichnis

Tools and algorithms for the construction and analysis of systems 20th international conference, TACAS 2014, held as part of the European Joint Conferences on Theory and Practice o...

Inhaltstext
Inhaltsverzeichnis

Svůdnost sociálního experimentu nový člověk 20. století = Seductiveness of social experimentation : the New Man in the 20th century von Fasora, Lukáš 1972-, Hanuš, Jiří 1963-, Nečasová, Denisa 1974-

Inhaltsverzeichnis
Literaturverzeichnis
Register // Personenregister
Abstract

Dom Hitlera von Stratigakos, Despina

Inhaltsverzeichnis
Literaturverzeichnis
Register // Gemischte Register