Home Advanced Search

Advanced Search - Page 1

Crashkurs BWL.
  • PDF
  • German
  • Year: 2004
  • Author: Bernd Ahrendt
Crashkurs BWL
  • PDF
  • German
  • Year: 2004
  • Author: Bernd Ahrendt
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.)
Carbohydrate-Based Vaccines: Methods and Protocols
  • PDF
  • English
  • Year: 2015
  • Author: Bernd Lepenies
Grobner bases and convex polytopes
  • DJVU
  • English
  • Year: 1996
  • Author: Bernd Sturmfels
search