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
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
Entscheidungen unter Unsicherheit: Die verhaltenspsychologische Ausrichtung der aktienrechtlichen Vorstandshaftung
  • PDF
  • German
  • Author: Ahrendt, Christian
Crashkurs BWL.
  • PDF
  • German
  • Year: 2004
  • Author: Bernd Ahrendt
Crashkurs BWL
  • PDF
  • German
  • Year: 2004
  • Author: Bernd Ahrendt
search