Engelhardt kai (23 resultados)
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
- Tapa dura
Librería: medimops, Berlin, Alemaniamedimops
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Bueno
EUR 5,36
Envío por EUR 20,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 13 disponibles
Condición: 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.
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
- Tapa dura
Librería: medimops, Berlin, Alemaniamedimops
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Aceptable
EUR 5,17
Envío por EUR 20,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 4 disponibles
Condición: 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.
Idioma: Inglés
Editorial: Cambridge University Press, 2008
Serie: Libro 29 de 40 - Cambridge Tracts in Theoretical Computer Science
- Tapa blanda
Librería: California Books, Miami, FL, Estados Unidos de AmericaCalifornia Books
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 75,79
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
Idioma: Inglés
Editorial: Cambridge University Press, 2008
Serie: Libro 29 de 40 - Cambridge Tracts in Theoretical Computer Science
- Tapa blanda
Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 75,86
Envío por EUR 13,98Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. In.
Idioma: Inglés
Editorial: Cambridge University Press CUP, 2008
Serie: Libro 29 de 40 - Cambridge Tracts in Theoretical Computer Science
- Tapa blanda
Librería: Books Puddle, New York, NY, Estados Unidos de AmericaBooks Puddle
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 106,60
Envío por EUR 3,41Se envía dentro de Estados Unidos de AmericaCantidad disponible: 4 disponibles
Condición: New. pp. 436.
Idioma: Inglés
Editorial: Cambridge University Press, 1999
Serie: Libro 29 de 40 - Cambridge Tracts in Theoretical Computer Science
- Tapa dura
Librería: BennettBooksLtd, Los Angeles, CA, Estados Unidos de AmericaBennettBooksLtd
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 130,23
Envío por EUR 5,95Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
hardcover. Condición: 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
Idioma: Inglés
Editorial: Cambridge University Press, 1999
Serie: Libro 29 de 40 - Cambridge Tracts in Theoretical Computer Science
- Tapa dura
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 163,34
Envío por EUR 2,26Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
Idioma: Inglés
Editorial: Cambridge University Press, 1999
Serie: Libro 29 de 40 - Cambridge Tracts in Theoretical Computer Science
- Tapa dura
Librería: California Books, Miami, FL, Estados Unidos de AmericaCalifornia Books
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 165,67
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
Data Refinement : Model-Oriented Proof Methods and Their Comparison
Roever, W. P. De; Engelhardt, Kai; Buth, K. H.; De Roever, Willem-Paul
Idioma: Inglés
Editorial: Cambridge University Press, 1999
Serie: Libro 29 de 40 - Cambridge Tracts in Theoretical Computer Science
- Tapa dura
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 164,87
Envío por EUR 2,26Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: As New. Unread book in perfect condition.
Idioma: Inglés
Editorial: Cambridge University Press, 2008
Serie: Libro 29 de 40 - Cambridge Tracts in Theoretical Computer Science
- Tapa blanda
Librería: AHA-BUCH GmbH, Einbeck, AlemaniaAHA-BUCH GmbH
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 101,66
Envío por EUR 63,52Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Taschenbuch. Condición: 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.
Idioma: Inglés
Editorial: Cambridge University Press, 1999
Serie: Libro 29 de 40 - Cambridge Tracts in Theoretical Computer Science
- Tapa dura
Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 166,97
Envío por EUR 13,98Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. In.
Data Refinement : Model-Oriented Proof Methods and Their Comparison
Roever, W. P. De; Engelhardt, Kai; Buth, K. H.; De Roever, Willem-Paul
Idioma: Inglés
Editorial: Cambridge University Press, 1999
Serie: Libro 29 de 40 - Cambridge Tracts in Theoretical Computer Science
- Tapa dura
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 166,96
Envío por EUR 17,51Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
Data Refinement : Model-Oriented Proof Methods and Their Comparison
Roever, W. P. De; Engelhardt, Kai; Buth, K. H.; De Roever, Willem-Paul
Idioma: Inglés
Editorial: Cambridge University Press, 1999
Serie: Libro 29 de 40 - Cambridge Tracts in Theoretical Computer Science
- Tapa dura
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 173,21
Envío por EUR 17,51Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: As New. Unread book in perfect condition.
- Tapa dura
Librería: AHA-BUCH GmbH, Einbeck, AlemaniaAHA-BUCH GmbH
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Excelente
EUR 111,79
Envío por EUR 68,39Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Gebundene Ausgabe. Condición: 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… Regelungsumfang 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
- Tapa dura
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 209,79
Envío por EUR 2,26Se envía dentro de Estados Unidos de AmericaCantidad disponible: 3 disponibles
Condición: 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
- Tapa dura
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 207,96
Envío por EUR 17,51Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 3 disponibles
Condición: 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
- Tapa dura
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 226,81
Envío por EUR 17,51Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 3 disponibles
Condición: 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
- Tapa dura
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 245,25
Envío por EUR 2,26Se envía dentro de Estados Unidos de AmericaCantidad disponible: 3 disponibles
Condición: 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
- Tapa dura
Librería: Majestic Books, Hounslow, Reino UnidoMajestic Books
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 248,69
Envío por EUR 7,59Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: 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
- Tapa dura
Librería: Books Puddle, New York, NY, Estados Unidos de AmericaBooks Puddle
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 261,74
Envío por EUR 3,41Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: New.
Idioma: Inglés
Editorial: Cambridge University Press, 2008
Serie: Libro 29 de 40 - Cambridge Tracts in Theoretical Computer Science
- Tapa blanda
- Impresión bajo demanda
Librería: Majestic Books, Hounslow, Reino UnidoMajestic Books
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 107,06
Envío por EUR 7,59Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 4 disponibles
Condición: 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.
Idioma: Inglés
Editorial: Cambridge University Press, 2008
Serie: Libro 29 de 40 - Cambridge Tracts in Theoretical Computer Science
- Tapa blanda
- Impresión bajo demanda
Librería: Biblios, frankfurt am main, HESSE, AlemaniaBiblios
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 110,56
Envío por EUR 9,95Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 4 disponibles
Condición: New. PRINT ON DEMAND pp. 436.
Idioma: Inglés
Editorial: Cambridge University Press, 2008
Serie: Libro 29 de 40 - Cambridge Tracts in Theoretical Computer Science
- Tapa blanda
- Impresión bajo demanda
Librería: moluna, Greven, Alemaniamoluna
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 78,72
Envío por EUR 48,99Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: 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…simulation 5.
