Verlag: Moehring Military Memoirs Publis, 2024
Anbieter: Books From California, Simi Valley, CA, USA
paperback. Zustand: Very Good.
Sprache: Englisch
Verlag: Johns Hopkins University Press, 2008
ISBN 10: 0801889928 ISBN 13: 9780801889929
Anbieter: MB Books, Derbyshire, Vereinigtes Königreich
EUR 9,51
Anzahl: 1 verfügbar
In den WarenkorbSoft cover. Zustand: Good. No Jacket. 109pp. Ex-academic library with associated labels and markings. Soft cover, no jacket. Covered in protective library laminate. No highlighting or annotations to text.
EUR 27,25
Anzahl: 1 verfügbar
In den Warenkorbpaperback. Zustand: Used; Good. Dispatched, from the UK, within 48 hours of ordering. This book is in good condition but will show signs of previous ownership. Please expect some creasing to the spine and/or minor damage to the cover.
Sprache: Deutsch
Verlag: Warner Bros (Universal Pictures)
Anbieter: butzle, Buttenwiesen, DE, Deutschland
dvd. Zustand: Gut. Seiten; B2509-22 Sprache: Deutsch Gewicht in Gramm: 500.
Sprache: Deutsch
Verlag: Warner Bros (Universal Pictures)
Anbieter: butzle, Buttenwiesen, DE, Deutschland
dvd. Zustand: Gut. Seiten; B2487 Sprache: Deutsch Gewicht in Gramm: 500.
DVD. Zustand: Gut. B3936-256 5051890011350 Altersfreigabe FSK ab 6 Jahre Sprache: Deutsch Gewicht in Gramm: 110.
Zustand: Sehr gut. B1100-169 5051890011350 Sprache: Deutsch Gewicht in Gramm: 500 DVD, Maße: 13.7 cm x 1.5 cm x 19.1 cm.
DVD. Zustand: Sehr gut. B3495-31 5051890011350 Sprache: Deutsch Gewicht in Gramm: 140.
Sprache: Englisch
Verlag: Johns Hopkins University Press, 2008
ISBN 10: 0801889928 ISBN 13: 9780801889929
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
EUR 42,47
Anzahl: 1 verfügbar
In den WarenkorbZustand: New. pp. 160.
Zustand: Gut. B3488-3 5051890011350 Sprache: Deutsch Gewicht in Gramm: 68 DVD, Maße: 13.7 cm x 1.5 cm x 19.1 cm.
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 41,31
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 113 pages. 8.25x5.25x0.25 inches. In Stock.
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 53,91
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 113 pages. 8.50x5.50x0.50 inches. In Stock.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 59,97
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, 2013
ISBN 10: 364239633X ISBN 13: 9783642396335
Anbieter: moluna, Greven, Deutschland
EUR 48,37
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, 2013
ISBN 10: 364239633X ISBN 13: 9783642396335
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 4th International Conference on Interactive Theorem Proving, ITP 2013, held in Rennes, France, in July 2013.The 26 regular full papers presented together with 7 rough diamond papers, 3 invited talks, and 2 invited tutorials were carefully reviewed and selected from 66 submissions. The papers are organized in topical sections such as program verfication, security, formalization of mathematics and theorem prover development.
Anbieter: preigu, Osnabrück, Deutschland
Taschenbuch. Zustand: Neu. Interactive Theorem Proving | 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings | Sandrine Blazy (u. a.) | Taschenbuch | xii | Englisch | 2013 | Springer | EAN 9783642396335 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Verlag: Warum, ohne Ort, 2012
Anbieter: Antiquariat Mackensen & Niemann, Berlin, Deutschland
Erstausgabe
Erstausgabe, Graphic Novel, zweisprachig, nicht paginiert, sehr gutes Exemplar, illustrierte Original-Broschur,
Anbieter: Buchpark, Trebbin, Deutschland
Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 512 | Sprache: Englisch | Produktart: Bücher | This book constitutes the refereed proceedings of the 4th International Conference on Interactive Theorem Proving, ITP 2013, held in Rennes, France, in July 2013. The 26 regular full papers presented together with 7 rough diamond papers, 3 invited talks, and 2 invited tutorials were carefully reviewed and selected from 66 submissions. The papers are organized in topical sections such as program verfication, security, formalization of mathematics and theorem prover development.
EUR 209,33
Anzahl: 1 verfügbar
In den WarenkorbZustand: New.
dvd. Zustand: Sehr gut. Gebraucht, DVD in sehr gutem Zustand DVD16 ISBN: 5051890011350 Altersfreigabe FSK ab 6 Jahre Sprache: Deutsch Gewicht in Gramm: 100.
Sprache: Deutsch
Verlag: Warner Bros (Universal Pictures) 03.2010., 2010
Anbieter: Antiquariat Jochen Mohr -Books and Mohr-, Oberthal, Deutschland
dvd. Zustand: Sehr gut. Altersfreigabe FSK ab 6 Jahre Wir verkaufen nur, was wir auch selbst lesen würden. Sprache: Deutsch Gewicht in Gramm: 67.
Sprache: Deutsch
Verlag: Warner Bros (Universal Pictures) 03.2010., 2010
Anbieter: Antiquariat Jochen Mohr -Books and Mohr-, Oberthal, Deutschland
dvd. Zustand: Sehr gut. Altersfreigabe FSK ab 6 Jahre Wir verkaufen nur, was wir auch selbst lesen würden. Sprache: Deutsch Gewicht in Gramm: 67.
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 123,20
Anzahl: 2 verfügbar
In den WarenkorbHardcover. Zustand: Brand New. 906 pages. German language. 11.30x8.78x1.69 inches. In Stock.