Biere armin (159 Ergebnisse)

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

Zustand: Neu

EUR 48,62

EUR 2,30 Versand

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

Tools and Algorithms for the Construction and Analysis of Systems

Sprache: Englisch

Verlag: Saint Philip Street Press, 2020

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

Zustand: Neu

EUR 50,16

EUR 2,30 Versand

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

Tools and Algorithms for the Construction and Analysis of Systems (Paperback or Softback)

Sprache: Englisch

Verlag: Saint Philip Street Press 10/9/2020, 2020

Softcover

Anbieter: BargainBookStores, Grand Rapids, MI, USABargainBookStores

Verkäufer/-in mit 5 Sternen

Zustand: Neu

EUR 52,53

Versand nach gratis

Versand innerhalb von USA

Anzahl: 5 verfügbar

Paperback or Softback. Zustand: New. Tools and Algorithms for the Construction and Analysis of Systems. Book.

Tools and Algorithms for the Construction and Analysis of Systems

Sprache: Englisch

Verlag: Saint Philip Street Press, 2020

Softcover

Anbieter: California Books, Miami, FL, USACalifornia Books

Verkäufer/-in mit 4 Sternen

3032325889 / 9783032325884

Zustand: Neu

EUR 52,99

Versand nach gratis

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

Automated Reasoning: 13th International Joint Conference, IJCAR 2026, Lisbon, Portugal, July 26-29, 2026, Proceedings, Part I (Lecture Notes in Computer Science, 16688)

Sprache: Englisch

Verlag: Springer, 2026

Softcover

Anbieter: California Books, Miami, FL, USACalifornia Books

Verkäufer/-in mit 4 Sternen

Biere, Armin (EDT); Nahir, Amir (EDT); Vos, Tanja E. J. (EDT)

Zustand: Neu

EUR 55,69

Versand nach gratis

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

Hardware and Software : Verification and Testing

Sprache: Englisch

Verlag: Springer, 2013

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

Biere, Armin; Kraning, Daniel; Weissenbacher, Georg; Wintersteiger, Christoph M.

Zustand: Gebraucht - Wie neu

EUR 54,61

EUR 2,30 Versand

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: As New. Unread book in perfect condition.

Digitaltechnik - Eine Praxisnahe Einfahrung -Language: German

Sprache: Deutsch

Verlag: Springer, 2008

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

Zustand: Neu

EUR 31,44

EUR 2,30 Versand

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

Digitaltechnik - Eine Praxisnahe Einfï¿½hrung (Paperback or Softback)

Sprache: Deutsch

Verlag: Springer 2/29/2008, 2008

Softcover

Anbieter: BargainBookStores, Grand Rapids, MI, USABargainBookStores

Verkäufer/-in mit 5 Sternen

Biere, Armin; Kröning, Daniel; Weissenbacher, Georg; Wintersteiger, Christoph M.

Zustand: Neu

EUR 33,82

Versand nach gratis

Versand innerhalb von USA

Anzahl: 5 verfügbar

Paperback or Softback. Zustand: New. Digitaltechnik - Eine Praxisnahe Einfï¿½hrung. Book.

Digitaltechnik - Eine praxisnahe Einführung (Springer-Lehrbuch) (German Edition)

Sprache: Deutsch

Verlag: Springer, 2008

Softcover

Anbieter: California Books, Miami, FL, USACalifornia Books

Verkäufer/-in mit 4 Sternen

Biere, Armin [Editor]; Gomes, Carla P. [Editor];

Zustand: Neu

EUR 34,13

Versand nach gratis

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

Theory and Applications of Satisfiability Testing - SAT 2006: 9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings (Lecture . Computer Science and General Issues)

Sprache: Englisch

Verlag: Springer, 2006

Softcover

Anbieter: GuthrieBooks, Spring Branch, TX, USAGuthrieBooks

Verkäufer/-in mit 5 Sternen

Zustand: Gebraucht - Gut

EUR 52,90

EUR 6,10 Versand

Versand innerhalb von USA

Anzahl: 1 verfügbar

Paperback. Zustand: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.

Tools and Algorithms for the Construction and Analysis of Systems

Sprache: Englisch

Verlag: Saint Philip Street Press, 2020

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

Biere, Armin (EDT); Gomes, Carla P. (EDT)

Zustand: Gebraucht - Wie neu

EUR 57,51

EUR 2,30 Versand

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: As New. Unread book in perfect condition.

Theory And Applications of Satisfiability Testing - Sat 2006 : 9th International Conference, Seattle, Wa, Usa, August 12-15, 2006, Proceedings

Sprache: Englisch

Verlag: Springer, 2006

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

Zustand: Neu

EUR 59,02

EUR 2,30 Versand

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

Tools and Algorithms for the Construction and Analysis of Systems

101327718X / 9781013277184

Sprache: Englisch

Verlag: Saint Philip Street Press, 2020

Softcover

Anbieter: California Books, Miami, FL, USACalifornia Books

Verkäufer/-in mit 4 Sternen

3030451895 / 9783030451899

Zustand: Neu

EUR 61,98

Versand nach gratis

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held as Part of the European Joint ... Computer Science and General Issues)

Sprache: Englisch

Verlag: Springer, 2020

Softcover

Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections

Verkäufer/-in mit 5 Sternen

Zustand: Neu

EUR 48,70

EUR 13,96 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

Zustand: New. In.

Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held as Part of the European Joint ... Computer Science and General Issues)

Sprache: Englisch

Verlag: Springer, 2020

Softcover

Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections

Verkäufer/-in mit 5 Sternen

Armin Biere, David Parker

Zustand: Neu

EUR 48,70

EUR 13,96 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

Zustand: New. In.

Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held as Part of the European Joint . (Lecture Notes in Computer Science, 12078)

Sprache: Englisch

Verlag: Springer 2020-04-18, 2020

3030451895 / 9783030451899

Softcover

Anbieter: Chiron Media, Wallingford, Vereinigtes KönigreichChiron Media

Verkäufer/-in mit 5 Sternen

Zustand: Neu

EUR 44,91

EUR 18,06 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

Paperback. Zustand: New.

Tools and Algorithms for the Construction and Analysis of Systems : 26th International Conference, TACAS 2020, Held as Part of the European Joint Conf

Sprache: Englisch

Verlag: Springer 2020-04, 2020

Softcover

Anbieter: Chiron Media, Wallingford, Vereinigtes KönigreichChiron Media

Verkäufer/-in mit 5 Sternen

Zustand: Neu

EUR 45,04

EUR 18,06 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: 10 verfügbar

PF. Zustand: New.

Tools and Algorithms for the Construction and Analysis of Systems

101327721X / 9781013277214

Sprache: Englisch

Verlag: Saint Philip Street Press, 2020

Hardcover

Anbieter: California Books, Miami, FL, USACalifornia Books

Verkäufer/-in mit 4 Sternen

Biere, Armin; Kraning, Daniel; Weissenbacher, Georg; Wintersteiger, Christoph M.

Zustand: Neu

EUR 64,67

Versand nach gratis

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

Digitaltechnik - Eine Praxisnahe Einfahrung -Language: German

Sprache: Deutsch

Verlag: Springer, 2008

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

Biere, Armin (EDT); Gomes, Carla P. (EDT)

Zustand: Gebraucht - Wie neu

EUR 34,80

EUR 2,30 Versand

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: As New. Unread book in perfect condition.

Theory And Applications of Satisfiability Testing - Sat 2006 : 9th International Conference, Seattle, Wa, Usa, August 12-15, 2006, Proceedings

Sprache: Englisch

Verlag: Springer, 2006

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

Zustand: Gebraucht - Wie neu

EUR 62,91

EUR 2,30 Versand

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: As New. Unread book in perfect condition.

Tools and Algorithms for the Construction and Analysis of Systems

1013277198 / 9781013277191

Sprache: Englisch

Verlag: Saint Philip Street Press, 2020

Hardcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

Zustand: Neu

EUR 65,88

EUR 2,30 Versand

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

Hardware and Software: Verification and Testing: 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers

Sprache: Englisch

Verlag: Springer, 2013

Softcover

Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections

Verkäufer/-in mit 5 Sternen

Zustand: Neu

EUR 54,85

EUR 13,96 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

Zustand: New. In.

Theory and Applications of Satisfiability Testing - SAT 2006

Armin Biere

Sprache: Englisch

Verlag: Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, DE, 2006

Softcover

Anbieter: Rarewaves.com USA, London, LONDO, Vereinigtes KönigreichRarewaves.com USA

Verkäufer/-in mit 5 Sternen

Armin Biere, Amir Nahir, Tanja Vos

Zustand: Neu

EUR 69,11

Versand nach gratis

Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

Paperback. Zustand: New. 2006 ed. This book constitutes the refereed proceedings of the 9th International Conference on Theory and Applications of Satisfiability Testing, SAT 2006. The book presents 26 revised full papers together with 11 revised short papers and 2 invited talks. Coverage extends to all current research issues i…

Hardware and Software: Verification and Testing: 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised . Papers (Lecture Notes in Computer Science)

Sprache: Englisch

Verlag: Springer 2013-07-19, 2013

Softcover

Anbieter: Chiron Media, Wallingford, Vereinigtes KönigreichChiron Media

Verkäufer/-in mit 5 Sternen

Zustand: Neu

EUR 51,00

EUR 18,06 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: 10 verfügbar

Paperback. Zustand: New.

Tools And Algorithms For The Constructio

Sprache: Englisch

Verlag: Springer, 2020

Softcover

Anbieter: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrlandKennys Bookshop and Art Galleries Ltd.

Verkäufer/-in mit 5 Sternen

Zustand: Neu

EUR 59,02

EUR 9,50 Versand

Versand von Irland nach USA

Anzahl: 15 verfügbar

Zustand: New.

Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held as Part of the European Joint . Computer Science and General Issues)

Sprache: Englisch

Verlag: Springer, 2020

Softcover

Anbieter: Books Puddle, New York, NY, USABooks Puddle

Verkäufer/-in mit 4 Sternen

Biere, Armin (EDT); Nahir, Amir (EDT); Vos, Tanja E. J. (EDT)

Zustand: Neu

EUR 67,17

EUR 3,48 Versand

Versand innerhalb von USA

Anzahl: 4 verfügbar

Zustand: New. pp. 415.

Hardware and Software : Verification and Testing

Sprache: Englisch

Verlag: Springer, 2013

Softcover

Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK

Verkäufer/-in mit 5 Sternen

Zustand: Neu

EUR 53,98

EUR 17,49 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

Tools and Algorithms for the Construction and Analysis of Systems

1013277198 / 9781013277191

Sprache: Englisch

Verlag: Saint Philip Street Press, 2020

Hardcover

Anbieter: California Books, Miami, FL, USACalifornia Books

Verkäufer/-in mit 4 Sternen

Zustand: Neu

EUR 72,76

Versand nach gratis

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

Tools and Algorithms for the Construction and Analysis of Systems

Sprache: Englisch

Verlag: Saint Philip Street Press, 2020

Softcover

Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections

Verkäufer/-in mit 5 Sternen

Zustand: Neu

EUR 60,50

EUR 13,96 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

Zustand: New. In.

Tools and Algorithms for the Construction and Analysis of Systems

1013277198 / 9781013277191

Sprache: Englisch

Verlag: Saint Philip Street Press, 2020

Hardcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen