Kai engelhardt (23 Ergebnisse)
Braintertainment: Expeditionen in die Welt von Geist & Gehirn
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
- Hardcover
Anbieter: medimops, Berlin, Deutschlandmedimops
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Befriedigend
EUR 5,43
EUR 20,00 VersandVersand von Deutschland nach USAAnzahl: 4 verfügbar
Zustand: good. Befriedigend/Good: Durchschnittlich erhaltenes Buch bzw. Schutzumschlag mit Gebrauchsspuren, aber vollständigen Seiten. / Describes the average WORN book or dust jacket that has all the pages present.
Braintertainment: Expeditionen in die Welt von Geist & Gehirn
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
- Hardcover
Anbieter: medimops, Berlin, Deutschlandmedimops
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut
EUR 5,62
EUR 20,00 VersandVersand von Deutschland nach USAAnzahl: 13 verfügbar
Zustand: very good. Gut/Very good: Buch bzw. Schutzumschlag mit wenigen Gebrauchsspuren an Einband, Schutzumschlag oder Seiten. / Describes a book or dust jacket that does show some signs of wear on either the binding, dust jacket or pages.
Sprache: Englisch
Verlag: Cambridge University Press, 2008
Serie: Buch 29 von 40 - Cambridge Tracts in Theoretical Computer Science
- Softcover
Anbieter: California Books, Miami, FL, USACalifornia Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Neu
EUR 75,81
Versand gratisVersand innerhalb von USAAnzahl: Mehr als 20 verfügbar
Zustand: New.
Sprache: Englisch
Verlag: Cambridge University Press, 2008
Serie: Buch 29 von 40 - Cambridge Tracts in Theoretical Computer Science
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 75,86
EUR 13,98 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
Sprache: Englisch
Verlag: Cambridge University Press CUP, 2008
Serie: Buch 29 von 40 - Cambridge Tracts in Theoretical Computer Science
- Softcover
Anbieter: Books Puddle, New York, NY, USABooks Puddle
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Neu
EUR 106,62
EUR 3,41 VersandVersand innerhalb von USAAnzahl: 4 verfügbar
Zustand: New. pp. 436.
Sprache: Englisch
Verlag: Cambridge University Press, 1999
Serie: Buch 29 von 40 - Cambridge Tracts in Theoretical Computer Science
- Hardcover
Anbieter: BennettBooksLtd, Los Angeles, CA, USABennettBooksLtd
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 130,26
EUR 5,95 VersandVersand innerhalb von USAAnzahl: 1 verfügbar
hardcover. Zustand: New. In shrink wrap. Looks like an interesting title.
Data Refinement : Model-Oriented Proof Methods and Their Comparison
Roever, W. P. De; Engelhardt, Kai; Buth, K. H.; De Roever, Willem-Paul
Sprache: Englisch
Verlag: Cambridge University Press, 1999
Serie: Buch 29 von 40 - Cambridge Tracts in Theoretical Computer Science
- Hardcover
Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 163,38
EUR 2,26 VersandVersand innerhalb von USAAnzahl: Mehr als 20 verfügbar
Zustand: New.
Sprache: Englisch
Verlag: Cambridge University Press, 1999
Serie: Buch 29 von 40 - Cambridge Tracts in Theoretical Computer Science
- Hardcover
Anbieter: California Books, Miami, FL, USACalifornia Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Neu
EUR 165,72
Versand gratisVersand innerhalb von USAAnzahl: Mehr als 20 verfügbar
Zustand: New.
Data Refinement : Model-Oriented Proof Methods and Their Comparison
Roever, W. P. De; Engelhardt, Kai; Buth, K. H.; De Roever, Willem-Paul
Sprache: Englisch
Verlag: Cambridge University Press, 1999
Serie: Buch 29 von 40 - Cambridge Tracts in Theoretical Computer Science
- Hardcover
Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Wie neu
EUR 164,91
EUR 2,26 VersandVersand innerhalb von USAAnzahl: Mehr als 20 verfügbar
Zustand: As New. Unread book in perfect condition.
Sprache: Englisch
Verlag: Cambridge University Press, 2008
Serie: Buch 29 von 40 - Cambridge Tracts in Theoretical Computer Science
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 101,66
EUR 63,52 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - The goal of this book is to provide a comprehensive and systematic introduction to the important and highly applicable method of data refinement and the simulation methods used for proving its correctness. The authors concentrate in the first part on… the general principles needed to prove data refinement correct. They begin with an explanation of the fundamental notions, showing that data refinement proofs reduce to proving simulation. The book's second part contains a detailed survey of important methods in this field, which are carefully analysed, and shown to be either incomplete, with counterexamples to their application, or to be always applicable whenever data refinement holds. This is shown by proving, for the first time, that all these methods can be described and analysed in terms of two simple notions: forward and backward simulation. The book is self-contained, going from advanced undergraduate level and taking the reader to the state of the art in methods for proving simulation.
Sprache: Englisch
Verlag: Cambridge University Press, 1999
Serie: Buch 29 von 40 - Cambridge Tracts in Theoretical Computer Science
- Hardcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 166,97
EUR 13,98 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
Data Refinement : Model-Oriented Proof Methods and Their Comparison
Roever, W. P. De; Engelhardt, Kai; Buth, K. H.; De Roever, Willem-Paul
Sprache: Englisch
Verlag: Cambridge University Press, 1999
Serie: Buch 29 von 40 - Cambridge Tracts in Theoretical Computer Science
- Hardcover
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 166,96
EUR 17,51 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New.
Data Refinement : Model-Oriented Proof Methods and Their Comparison
Roever, W. P. De; Engelhardt, Kai; Buth, K. H.; De Roever, Willem-Paul
Sprache: Englisch
Verlag: Cambridge University Press, 1999
Serie: Buch 29 von 40 - Cambridge Tracts in Theoretical Computer Science
- Hardcover
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Wie neu
EUR 171,56
EUR 17,51 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: As New. Unread book in perfect condition.
- Hardcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Sehr gut
EUR 111,79
EUR 68,39 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Gebundene Ausgabe. Zustand: Sehr gut. Gebraucht - Sehr gut SG - leichte Beschädigungen oder Verschmutzungen, ungelesenes Mängelexemplar, gestempelt, Versand Büchersendung - Der Gesetzgeber hat die vergaberechtlichen Vorschriften des GWB im Jahr 2016 aufgrund der neuen europäischen Vergaberichtlinien umfassend überarbeitet. Der R…egelungsumfang hat hierbei erheblich zugenommen, insbesondere hat das GWB grundlegende Vorschriften der Vergabeverordnungen und Vergabeordnungen übernommen. Das GWB hat in der täglichen Vergabepraxis daher deutlich an Bedeutung gewonnen.Das GWB beinhaltet insbesondere folgende Neuregelungen: - Öffentlich-öffentliche Zusammenarbeit - Vergabe von Konzessionen - Vergabe von Personenverkehrsleistungen im Eisenbahnverkehr - Sonderregime der sozialen und anderen besonderen Dienstleistungen - Innovationspartnerschaft - Leistungsbeschreibung - Ausschlussgründe mangels Eignung der Unternehmen - Selbstreinigung und Ausschlusszeiträume - Auftragsänderungen während der Vertragslaufzeit Der Kommentar zum GWB-Vergaberecht berücksichtigt die Neuerungen der Vergaberechtsreform 2016 sowie die aktuelle Rechtsprechung und erläutert die Vergabevorschriften prägnant, praxisgerecht und wissenschaftlich fundiert. Ergänzt wird das Werk durch die Gesetzesbegründung des Bundestages (BT-Drs. 18/6281). Sie erhalten hierdurch ein wertvolles Hilfsmittel für die tägliche Vergabepraxis.
GWB - Kommentar -Language: german
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
- Hardcover
Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Wie neu
EUR 209,65
EUR 2,26 VersandVersand innerhalb von USAAnzahl: 3 verfügbar
Zustand: As New. Unread book in perfect condition.
GWB - Kommentar -Language: german
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
- Hardcover
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Wie neu
EUR 208,24
EUR 17,51 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 3 verfügbar
Zustand: As New. Unread book in perfect condition.
GWB - Kommentar -Language: german
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
- Hardcover
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 226,80
EUR 17,51 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 3 verfügbar
Zustand: New.
GWB - Kommentar -Language: german
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
- Hardcover
Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 247,59
EUR 2,26 VersandVersand innerhalb von USAAnzahl: 3 verfügbar
Zustand: New.
GWB
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
- Hardcover
Anbieter: Majestic Books, Hounslow, Vereinigtes KönigreichMajestic Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Neu
EUR 248,75
EUR 7,59 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
Zustand: New.
GWB
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
- Hardcover
Anbieter: Books Puddle, New York, NY, USABooks Puddle
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Neu
EUR 261,80
EUR 3,41 VersandVersand innerhalb von USAAnzahl: 1 verfügbar
Zustand: New.
Sprache: Englisch
Verlag: Cambridge University Press, 2008
Serie: Buch 29 von 40 - Cambridge Tracts in Theoretical Computer Science
- Softcover
- Print-on-Demand
Anbieter: Majestic Books, Hounslow, Vereinigtes KönigreichMajestic Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Neu
EUR 107,09
EUR 7,59 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 4 verfügbar
Zustand: New. Print on Demand pp. 436 2:B&W 6 x 9 in or 229 x 152 mm Perfect Bound on Creme w/Gloss Lam.
Sprache: Englisch
Verlag: Cambridge University Press, 2008
Serie: Buch 29 von 40 - Cambridge Tracts in Theoretical Computer Science
- Softcover
- Print-on-Demand
Anbieter: Biblios, frankfurt am main, HESSE, DeutschlandBiblios
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Neu
EUR 110,56
EUR 9,95 VersandVersand von Deutschland nach USAAnzahl: 4 verfügbar
Zustand: New. PRINT ON DEMAND pp. 436.
Sprache: Englisch
Verlag: Cambridge University Press, 2008
Serie: Buch 29 von 40 - Cambridge Tracts in Theoretical Computer Science
- Softcover
- Print-on-Demand
Anbieter: moluna, Greven, Deutschlandmoluna
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 78,72
EUR 48,99 VersandVersand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Graduate text in formal methods in computer science.InhaltsverzeichnisPart I. Theory: 1. Introduction to data refinement 2. Simulation as a proof method for data refinement 3. Relations and recursion 4. Properties of si…mulation 5.
