Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: As New. Unread book in perfect condition.
Taschenbuch. Condition: Neu. Tools and Algorithms for the Construction and Analysis of Systems | 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part II | Armin Biere (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xxiii | Englisch | 2020 | Springer | EAN 9783030452360 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Taschenbuch. Condition: Neu. Tools and Algorithms for the Construction and Analysis of Systems | 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part I | Armin Biere (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xxiii | Englisch | 2020 | Springer | EAN 9783030451899 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Taschenbuch. Condition: Neu. Hardware and Software: Verification and Testing | 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers | Armin Biere (u. a.) | Taschenbuch | xii | Englisch | 2013 | Springer | EAN 9783642396106 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Seller: Majestic Books, Hounslow, United Kingdom
Condition: New.
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: New.
US$ 52.34
Quantity: 2 available
Add to basketPaperback. Condition: Brand New. 236 pages. German language. 9.21x6.14x0.55 inches. In Stock.
Taschenbuch. Condition: Neu. Computer Aided Verification | 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings | Armin Biere (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xxxiv | Englisch | 2014 | Springer | EAN 9783319088662 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Seller: Books Puddle, New York, NY, U.S.A.
Condition: New.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
US$ 47.78
Quantity: 2 available
Add to basketCondition: New.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
US$ 48.52
Quantity: 2 available
Add to basketCondition: As New. Unread book in perfect condition.
US$ 53.49
Quantity: 2 available
Add to basketHardcover. Condition: Brand New. 272 pages. German language. 9.45x6.69x0.55 inches. In Stock.
Language: German
Published by opta data Finance GmbH, 2026
ISBN 10: 3000856870 ISBN 13: 9783000856877
Seller: preigu, Osnabrück, Germany
Taschenbuch. Condition: Neu. Die Orientierungshilfen zur Dokumentation SIS und BI | Strukturmodell zur EntbürokratisierungBegutachtungsinstrumentExpertenstandards für die Pflege | Jens Biere (u. a.) | Taschenbuch | Deutsch | 2026 | opta data Finance GmbH | EAN 9783000856877 | Verantwortliche Person für die EU: Standard Systeme, Großmoorring 7, 21079 Hamburg, info[at]standardsysteme[dot]de | Anbieter: preigu.
Language: German
Published by opta data Finance GmbH, 2026
ISBN 10: 3000856862 ISBN 13: 9783000856860
Seller: preigu, Osnabrück, Germany
Taschenbuch. Condition: Neu. Die Formulierungshilfen 2026 für die Pflegeprozessplanung nach AEDL | Die Aktivitäten nach existenziellen Erfahrungen des täglichen Lebens inkl. BI (Begutachtungsinstrument) und Expertenstandards in der Pflege | Jens Biere (u. a.) | Taschenbuch | Deutsch | 2026 | opta data Finance GmbH | EAN 9783000856860 | Verantwortliche Person für die EU: Standard Systeme, Großmoorring 7, 21079 Hamburg, info[at]standardsysteme[dot]de | Anbieter: preigu.
Taschenbuch. Condition: Neu. Digitaltechnik - Eine praxisnahe Einführung | Armin Biere (u. a.) | Taschenbuch | x | Deutsch | 2008 | Springer | EAN 9783540777281 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Taschenbuch. Condition: Neu. Augustdorf | Stätten und ihre Besitzer 1775-1900 | Olaf Biere (u. a.) | Taschenbuch | 360 S. | Deutsch | 2024 | tpk-Regionalverlag | EAN 9783910490048 | Verantwortliche Person für die EU: tpk-Verlag Roland Siekmann, Dr. Roland Siekmann, Arndtstr. 59, 33615 Bielefeld, siekmann[at]tpk-verlag[dot]de | Anbieter: preigu.
Language: German
Published by Editions France Agricole, 2005
ISBN 10: 2855570921 ISBN 13: 9782855570921
Seller: book-link, Nufringen, BW, Germany
hardcover. Condition: Sehr gut. Seiten; M26-04-XL-E-18-VG Sprache: Deutsch Gewicht in Gramm: 2.
Taschenbuch. Condition: Neu. Theory and Applications of Satisfiability Testing - SAT 2006 | 9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings | Armin Biere (u. a.) | Taschenbuch | xii | Englisch | 2006 | Springer | EAN 9783540372066 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand.
Seller: preigu, Osnabrück, Germany
Buch. Condition: Neu. Handbook of Satisfiability | A. Biere (u. a.) | Buch | Englisch | 2009 | IOS Press | EAN 9781586039295 | Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, 36244 Bad Hersfeld, gpsr[at]libri[dot]de | Anbieter: preigu Print on Demand.
Buch. Condition: Neu. 50 Blicke aufs Alter | Das Buch zum Film LÄNGER LEBEN mit Fotografien von Brigitte Weidmann und einem Vorwort von Reimer Gronemeyer | Julien Biere (u. a.) | Buch | 132 S. | Deutsch | 2018 | Books on Demand GmbH | EAN 9783752803693 | Verantwortliche Person für die EU: BoD - Books on Demand, In de Tarpen 42, 22848 Norderstedt, info[at]bod[dot]de | Anbieter: preigu Print on Demand.
Seller: preigu, Osnabrück, Germany
Taschenbuch. Condition: Neu. Kochrätsel für Kenner | Bernd Ulrich Biere (u. a.) | Taschenbuch | 132 S. | Deutsch | 2021 | Mykum Verlag | EAN 9783982265841 | Verantwortliche Person für die EU: BoD - Books on Demand, In de Tarpen 42, 22848 Norderstedt, info[at]bod[dot]de | Anbieter: preigu Print on Demand.
Language: German
Published by VS Verlag für Sozialwissenschaften, 1998
ISBN 10: 3531129759 ISBN 13: 9783531129754
Seller: preigu, Osnabrück, Germany
Taschenbuch. Condition: Neu. Medien im Wandel | Bernd Ulrich Biere (u. a.) | Taschenbuch | 239 S. | Deutsch | 1998 | VS Verlag für Sozialwissenschaften | EAN 9783531129754 | Verantwortliche Person für die EU: Springer VS in Springer Science + Business Media, Abraham-Lincoln-Str. 46, 65189 Wiesbaden, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand.