Gesamtpreis (1 Artikel Artikel):
Versandziel:
peter h schmitt (45 Ergebnisse)
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (45)
- Magazine & Zeitschriften (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Comics (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Noten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Kunst, Grafik & Poster (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Fotografien (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Karten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Manuskripte & Papierantiquitäten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Zustand Mehr dazu
Weitere Eigenschaften
- Erstausgabe (2)
- Signiert (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Schutzumschlag (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Angebotsfoto (14)
Sprache (3)
Gratisversand
Land des Verkäufers
Verkäuferbewertung
-
Soft cover. Zustand: Very Good. book, cover and text all in very good condition, binding tight nd square, spine not creased. light small crease on front and back bottom corner, text clean and unmarked, givers dedication on copy right page.
-
Understanding Electricity and Electronics
Sprache: Englisch
Verlag: McGraw-Hill Companies, The, 1982
ISBN 10: 0070086788 ISBN 13: 9780070086784
Anbieter: Better World Books: West, Reno, NV, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: Very Good. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
-
Trauma Biomechanics: Introduction to Accidental Injury
Anbieter: ThriftBooks-Dallas, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: As New. No Jacket. Pages are clean and are not marred by notes or folds of any kind. ~ ThriftBooks: Read More, Spend Less.
-
Zustand: acceptable. Ausreichend/Acceptable: Exemplar mit vollständigem Text und sämtlichen Abbildungen oder Karten. Schmutztitel oder Vorsatz können fehlen. Einband bzw. Schutzumschlag weisen unter Umständen starke Gebrauchsspuren auf. / Describes a book or dust jacket that has the complete text pages (including those with maps or plates) but may lack endpapers, half-title, etc. (which must be noted). Binding, dust jacket (if any), etc may also be worn.
-
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.
-
The Class Reunion
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 19,75
EUR 14,66 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 152 pages. 9.00x6.00x0.35 inches. In Stock.
-
Zeiten der Liebe: Ein Ehe- und Partnerschaftsbuch
Anbieter: Antiquariat Armebooks, Frankfurt am Main, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Gebundene Ausgabe. Zustand: Sehr gut. 336 Seiten KÃ sel - 6. Auf. 1996 - gb + Su J5-CZZ6-LLIC Sprache: Deutsch Gewicht in Gramm: 830.
-
Verification of Object-Oriented Software. The KeY Approach: Foreword by K. Rustan M. Leino (Lecture Notes in Computer Science, 4334).
Anbieter: Universitätsbuchhandlung Herta Hold GmbH, Berlin, Deutschland
Verbandsmitglied: GIAQ ILAB VDA
Verkäuferbewertung 4 von 5 Sternen
2007th ed. 15 x 23 cm. 687 pages. Paperback. Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. Sprache: Englisch.
-
Trauma Biomechanics: Accidental injury in traffic and sports
Anbieter: ThriftBooks-Dallas, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.
-
Nonmonotonic and Inductive Logic: Second International Workshop, Reinhardsbrunn Castle, Germany, December 2-6, 1991. Proceedings (Lecture Notes in Computer Science, 659)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 61,35
EUR 14,05 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Nonmonotonic and Inductive Logic: 1st International Workshop, Karlsruhe, Germany, December 4-7, 1990. Proceedings (Lecture Notes in Computer Science, 543)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 61,35
EUR 14,05 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
EUR 23,81
EUR 48,99 Versand
Versand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Denn sie werden getröstet werden: Das Hausbuch zu Leid und Trauer, Sterben und Tod
Anbieter: Gerald Wollermann, Bad Vilbel, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Gebundene Ausgabe. Zustand: Gut. Besitzerstempel innen. Innerhalb Deutschlands Versand je nach Größe/Gewicht als Großbrief bzw. Bücher- und Warensendung mit der Post oder per DHL. Rechnung mit MwSt.-Ausweis liegt jeder Lieferung bei. Sprache: Deutsch Gewicht in Gramm: 798.
-
der Aufschluss - Jahrgang 69 Ausgabe 1-6 2018 (aus dem Inhalt u.a.: Selenid-Mineralisation , Epsomit , Epidot in Eisenkiesel , Korallenfauna , Kreide Park Uberaba , Urucum , Riesendiamanten , Trés Ilhotas , Corumbá , Der Harz , Kreidetransgression zwischen Elbtalzone und Erzgebirge , Blauquarz , Dawsonit & Britholith , Mineralienfunde der Ost- und Westeifel , An der Schanz , Bernsteinklumpen , Kozákov und Levin , Fundstellen in Sachsen , Brekzie , Zwischen Weichsel- Kalt- und Eisenzeit , Pergatit , Shatter-Cone-Bildung
Verlag: VFMG e.V. / Heidelberg, 2018
Anbieter: Akademische Buchhandlung Antiquariat, Freiberg, Deutschland
Verbandsmitglied: BOEV
Verkäuferbewertung 5 von 5 Sternen
Erstausgabe
Softcover. Zustand: Wie neu. 1. Auflage. 380 S., 6 Hefte , neuwertig.
-
Sacred Companies: Organizational Aspects of Religion and Religious Aspects of Organizations (Religion in America)
Anbieter: Labyrinth Books, Princeton, NJ, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: Good.
-
Trauma Biomechanics: An Introduction to Injury Biomechanics
Anbieter: Books From California, Simi Valley, CA, USA
Verkäuferbewertung 4 von 5 Sternen
hardcover. Zustand: Fine.
-
Trauma Biomechanics: An Introduction to Injury Biomechanics
Anbieter: Books From California, Simi Valley, CA, USA
Verkäuferbewertung 4 von 5 Sternen
hardcover. Zustand: Very Good. Cover and edges may have some wear.
-
Nonmonotonic and Inductive Logic : 1st International Workshop, Karlsruhe, Germany, December 4-7, 1990. Proceedings
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This proceedings volume contains revised and reviewed papersbased on talks presented at the first International Workshopon Nonmonotonic and Inductive Logic held in Karlsruhe,December 1990. The workshop was supported by theVolkswagen-Stiftung, Hannover, and provided a forum forresearchers from the two fields to communicate and findareas of cooperation. The papersare organized into sectionson:- Nonmonotonicity in logic programs- Axiomatic approach to nonmonotonic reasoning- Inductive inference- Autoepistemic logic- Belief updatesThe bulk of the papers are devoted to nonmonotonic logic andprovide an up-to-date view of the current state of researchpresented by leading experts in the field. A novelty in thecontributions from the area of inductive logic is theanalysis of nonmonotonicity in the theory of inductivelearning.
-
Nonmonotonic and Inductive Logic : Second International Workshop, Reinhardsbrunn Castle, Germany, December 2-6, 1991. Proceedings
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, 1993
ISBN 10: 3540564330 ISBN 13: 9783540564331
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This proceedings volume contains a selection of revised andextended papers presented at the Second InternationalWorkshop on Nonmonotonic and InductiveLogic, NIL '91, whichtook place at Reinhardsbrunn Castle, December 2-6, 1991.The volume opens with an extended version of a tutorial onnonmonotonic logic by G. Brewka, J. Dix, and K. Konolige.Fifteen selected papers follow, on a variety of topics. Themajority of papers belong either to the area of nonmonotonicreasoning or to the field of inductive inference, butsome papers integrate research from both areas.The first workshop in this series was held at the Universityof Karlsruhe in December 1990 and its proceedings werepublished as Lecture Notes in Artificial Intelligence Volume543. The series of workshops was made possible by financialsupport from Volkswagen Stiftung, Hannover. This workshopwas also supported by IBM Deutschland GmbH and Siemens AG.
-
Trauma Biomechanics: Accidental injury in traffic and sports
Anbieter: LiLi - La Liberté des Livres, CANEJAN, Frankreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: fine. l'article peut presenter de tres legers signes d'usure, petites rayures ou imperfections esthetiques. vendeur professionnel; envoi soigne en 24/48h.
-
Verification of Object-Oriented Software. The KeY Approach: Foreword by K. Rustan M. Leino (Lecture Notes in Computer Science, 4334)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 117,02
EUR 14,05 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Trauma Biomechanics: An Introduction to Injury Biomechanics
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 117,02
EUR 14,05 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Deductive Software Verification - The KeY Book: From Theory to Practice (Programming and Software Engineering)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 129,38
EUR 14,05 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 260 | Sprache: Englisch | Produktart: Bücher | This proceedings volume contains revised and reviewed papersbased on talks presented at the first International Workshopon Nonmonotonic and Inductive Logic held in Karlsruhe,December 1990. The workshop was supported by theVolkswagen-Stiftung, Hannover, and provided a forum forresearchers from the two fields to communicate and findareas of cooperation. The papersare organized into sectionson:- Nonmonotonicity in logic programs- Axiomatic approach to nonmonotonic reasoning- Inductive inference- Autoepistemic logic- Belief updatesThe bulk of the papers are devoted to nonmonotonic logic andprovide an up-to-date view of the current state of researchpresented by leading experts in the field. A novelty in thecontributions from the area of inductive logic is theanalysis of nonmonotonicity in the theory of inductivelearning.
-
Die heilige Konstantia, eine Kaisertochter und Ordensstifterin. Zugleich Zeitgemälde des 4. Jahrhunderts
Sprache: Deutsch
Verlag: Junfermannsche Buchhandlung, Paderborn,, 1903
Anbieter: Clerc Fremin, Steingaden, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Hardcover Leinen. 112 Seiten Zustand: keine Beschädigungen, keine Eintragungen. Rücken, Ecken, Kanten gut. Sprache: Deutsch Gewicht in Gramm: 200.
-
Taschenbuch. Zustand: Neu. Verification of Object-Oriented Software. The KeY Approach | Foreword by K. Rustan M. Leino | Bernhard Beckert (u. a.) | Taschenbuch | xxix | Englisch | 2007 | Springer | EAN 9783540689775 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Verification of Object-Oriented Software. The KeY Approach : Foreword by K. Rustan M. Leino
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Long gone are the days when program veri cation was a task carried out merely by hand with paper and pen. For one, we are increasingly interested in proving actual program artifacts, not just abstractions thereof or core algorithms. The programs we want to verify today are thus longer, including whole classes and modules. As we consider larger programs, the number of cases to be considered in a proof increases. The creative and insightful parts of a proof can easily be lost in scores of mundane cases. Another problem with paper-and-pen proofs is that the features of the programming languages we employ in these programs are plentiful, including object-oriented organizations of data, facilities for specifying di erent c- trol ow for rare situations, constructs for iterating over the elements of a collection, and the grouping together of operations into atomic transactions. These language features were designed to facilitate simpler and more natural encodings of programs, and ideally they are accompanied by simpler proof rules. But the variety and increased number of these features make it harder to remember all that needs to be proved about their uses. As a third problem, we have come to expect a higher degree of rigor from our proofs. A proof carried out or replayed by a machine somehow gets more credibility than one that requires human intellect to understand.
-
Verification of Object-oriented Software: The Key Approach
Sprache: Englisch
Verlag: Springer-Verlag New York Inc, 2007
ISBN 10: 354068977X ISBN 13: 9783540689775
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 161,49
EUR 17,59 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 1st edition. 658 pages. 9.00x6.00x1.00 inches. In Stock.
-
Taschenbuch. Zustand: Neu. Deductive Software Verification - The KeY Book | From Theory to Practice | Wolfgang Ahrendt (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xxxii | Englisch | 2016 | Springer | EAN 9783319498119 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Sacred Companies: Organizational Aspects of Religion and Religious Aspects of Organizations (Religion in America)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 183,12
EUR 14,05 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
