Home Advanced Search
Advanced Search - Page 1
Tests and Proofs: 14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22–23, 2020, Proceedings
- English
- Year: 2020
- Author: Wolfgang Ahrendt, Heike Wehrheim
Entscheidungen unter Unsicherheit: Die verhaltenspsychologische Ausrichtung der aktienrechtlichen Vorstandshaftung
- German
- Author: Ahrendt, Christian
Correct System Design: Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings
- English
- Year: 2015
- Author: Roland Meyer, André Platzer, Heike Wehrheim (eds.)
NORG - Zweiter Roman: Im Tal des Ungeheuers
- EPUB
- German
- Year: 2016
- Author: Hohlbein, Heike;Hohlbein, Wolfgang
NORG - Erster Roman: Im verbotenen Land
- EPUB
- German
- Year: 2016
- Author: Hohlbein, Heike;Hohlbein, Wolfgang
Imaginarios ecológicos en América Latina: Crónicas coloniales, ensayos, novelas, cine y prácticas culturales
- German
- Year: 2022
- Author: Elmar Schmidt; Monika Wehrheim
The Logic of Software. A Tasting Menu of Formal Methods: Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday
- English
- Year: 2022
- Author: Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Einar Broch Johnsen
Statistik: Lehr- und Übungsbuch mit Beispielen aus der Tourismus- und Verkehrswirtschaft
- German
- Year: 2002
- Author: Wolfgang Götze; Christel Deutschmann; Heike Link
Deductive Software Verification: Future Perspectives: Reflections on the Occasion of 20 Years of KeY
- English
- Year: 2020
- Author: Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Mattias Ulbrich