Engelhardt, Kai books & textbook
Data Refinement: Model-Oriented Proof Methods and their Comparison (Cambridge Tracts in Theoretical Computer Science, Series Number 47)
de Roever, Willem-Paul Engelhardt, Kai
Cambridge University Press /2008-12-18 Paperback / 436 Pages
isbn-10: 0521103509 / isbn-13: 9780521103503
Braintertainment
Robert Gernhardt Eckart von Hirschhausen Dragos Inta Axel Karenberg Brendan A. Maher Hannah Monyer Kai Sammet Friedrich Karl Waechter Rolf H. Adler Josef Aldenhoff Valentino Braitenberg Jakob v. Engelhardt Michael Freund Katja Gaschler Barbara Wild
Schattauer /2006-01-01 Hardcover / 244 Pages
isbn-10: 3794525159 / isbn-13: 9783794525157
GWB – Kommentar: Vergaberecht
Amelung, Steffen Badenhausen-Fähnle, Elisabeth Behrens, Hans-Werner Braun, Christian Conrad, Gunnar Csaki, Alexander Damaske, Thomas Diemon-Wies, Ingeborg Dippel, Norbert Eßig, Michael Fehns-Böer, Gundula Fülling, Daniel Gaus, Michael Gielen, Julia Gnittke, Katja Hattig, Oliver Heller, Hans Hofmann, Jakob Horn, Lutz Jularic, Mirko Kadenbach, Wiltrud Kaelble, Hendrik Knauff, Matthias Lischka, Sebastian Lux, Johannes Mockel, Ute Müller, Hans-Peter Pfohl, Benjamin Radu, Magnus Rieder, Heike Röbke, Marc Schneevogl, Kai-Uwe Schröder, Holger Sterner, Frank Stoye, Jörg Sudbrock, Christian Traupel, Tobias Tugendreich, Bettina Engelhardt, Benjamin von Wagner, Christian-David Delcuvé, Frederic Müller-Wrede, Malte
Bundesanzeiger /2020-06-01 Hardcover / 1500 Pages
isbn-10: 3846210935 / isbn-13: 9783846210932
