Home Advanced Search

Advanced Search - Page 1

Entscheidungen unter Unsicherheit: Die verhaltenspsychologische Ausrichtung der aktienrechtlichen Vorstandshaftung
  • PDF
  • German
  • Author: Ahrendt, Christian
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
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
Sexualmedizin in der Gynäkologie
  • PDF
  • German
  • Year: 2015
  • Author: Prof. Dr. med. Hans-Joachim Ahrendt, Dr. med. Cornelia Friedrich (eds.)
Deductive Software Verification – The KeY Book: From Theory to Practice
  • PDF
  • English
  • Year: 2016
  • Author: Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt, Mattias Ulbrich (eds.)
Grib fremtiden: en introduktion til den fagre nye, digitale verden - til seniorer, som gerne vil forstå og kunne begå sig på de sociale medier - og styrke dialogen med børn og børnebørn: seniorer 50+
  • EPUB
  • Danish
  • Year: 2012
  • Author: Have, Christian
Ego, non ego
  • EPUB
  • French
  • Year: 2018
  • Author: Christian Miquel [Miquel, Christian]
Big Bad
  • EPUB
  • English
  • Year: 2019
  • Author: Christian Galacar [Galacar, Christian]
Angela Merkel ist Hitlers Tochter: Im Land der Verschwörungstheorien
  • PDF
  • German
  • Year: 2018
  • Author: Christian Schiffer, Christian Alt
search