Engelhardt kai (25 risultati)
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
Lingua: Tedesco
Editore: Schattauer, 2006
Serie: medizinHuman, Libro 8 di 17. Libro 8 di 17 - medizinHuman
- Rilegato
Da: medimops, Berlin, Germaniamedimops
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Buono
EUR 5,12
EUR 10,00 spedizioneSpedito da Germania a U.S.A.Quantità: 5 disponibili
Condizione: 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
Lingua: Tedesco
Editore: Schattauer, 2006
Serie: medizinHuman, Libro 8 di 17. Libro 8 di 17 - medizinHuman
- Rilegato
Da: medimops, Berlin, Germaniamedimops
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Molto buono
EUR 5,31
EUR 10,00 spedizioneSpedito da Germania a U.S.A.Quantità: 14 disponibili
Condizione: 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.
Lingua: Inglese
Editore: Cambridge University Press, 2008
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 29 di 40. Libro 29 di 40 - Cambridge Tracts in Theoretical Computer Science
- Brossura
Da: California Books, Miami, FL, U.S.A.California Books
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 77,43
Spedizione gratuitaSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
Lingua: Inglese
Editore: Cambridge University Press, 2008
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 29 di 40. Libro 29 di 40 - Cambridge Tracts in Theoretical Computer Science
- Brossura
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 75,87
EUR 13,98 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. In.
Lingua: Inglese
Editore: Cambridge University Press CUP, 2008
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 29 di 40. Libro 29 di 40 - Cambridge Tracts in Theoretical Computer Science
- Brossura
Da: Books Puddle, New York, NY, U.S.A.Books Puddle
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 105,15
EUR 3,49 spedizioneSpedito in U.S.A.Quantità: 4 disponibili
Condizione: New. pp. 436.
Lingua: Inglese
Editore: Cambridge University Press, 1999
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 29 di 40. Libro 29 di 40 - Cambridge Tracts in Theoretical Computer Science
- Rilegato
Da: BennettBooksLtd, Los Angeles, CA, U.S.A.BennettBooksLtd
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 133,06
EUR 6,08 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
hardcover. Condizione: 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
Lingua: Inglese
Editore: Cambridge University Press, 1999
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 29 di 40. Libro 29 di 40 - Cambridge Tracts in Theoretical Computer Science
- Rilegato
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 166,89
EUR 2,31 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
Lingua: Inglese
Editore: Cambridge University Press, 1999
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 29 di 40. Libro 29 di 40 - Cambridge Tracts in Theoretical Computer Science
- Rilegato
Da: California Books, Miami, FL, U.S.A.California Books
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 169,27
Spedizione gratuitaSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
Lingua: Inglese
Editore: Cambridge University Press, 2008
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 29 di 40. Libro 29 di 40 - Cambridge Tracts in Theoretical Computer Science
- Brossura
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 101,66
EUR 63,52 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Taschenbuch. Condizione: 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.
Data Refinement : Model-Oriented Proof Methods and Their Comparison
Roever, W. P. De; Engelhardt, Kai; Buth, K. H.; De Roever, Willem-Paul
Lingua: Inglese
Editore: Cambridge University Press, 1999
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 29 di 40. Libro 29 di 40 - Cambridge Tracts in Theoretical Computer Science
- Rilegato
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 168,17
EUR 2,31 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: As New. Unread book in perfect condition.
Lingua: Inglese
Editore: Cambridge University Press, 1999
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 29 di 40. Libro 29 di 40 - Cambridge Tracts in Theoretical Computer Science
- Rilegato
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 159,59
EUR 13,98 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. In.
Data Refinement : Model-Oriented Proof Methods and Their Comparison
Roever, W. P. De; Engelhardt, Kai; Buth, K. H.; De Roever, Willem-Paul
Lingua: Inglese
Editore: Cambridge University Press, 1999
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 29 di 40. Libro 29 di 40 - Cambridge Tracts in Theoretical Computer Science
- Rilegato
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 159,58
EUR 17,51 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
Data Refinement : Model-Oriented Proof Methods and Their Comparison
Roever, W. P. De; Engelhardt, Kai; Buth, K. H.; De Roever, Willem-Paul
Lingua: Inglese
Editore: Cambridge University Press, 1999
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 29 di 40. Libro 29 di 40 - Cambridge Tracts in Theoretical Computer Science
- Rilegato
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 176,98
EUR 17,51 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: As New. Unread book in perfect condition.
- Rilegato
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Ottimo
EUR 117,45
EUR 68,39 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Gebundene Ausgabe. Condizione: 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. De…r 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
- Rilegato
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 209,84
EUR 2,31 spedizioneSpedito in U.S.A.Quantità: 3 disponibili
Condizione: 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
- Rilegato
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 206,31
EUR 17,51 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 3 disponibili
Condizione: 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
- Rilegato
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 226,82
EUR 17,51 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 3 disponibili
Condizione: 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
- Rilegato
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 247,60
EUR 2,31 spedizioneSpedito in U.S.A.Quantità: 3 disponibili
Condizione: 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
- Rilegato
Da: Majestic Books, Hounslow, Regno UnitoMajestic Books
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 254,09
EUR 7,59 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Condizione: 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
- Rilegato
Da: Books Puddle, New York, NY, U.S.A.Books Puddle
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 267,42
EUR 3,49 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
Condizione: New.
Lingua: Inglese
Editore: Cambridge University Press, 2008
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 29 di 40. Libro 29 di 40 - Cambridge Tracts in Theoretical Computer Science
- Brossura
- Print on Demand
Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 75,71
EUR 14,59 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Paperback. Condizione: Brand New. 1st edition. 435 pages. 8.90x5.98x1.18 inches. In Stock. This item is printed on demand.
Lingua: Inglese
Editore: Cambridge University Press, 2008
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 29 di 40. Libro 29 di 40 - Cambridge Tracts in Theoretical Computer Science
- Brossura
- Print on Demand
Da: Majestic Books, Hounslow, Regno UnitoMajestic Books
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 106,66
EUR 7,59 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 4 disponibili
Condizione: 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.
Lingua: Inglese
Editore: Cambridge University Press, 2008
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 29 di 40. Libro 29 di 40 - Cambridge Tracts in Theoretical Computer Science
- Brossura
- Print on Demand
Da: Biblios, frankfurt am main, HESSE, GermaniaBiblios
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 106,70
EUR 9,95 spedizioneSpedito da Germania a U.S.A.Quantità: 4 disponibili
Condizione: New. PRINT ON DEMAND pp. 436.
Lingua: Inglese
Editore: Cambridge University Press, 2008
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 29 di 40. Libro 29 di 40 - Cambridge Tracts in Theoretical Computer Science
- Brossura
- Print on Demand
Da: moluna, Greven, Germaniamoluna
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 78,72
EUR 48,99 spedizioneSpedito da Germania a U.S.A.Quantità: Più di 20 disponibili
Condizione: 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.
Data Refinement: Model-Oriented Proof Methods and Their Comparison
Roever, W. P. De/ Engelhardt, Kai/ Buth, K. H./ De Roever, Willem-Paul
Lingua: Inglese
Editore: Cambridge Univ Pr, 1998
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 29 di 40. Libro 29 di 40 - Cambridge Tracts in Theoretical Computer Science
- Rilegato
- Print on Demand
Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 174,58
EUR 14,59 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Hardcover. Condizione: Brand New. 423 pages. 9.50x6.50x1.25 inches. In Stock. This item is printed on demand.
