Idioma: Alemán
Publicado por Regensburg, Druck und Verlag Josef Habbel;, 1971
Librería: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Alemania
EUR 2,95
Cantidad disponible: 1 disponibles
Añadir al carritoHeft; Condición: Gut. 26. Jahrgang;. ca. 21 cm x 30 cm; 14 Seiten, dabei interessante Abbildungen; Stempel und Bleistiftvermerke des Vorbesitzers; Einbandseiten über die Jahre angeschmutzt und lichtrandig; Innenteil in gut erhaltenem Zustand. Neben dem vorgenannten Beitrag sind noch weitere Artikel anderer Autoren in dem Heft enthalten. Sprache: Deutsch Gewicht in Gramm: 150.
Publicado por Callwey, Germany, 1962
Librería: Bookworks, Chicago, IL, Estados Unidos de America
EUR 13,27
Cantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: Near Fine. Estado de la sobrecubierta: Near Fine. Text is in German. Short personalized inscription on front endpaper from Tina and Christopher Sattler. Small smudge on top of DJ spine; DJ slightly edgeworn. Slight stain to top edge of page block. Book remains tightly bound with unmarked contents.
Idioma: Alemán
Publicado por Freilassing : Pannonia, 1979
ISBN 10: 3789700800 ISBN 13: 9783789700804
Librería: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Alemania
EUR 6,45
Cantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Gut. 48 S. : 25 Ill. ; Das Buch ist in einem neuwertigen Zustand. Sprache: Deutsch Gewicht in Gramm: 100.
Idioma: Alemán
ISBN 10: 3946112226 ISBN 13: 9783946112228
Librería: medimops, Berlin, Alemania
EUR 4,19
Cantidad disponible: 1 disponibles
Añadir al carritoCondició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.
Idioma: Inglés
Publicado por Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2012
ISBN 10: 3642313647 ISBN 13: 9783642313646
Librería: Grand Eagle Retail, Bensenville, IL, Estados Unidos de America
EUR 57,32
Cantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: new. Paperback. This book constitutes the refereed proceedings of the 6th International Joint Conference on Automated Reasoning, IJCAR 2012, held in Manchester, UK, in June 2012. IJCAR 2012 is a merger of leading events in automated reasoning, namely CADE (International Conference on Automated Deduction), FroCoS (International Symposium on Frontiers of Combining Systems), FTP (International Workshop on First-Order Theorem Proving), and TABLEAUX (International Conference on Automated Reasoning with Analytic Tableaux and Related Methods). The 32 revised full research papers and 9 system descriptions presented together with 3 invited talks were carefully reviewed and selected from 116 submissions. The papers address all aspects of automated reasoning, including foundations, implementations, and applications. Constitutes the refereed proceedings of the 6th International Joint Conference on Automated Reasoning, IJCAR 2012, held in Manchester, UK, in June 2012. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 54,99
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: California Books, Miami, FL, Estados Unidos de America
EUR 60,34
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 61,58
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
Idioma: Inglés
Publicado por Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, DE, 2012
ISBN 10: 3642313647 ISBN 13: 9783642313646
Librería: Rarewaves.com USA, London, LONDO, Reino Unido
EUR 70,72
Cantidad disponible: Más de 20 disponibles
Añadir al carritoPaperback. Condición: New. 2012th.
Idioma: Inglés
Publicado por Berlin, Heidelberg: Springer, 2012
ISBN 10: 3642313647 ISBN 13: 9783642313646
Librería: Antiquariat Bernhardt, Kassel, Alemania
EUR 22,90
Cantidad disponible: 1 disponibles
Añadir al carritoBroschiert Broschiert. Condición: Sehr gut. XIV, 568 Seiten, Lecture Notes in Artificial Science, Band 7364. Zust: Gutes Exemplar. Mit Vorbesitzereintrag. Schneller Versand und persönlicher Service - jedes Buch händisch geprüft und beschrieben - aus unserem Familienbetrieb seit über 25 Jahren. Eine Rechnung mit ausgewiesener Mehrwertsteuer liegt jeder unserer Lieferungen bei. Wir versenden mit der deutschen Post. Sprache: Englisch Gewicht in Gramm: 988.
Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 60,13
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
EUR 60,12
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: BargainBookStores, Grand Rapids, MI, Estados Unidos de America
EUR 84,48
Cantidad disponible: 5 disponibles
Añadir al carritoPaperback or Softback. Condición: New. Automated Reasoning: 6th International Joint Conference, Ijcar 2012, Manchester, Uk, June 26-29, 2012, Proceedings. Book.
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
EUR 66,69
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
Librería: Revaluation Books, Exeter, Reino Unido
EUR 83,89
Cantidad disponible: 2 disponibles
Añadir al carritoPaperback. Condición: Brand New. 2012 edition. 582 pages. 9.00x6.00x1.40 inches. In Stock.
Idioma: Alemán
Publicado por München Callwey, 1962
Librería: Versandantiquariat Alraune, Dachau, Alemania
EUR 10,00
Cantidad disponible: 1 disponibles
Añadir al carritoO Gln., 8°, 809 (3) S. Gut erhalten. Sprache: de.
Publicado por Pannonia, Freilassing, 1979
ISBN 10: 3789700800 ISBN 13: 9783789700804
Librería: Versandantiquariat Rainer Kocherscheidt, Velbert, Alemania
Miembro de asociación: GIAQ
Original o primera edición
EUR 6,00
Cantidad disponible: 1 disponibles
Añadir al carritoKartoniert. Condición: Sehr gut. Erste Auflage. Kleine Pannonia-Reihe Bd. 80; 48 S.; mit SW-Fotos Size: 17 cm.
Idioma: Inglés
Publicado por Springer, Springer Spektrum, 2012
ISBN 10: 3642313647 ISBN 13: 9783642313646
Librería: AHA-BUCH GmbH, Einbeck, Alemania
EUR 53,49
Cantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 6th International Joint Conference on Automated Reasoning, IJCAR 2012, held in Manchester, UK, in June 2012. IJCAR 2012 is a merger of leading events in automated reasoning, namely CADE (International Conference on Automated Deduction), FroCoS (International Symposium on Frontiers of Combining Systems), FTP (International Workshop on First-Order Theorem Proving), and TABLEAUX (International Conference on Automated Reasoning with Analytic Tableaux and Related Methods). The 32 revised full research papers and 9 system descriptions presented together with 3 invited talks were carefully reviewed and selected from 116 submissions. The papers address all aspects of automated reasoning, including foundations, implementations, and applications.
Idioma: Inglés
Publicado por Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2012
ISBN 10: 3642313647 ISBN 13: 9783642313646
Librería: AussieBookSeller, Truganina, VIC, Australia
EUR 95,62
Cantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: new. Paperback. This book constitutes the refereed proceedings of the 6th International Joint Conference on Automated Reasoning, IJCAR 2012, held in Manchester, UK, in June 2012. IJCAR 2012 is a merger of leading events in automated reasoning, namely CADE (International Conference on Automated Deduction), FroCoS (International Symposium on Frontiers of Combining Systems), FTP (International Workshop on First-Order Theorem Proving), and TABLEAUX (International Conference on Automated Reasoning with Analytic Tableaux and Related Methods). The 32 revised full research papers and 9 system descriptions presented together with 3 invited talks were carefully reviewed and selected from 116 submissions. The papers address all aspects of automated reasoning, including foundations, implementations, and applications. Constitutes the refereed proceedings of the 6th International Joint Conference on Automated Reasoning, IJCAR 2012, held in Manchester, UK, in June 2012. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.
Librería: Rarewaves.com UK, London, Reino Unido
EUR 66,15
Cantidad disponible: Más de 20 disponibles
Añadir al carritoPaperback. Condición: New. 2012th.
Librería: PBShop.store US, Wood Dale, IL, Estados Unidos de America
EUR 14,51
Cantidad disponible: Más de 20 disponibles
Añadir al carritoPAP. Condición: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
Publicado por Freilassing: Pannonia, 1967
Librería: ANTIQUARIAT BÜCHERBERG Martin Walkner, Salzburg, Austria
Original o primera edición
EUR 49,00
Cantidad disponible: 1 disponibles
Añadir al carrito126 S. mit teils doppels. SW- und Farbfotos. Braunes Leinen, Fadenheftung, SU, 28 cm. Schönes Exemplar fast ohne Gebrauchsspuren, leseschief. - Bildband auf Kunstdruckpapier. sg [Von Schweizer Bankkonten keine Banküberweisung, nur Kreditkartenzahlung über Abebooks/ZVAB] Sprache: Deutsch. - Gewicht in Gramm: 800. - Kunst: Architektur, Baukunst. - Stichworte: Österreichische, bayrische, deutsche Kunstgeschichte, Kunstwissenschaft, Kultur, Architektur, Bauwesen, Baugeschichte, Baumeister, Wohnbau, Städtebau, Häuser, Technik. -.
Librería: PBShop.store UK, Fairford, GLOS, Reino Unido
EUR 13,78
Cantidad disponible: Más de 20 disponibles
Añadir al carritoPAP. Condición: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
Idioma: Alemán
Publicado por Verlag Herder 2021-09-14, 2021
ISBN 10: 3451390566 ISBN 13: 9783451390562
Librería: Chiron Media, Wallingford, Reino Unido
EUR 61,57
Cantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: New.
Idioma: Alemán
Publicado por München : Callwey., 1962
Librería: Antiquariat BehnkeBuch, Neu Kaliß, Alemania
Miembro de asociación: GIAQ
EUR 10,00
Cantidad disponible: 1 disponibles
Añadir al carrito809 S. : mit Abb. Dünndruckausgabe. Umschlag leicht berieben, leicht bestossen und nachgedunkelt. Papierbedingt leicht nachgedunkelt, sonst gut. N11-7 Wichtiger Hinweis: Aufgrund der EPR-Regelung zur Zeit KEIN Versand in EU-Länder. Due to EPR, there is currently no delivery to EU-countries. Sprache: Deutsch Gewicht in Gramm: 650 19*11,5 cm. OLeinenband, OSchu., Dünndruck.
Librería: Buchpark, Trebbin, Alemania
EUR 11,99
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: Sehr gut. Zustand: Sehr gut | Sprache: Deutsch | Produktart: Bücher | Keine Beschreibung verfügbar.
Librería: Brook Bookstore On Demand, Napoli, NA, Italia
EUR 46,22
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: new. Questo è un articolo print on demand.
Idioma: Inglés
Publicado por Springer Berlin Heidelberg Jun 2012, 2012
ISBN 10: 3642313647 ISBN 13: 9783642313646
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
EUR 53,49
Cantidad disponible: 2 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 6th International Joint Conference on Automated Reasoning, IJCAR 2012, held in Manchester, UK, in June 2012. IJCAR 2012 is a merger of leading events in automated reasoning, namely CADE (International Conference on Automated Deduction), FroCoS (International Symposium on Frontiers of Combining Systems), FTP (International Workshop on First-Order Theorem Proving), and TABLEAUX (International Conference on Automated Reasoning with Analytic Tableaux and Related Methods). The 32 revised full research papers and 9 system descriptions presented together with 3 invited talks were carefully reviewed and selected from 116 submissions. The papers address all aspects of automated reasoning, including foundations, implementations, and applications. 584 pp. Englisch.
Idioma: Inglés
Publicado por Springer Berlin Heidelberg, 2012
ISBN 10: 3642313647 ISBN 13: 9783642313646
Librería: moluna, Greven, Alemania
EUR 48,37
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. State-of-the-art research Fast-track conference proceedings Unique visibilityThis book constitutes the refereed proceedings of the 6th International Joint Conference on Automated Reasoning, IJCAR 2012, held in Manchester, UK, in Jun.
Idioma: Inglés
Publicado por Springer, Springer Jun 2012, 2012
ISBN 10: 3642313647 ISBN 13: 9783642313646
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania
EUR 53,49
Cantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book constitutes the refereed proceedings of the 6th International Joint Conference on Automated Reasoning, IJCAR 2012, held in Manchester, UK, in June 2012. IJCAR 2012 is a merger of leading events in automated reasoning, namely CADE (International Conference on Automated Deduction), FroCoS (International Symposium on Frontiers of Combining Systems), FTP (International Workshop on First-Order Theorem Proving), and TABLEAUX (International Conference on Automated Reasoning with Analytic Tableaux and Related Methods). The 32 revised full research papers and 9 system descriptions presented together with 3 invited talks were carefully reviewed and selected from 116 submissions. The papers address all aspects of automated reasoning, including foundations, implementations, and applications.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 584 pp. Englisch.