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
  • PDF
  • English
  • Year: 2020
  • Author: Wolfgang Ahrendt, Heike Wehrheim
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
  • PDF
  • English
  • Year: 2015
  • Author: Roland Meyer, André Platzer, Heike Wehrheim (eds.)
The Logic of Software. A Tasting Menu of Formal Methods: Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday
  • PDF
  • English
  • Year: 2022
  • Author: Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Einar Broch Johnsen
Deductive Software Verification: Future Perspectives: Reflections on the Occasion of 20 Years of KeY
  • PDF
  • English
  • Year: 2020
  • Author: Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Mattias Ulbrich
Formal Methods for Open Object-Based Distributed Systems: 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006. Proceedings
  • PDF
  • English
  • Year: 2006
  • Author: Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari (auth.), Roberto Gorrieri, Heike Wehrheim (eds.)
NORG - Erster Roman: Im verbotenen Land
  • EPUB
  • German
  • Year: 2016
  • Author: Hohlbein, Heike;Hohlbein, Wolfgang
NORG - Zweiter Roman: Im Tal des Ungeheuers
  • EPUB
  • German
  • Year: 2016
  • Author: Hohlbein, Heike;Hohlbein, Wolfgang
TOP JOB: Traumchefs: Die besten Arbeitgeber im Mittelstand
  • PDF
  • German
  • Year: 2013
  • Author: Heike Bruch, Wolfgang Clement
Midgard. Eine phantastische Geschichte.
  • PDF
  • German
  • Year: 1987
  • Author: Wolfgang Hohlbein, Heike Hohlbein
Märchenmond. Eine phantastische Geschichte. ( Ab 12 J.).
  • PDF
  • German
  • Year: 2001
  • Author: Wolfgang Hohlbein, Heike Hohlbein
search