Zustand: Neuf. Lavoine, Samuel; Leroy, Cyril; Mansion, Dominique; Meiffret, Laurence; Seignobos, Fabien (illustrator).
Sprache: Englisch
Verlag: Springer International Publishing AG, 2016
ISBN 10: 3319409697 ISBN 13: 9783319409696
Anbieter: Kennys Bookstore, Olney, MD, USA
Zustand: New. . 2016. 1st ed. 2016. Paperback. . . . . Books ship from the US and Ireland.
Sprache: Englisch
Verlag: Springer International Publishing, Springer International Publishing Jun 2016, 2016
ISBN 10: 3319409697 ISBN 13: 9783319409696
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the 19th International Conference on Theory and Applications of Satisfiability Testing, SAT 2016, held in Bordeaux, France, in July 2016.The 31 regular papers, 5 tool papers presented together with 3 invited talks were carefully reviewed and selected from 70 submissions. The papers address different aspects of SAT, including complexity, satisfiability solving, satisfiability applications, satisfiability modulop theory, beyond SAT, quantified Boolean formula, and dependency QBF.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 588 pp. Englisch.
Sprache: Englisch
Verlag: Springer International Publishing, Springer International Publishing, 2016
ISBN 10: 3319409697 ISBN 13: 9783319409696
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 19th International Conference on Theory and Applications of Satisfiability Testing, SAT 2016, held in Bordeaux, France, in July 2016.The 31 regular papers, 5 tool papers presented together with 3 invited talks were carefully reviewed and selected from 70 submissions. The papers addressdifferent aspects ofSAT, includingcomplexity, satisfiability solving, satisfiability applications, satisfiability modulop theory, beyond SAT, quantified Boolean formula, and dependency QBF.
Sprache: Englisch
Verlag: Springer-Verlag New York Inc, 2016
ISBN 10: 3319409697 ISBN 13: 9783319409696
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 82,72
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 588 pages. 9.25x6.10x1.33 inches. In Stock.
Sprache: Französisch
Verlag: Paris, C. Klincksieck, 1964
Anbieter: Schürmann und Kiewning GbR, Naumburg, Deutschland
4° , kart. Zustand: Gut. 104 Seiten 104 S., Tf. (32 Bl.) Vereinzelt Randnotizen mit Bleistift; guter Zustand Sprache: Französisch Gewicht in Gramm: 687.
Sprache: Deutsch
Verlag: Paris, Klincksieck,, 1964
Anbieter: Matthaeus Truppe Antiquariat, Graz, Österreich
Erstausgabe
4°. OKart. (kl. Gebrssprn.). (Troisieme partie). 4 Bll., S. 68 - 104. 2 Bll. Zahlr. Abb. und Pläne auf Tafeln. (= Delegation archeologique francaise en Afghanistan). - Erste Ausgabe. - Papierbedingt kaum gebräunt. *** *** Copyright: Matthaeus TRUPPE Buchhandlung & Antiquariat - Stubenberggasse 7 - A-8010 Graz - ++43 (0)316 - 829552 *** *** Sprache: Deutsch Gewicht in Gramm: 300.
Verlag: Klincksieck,Paris, 1964
Anbieter: Fabri Antiquariat Dr. Jürgen Aschoff, Ulm, BW, Deutschland
Monuments préislamiques d'Afghanistan. Paris 1964 (Mémoires de la Délégation Archéologique Française en Afghanistan, t. XIX). Illustr. in the text, and 19 tab. with full size illustrs. Original HC, no DJ. Clean, vg. text 119 S.
Verlag: Klincksieck, Paris, 1964
Anbieter: Michael Fehlauer - Antiquariat, Muenster, Deutschland
Lexikon 8°. (Mémoires de la Délégation Archéologique Francaise en Afghanistan. 19.). 104S., 19 fig., XLV planches; Baune OKt mit Rücken- u. Deckelitel, Fadenh.; 711 gr. Sprache: Französisch, Ein gutes Exemplar.