Biere armin (178 résultats)

Couverture souple

Vendeur : -OnTimeBooks-, Phoenix, AZ, Etats-Unis-OnTimeBooks-

Vendeur avec une évaluation de 5 étoiles

3540372067 / 9783540372066

Etat: Occasion - Satisfaisant

EUR 20,63

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible

Etat : good. A copy that has been read, remains in good condition. All pages are intact, and the cover is intact. The spine and cover show signs of wear. Pages can include notes and highlighting and show signs of wear, and the copy can include "From the library of" labels or previous owner inscriptions. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item! Ships via media mail.…

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

Langue : anglais

Edité par Springer, 2006

Couverture souple

Vendeur : -OnTimeBooks-, Phoenix, AZ, Etats-Unis-OnTimeBooks-

Vendeur avec une évaluation de 5 étoiles

Etat: Occasion - Satisfaisant

EUR 40,18

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible

Etat : good. A copy that has been read, remains in good condition. All pages are intact, and the cover is intact. The spine and cover show signs of wear. Pages can include notes and highlighting and show signs of wear, and the copy can include "From the library of" labels or previous owner inscriptions. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item! Ships via media mail.…

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

Langue : anglais

Edité par Springer, 2020

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 45,34

EUR 2,36 expédition

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New.

Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, Tacas 2020, Held as Part of the European Joint Confe (Paperback or Softback)

Langue : anglais

Edité par Springer 4/18/2020, 2020

Couverture souple

Vendeur : BargainBookStores, Grand Rapids, MI, Etats-UnisBargainBookStores

Vendeur avec une évaluation de 5 étoiles

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

Etat: Neuf

EUR 50,17

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : 5 disponibles

Paperback or Softback. Etat : New. Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, Tacas 2020, Held as Part of the European Joint Confe. Book.

Hardware and Software : Verification and Testing

Langue : anglais

Edité par Springer, 2013

3642396100 / 9783642396106

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

Armin Biere, David Parker

Etat: Neuf

EUR 49,12

EUR 2,36 expédition

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New.

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)

Langue : anglais

Edité par Springer 2020-04-18, 2020

Couverture souple

Vendeur : Chiron Media, Wallingford, Royaume-UniChiron Media

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 45,46

EUR 7,66 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : Plus de 20 disponibles

Paperback. Etat : New. Brand new book, sourced directly from publisher. Dispatch time is 6-7 days from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely.

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

Langue : anglais

Edité par Springer, 2020

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

Etat: Occasion - Comme neuf

EUR 52,33

EUR 2,36 expédition

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : As New. Unread book in perfect condition.

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

Langue : anglais

Edité par Springer, 2020

Couverture souple

Vendeur : California Books, Miami, FL, Etats-UnisCalifornia Books

Vendeur avec une évaluation de 5 étoiles

3032325889 / 9783032325884

Etat: Neuf

EUR 55,18

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New.

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

Langue : anglais

Edité par Springer, 2026

Couverture souple

Vendeur : California Books, Miami, FL, Etats-UnisCalifornia Books

Vendeur avec une évaluation de 5 étoiles

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

Etat: Neuf

EUR 57,02

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New.

Hardware and Software : Verification and Testing

Langue : anglais

Edité par Springer, 2013

3642396100 / 9783642396106

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

Etat: Occasion - Comme neuf

EUR 55,91

EUR 2,36 expédition

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : As New. Unread book in perfect condition.

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

101327718X / 9781013277184

Langue : anglais

Edité par Saint Philip Street Press 10/9/2020, 2020

Couverture souple

Vendeur : BargainBookStores, Grand Rapids, MI, Etats-UnisBargainBookStores

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 58,65

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : 5 disponibles

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

Tools and Algorithms for the Construction and Analysis of Systems

1013277201 / 9781013277207

Langue : anglais

Edité par Saint Philip Street Press, 2020

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

Biere, Armin; Parker, David

Etat: Neuf

EUR 56,42

EUR 2,36 expédition

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New.

Tools and Algorithms for the Construction and Analysis of Systems

Langue : anglais

Edité par Saint Philip Street Press, 2020

1013277201 / 9781013277207

Couverture souple

Vendeur : California Books, Miami, FL, Etats-UnisCalifornia Books

Vendeur avec une évaluation de 5 étoiles

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

Etat: Neuf

EUR 58,86

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New.

Digitaltechnik - Eine Praxisnahe Einfahrung -Language: German

Langue : allemand

Edité par Springer, 2008

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 32,19

EUR 2,36 expédition

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New.

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

Langue : allemand

Edité par Springer 2/29/2008, 2008

Couverture souple

Vendeur : BargainBookStores, Grand Rapids, MI, Etats-UnisBargainBookStores

Vendeur avec une évaluation de 5 étoiles

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

Etat: Neuf

EUR 34,62

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : 5 disponibles

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

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

Langue : allemand

Edité par Springer, 2008

Couverture souple

Vendeur : California Books, Miami, FL, Etats-UnisCalifornia Books

Vendeur avec une évaluation de 5 étoiles

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

Etat: Neuf

EUR 34,95

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : 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)

Langue : anglais

Edité par Springer, 2006

3540372067 / 9783540372066

Couverture souple

Vendeur : GuthrieBooks, Spring Branch, TX, Etats-UnisGuthrieBooks

Vendeur avec une évaluation de 5 étoiles

Etat: Occasion - Assez bon

EUR 54,16

EUR 6,24 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible

Paperback. Etat : Very Good. Sorry, No international shipping on this item.Ex-library paperback in very nice condition with the usual markings and attachments.

Tools and Algorithms for the Construction and Analysis of Systems

1013277201 / 9781013277207

Langue : anglais

Edité par Saint Philip Street Press, 2020

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

Biere, Armin; Parker, David

Etat: Occasion - Comme neuf

EUR 58,88

EUR 2,36 expédition

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : As New. Unread book in perfect condition.

Tools and Algorithms for the Construction and Analysis of Systems

Langue : anglais

Edité par Saint Philip Street Press, 2020

101327718X / 9781013277184

Couverture souple

Vendeur : California Books, Miami, FL, Etats-UnisCalifornia Books

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 63,45

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New.

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

Langue : anglais

Edité par Springer 2020-04, 2020

Couverture souple

Vendeur : Chiron Media, Wallingford, Royaume-UniChiron Media

Vendeur avec une évaluation de 5 étoiles

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

Etat: Neuf

EUR 45,59

EUR 18,27 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : 10 disponibles

PF. Etat : New.

Digitaltechnik - Eine Praxisnahe Einfahrung -Language: German

Langue : allemand

Edité par Springer, 2008

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

Biere, Armin; Parker, David

Etat: Occasion - Comme neuf

EUR 34,99

EUR 2,36 expédition

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : As New. Unread book in perfect condition.

Tools and Algorithms for the Construction and Analysis of Systems

Langue : anglais

Edité par Saint Philip Street Press, 2020

101327721X / 9781013277214

Couverture rigide

Vendeur : California Books, Miami, FL, Etats-UnisCalifornia Books

Vendeur avec une évaluation de 5 étoiles

3032325919 / 9783032325914

Etat: Neuf

EUR 66,21

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New.

Automated Reasoning (Paperback)

Armin Biere

Langue : anglais

Edité par Springer Nature Switzerland AG, Cham, 2026

Couverture souple

Vendeur : Grand Eagle Retail, Bensenville, IL, Etats-UnisGrand Eagle Retail

Vendeur avec une évaluation de 5 étoiles

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

Etat: Neuf

EUR 66,83

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible

Paperback. Etat : new. Paperback. This open access set, LNAI 16688-16689, constitutes the proceedings of the 13th International Joint Conference, IJCAR 2026, held in Lisbon, Portugal, during July 2629, 2026.The 41 full research papers and 8 short papers included in these two volumes were carefully reviewed and selected from 112 submissions. The papers cover the following topical sections:Part I: Theorem Proving and Automation; SAT, SMT, and Verification; Intuitionistic, Modal, and Temporal Logics;Part II: Calculi, Proof Theory, and Decision Procedures; and Unification, Rewriting, and Computational Models. This open access set, LNAI 16688-16689, constitutes the proceedings of the 13th International Joint Conference, IJCAR 2026, held in Lisbon, Portugal, during July 2629, 2026.The 41 full research papers and 8 short papers included in these two volumes were carefully reviewed and selected from 112 submissions. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.…

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

Langue : anglais

Edité par Springer, 2006

3540372067 / 9783540372066

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

Etat: Occasion - Comme neuf

EUR 64,41

EUR 2,36 expédition

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : As New. Unread book in perfect condition.

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

Langue : anglais

Edité par Springer, 2020

Couverture souple

Vendeur : GreatBookPricesUK, Woodford Green, Royaume-UniGreatBookPricesUK

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 48,59

EUR 17,70 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New.

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

Langue : anglais

Edité par Springer, 2020

Couverture souple

Vendeur : Ria Christie Collections, Uxbridge, Royaume-UniRia Christie Collections

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 54,28

EUR 13,32 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New. In English.

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

Langue : anglais

Edité par Springer, 2020

Couverture souple

Vendeur : Ria Christie Collections, Uxbridge, Royaume-UniRia Christie Collections

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 54,28

EUR 13,32 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New. In English.

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

Langue : anglais

Edité par Springer, 2020

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 66,64

EUR 2,36 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 15 disponibles

Etat : New.

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

Langue : anglais

Edité par Springer, 2020

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

Armin Biere, Amir Nahir, Tanja Vos

Etat: Occasion - Comme neuf

EUR 66,73

EUR 2,36 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 15 disponibles

Etat : As New. Unread book in perfect condition.

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)

Langue : anglais

Edité par Springer 2013-07-19, 2013

3642396100 / 9783642396106

Couverture souple

Vendeur : Chiron Media, Wallingford, Royaume-UniChiron Media

Vendeur avec une évaluation de 5 étoiles