Theory applications satisfiability testing (267 résultats)

Couverture souple

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

Vendeur avec une évaluation de 5 étoiles

Marques-Silva, Joao [Editor]; Sakallah, Karem A. [Editor];

Etat: Occasion - Assez bon

EUR 24,64

EUR 6,03 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible(s)

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

Theory and Applications of Satisfiability Testing - SAT 2007: 10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, Proceedings . Computer Science and General Issues)

Langue : anglais

Edité par Springer, 2007

Couverture souple

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

Vendeur avec une évaluation de 5 étoiles

Bacchus, Fahiem [Editor]; Walsh, Toby [Editor];

Etat: Occasion - Assez bon

EUR 32,91

EUR 6,03 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible(s)

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

Theory and Applications of Satisfiability Testing: 8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings . Computer Science and General Issues)

Langue : anglais

Edité par Springer, 2005

Couverture souple

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

Vendeur avec une évaluation de 5 étoiles

Etat: Occasion - Assez bon

EUR 34,88

EUR 6,03 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible(s)

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

Theory and Applications of Satisfiability Testing : 8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings

Langue : anglais

Edité par Springer Berlin / Heidelberg, 2005

Couverture souple

Vendeur : Better World Books, Mishawaka, IN, Etats-UnisBetter World Books

Vendeur avec une évaluation de 5 étoiles

Etat: Occasion - Satisfaisant

EUR 43,37

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible(s)

Etat : Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.

Theory and Applications of Satisfiability Testing - SAT 2008

Langue : anglais

Edité par Springer, 2008

Couverture souple

Vendeur : Books Puddle, New York, NY, Etats-UnisBooks Puddle

Vendeur avec une évaluation de 4 étoiles

Etat: Neuf

EUR 43,52

EUR 3,44 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible(s)

Etat : New. pp. 324.

Theory and Applications of Satisfiability Testing - SAT 2008

Langue : anglais

Edité par Springer, 2008

Couverture souple

Vendeur : Majestic Books, Hounslow, Royaume-UniMajestic Books

Vendeur avec une évaluation de 4 étoiles

Etat: Neuf

EUR 39,86

EUR 7,60 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : 1 disponible(s)

Etat : New. pp. 324 Illus.

Theory And Applications Of Satisfiability Testing

Langue : anglais

Edité par Springer, 2005

Couverture souple

Vendeur : Romtrade Corp., STERLING HEIGHTS, MI, Etats-UnisRomtrade Corp.

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 48,55

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible(s)

Etat : New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.

Theory And Applications Of Satisfiability Testing - Sat 2007

Langue : anglais

Edité par Springer, 2007

Couverture souple

Vendeur : Romtrade Corp., STERLING HEIGHTS, MI, Etats-UnisRomtrade Corp.

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 48,55

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible(s)

Etat : New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.

Theory And Applications Of Satisfiability Testing - Sat 2007

0

Langue : anglais

Edité par Springer, 2007

Couverture souple

Vendeur : Basi6 International, Irving, TX, Etats-UnisBasi6 International

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 48,55

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible(s)

Etat : Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.

Theory And Applications Of Satisfiability Testing

0

Langue : anglais

Edité par Springer, 2005

Couverture souple

Vendeur : Basi6 International, Irving, TX, Etats-UnisBasi6 International

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 48,55

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible(s)

Etat : Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.

Theory and Applications of Satisfiability Testing : 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005 : Proceedings

Bacchus, Fahiem ; Walsh, Toby

Langue : anglais

Edité par Springer Verlag, New York, 2005

Couverture rigide

Vendeur : Doss-Haus Books, Redondo Beach, CA, Etats-UnisDoss-Haus Books

Vendeur avec une évaluation de 5 étoiles

Etat: Occasion - Assez bon

EUR 43,34

EUR 5,18 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible(s)

Hardcover. Etat : Very Good. No Jacket. Hardcover 2005 library bound edition. Ex-library book with stamps and labels attached. Binding firm. Pages unmarked and clean. Laminated covers and text in very good condition. Series: Lecture Notes in Computer Science ;3569. [xii, 492 p. : ill. ; 24 cm].

Theory And Applications Of Satisfiability Testing Sat 2008: 11Th International Conference, Sat 2008, Guangzhou, China, May 12-15, 2008, Proceedings (Lecture Notes In Computer Science)

Langue : anglais

Edité par Springer, 2008

Couverture souple

Vendeur : Romtrade Corp., STERLING HEIGHTS, MI, Etats-UnisRomtrade Corp.

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 50,09

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible(s)

Etat : New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.

THEORY AND APPLICATIONS OF SATISFIABILITY TESTING SAT 2008: 11TH INTERNATIONAL CONFERENCE, SAT 2008, GUANGZHOU, CHINA, MAY 12-15, 2008, PROCEEDINGS (LECTURE NOTES IN COMPUTER SCIENCE)

Kleine Büning

Langue : anglais

Edité par Springer, 2008

Couverture souple

Vendeur : Basi6 International, Irving, TX, Etats-UnisBasi6 International

Vendeur avec une évaluation de 5 étoiles

Kleine B?ning Hans Zhao Xishun

Etat: Neuf

EUR 50,09

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : 3 disponible(s)

Etat : Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.

Theory and Applications of Satisfiability Testing - SAT 2008

Langue : anglais

Edité par Springer, 2008

Couverture souple

Vendeur : Biblios, frankfurt am main, HESSE, AllemagneBiblios

Vendeur avec une évaluation de 4 étoiles

Etat: Neuf

EUR 40,92

EUR 9,95 expédition

Expédition depuis Allemagne vers Etats-Unis

Quantité disponible : 1 disponible(s)

Etat : New. pp. 324.

Theory And Applications Of Satisfiability Testing Sat 2008: 11Th International Conference, Sat 2008, Guangzhou, China, May 12-15, 2008, Proceedings (Lecture Notes In Computer Science)

Langue : anglais

Edité par Springer, 2008

Couverture souple

Vendeur : SMASS Sellers, IRVING, TX, Etats-UnisSMASS Sellers

Vendeur avec une évaluation de 4 étoiles

Beyersdorff, Olaf (EDT); Wintersteiger, Christoph M. (EDT)

Etat: Neuf

EUR 53,19

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible(s)

Etat : New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed.

Theory and Applications of Satisfiability Testing - Sat, 2018 : 21st International Conference, Sat 2018, Held As Part of the Federated Logic Conference, Floc 2018, Oxford, Uk, July 9?12, 2018, Proceedings

Langue : anglais

Edité par Springer, 2018

3319941437 / 9783319941431

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

Pulina, Luca (EDT); Seidl, Martina (EDT)

Etat: Neuf

EUR 53,64

EUR 2,28 expédition

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New.

Theory and Applications of Satisfiability Testing ? Sat 2020 : 23rd International Conference, Alghero, Italy, July 3?10, 2020, Proceedings

Langue : anglais

Edité par Springer, 2020

3030518248 / 9783030518240

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

Marques-silva, Joao (EDT); Sakallah, Karem A. (EDT)

Etat: Neuf

EUR 54,87

EUR 2,28 expédition

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New.

Theory and Applications of Satisfiability Testing - Sat 2007 : 10th International Conference, Lisbon, Portugal, May 28-31, 2007, Proceedings

Langue : anglais

Edité par Springer, 2007

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 56,00

EUR 2,28 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 15 disponible(s)

Etat : New.

Theory and Applications of Satisfiability Testing - SAT 2007: 10th International Conference, Lisbon, Portugal, May 28-31, 2007 Proceedings (Paperback or Softback)

Marques-Silva, Joao

Langue : anglais

Edité par Springer 5/18/2007, 2007

Couverture souple

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

Vendeur avec une évaluation de 5 étoiles

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

Etat: Neuf

EUR 58,35

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : 5 disponible(s)

Paperback or Softback. Etat : New. Theory and Applications of Satisfiability Testing - SAT 2007: 10th International Conference, Lisbon, Portugal, May 28-31, 2007 Proceedings. Book.

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 52,37

EUR 6,03 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible(s)

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

Theory and Applications of Satisfiability Testing - SAT 2007

Langue : anglais

Edité par Springer, 2007

Couverture souple

Vendeur : Books Puddle, New York, NY, Etats-UnisBooks Puddle

Vendeur avec une évaluation de 4 étoiles

Etat: Occasion

EUR 55,58

EUR 3,44 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible(s)

Etat : Used. pp. 404.

Theory and Applications of Satisfiability Testing

Langue : anglais

Edité par Springer, 2005

Couverture souple

Vendeur : Books Puddle, New York, NY, Etats-UnisBooks Puddle

Vendeur avec une évaluation de 4 étoiles

Etat: Occasion

EUR 55,58

EUR 3,44 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible(s)

Etat : Used. pp. 412.

Theory and Applications of Satisfiability Testing - SAT 2007

Langue : anglais

Edité par Springer, 2007

Couverture souple

Vendeur : Majestic Books, Hounslow, Royaume-UniMajestic Books

Vendeur avec une évaluation de 4 étoiles

Etat: Occasion

EUR 51,87

EUR 7,60 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : 1 disponible(s)

Etat : Used. pp. 404 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.

Theory and Applications of Satisfiability Testing

Langue : anglais

Edité par Springer, 2005

Couverture souple

Vendeur : Majestic Books, Hounslow, Royaume-UniMajestic Books

Vendeur avec une évaluation de 4 étoiles

Etat: Occasion

EUR 51,87

EUR 7,60 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : 1 disponible(s)

Etat : Used. pp. 412 Illus.

Theory and Applications of Satisfiability Testing

Langue : anglais

Edité par Springer, 2005

Couverture souple

Vendeur : Books Puddle, New York, NY, Etats-UnisBooks Puddle

Vendeur avec une évaluation de 4 étoiles

Bacchus, Fahiem (EDT); Walsh, Toby (EDT)

Etat: Occasion

EUR 56,65

EUR 3,44 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible(s)

Etat : Used. pp. 508.

Theory And Applications of Satisfiability Testing : 8th International Conference, Sat 2005, St Andrews, UK, June 19-23, 2005, Proceedings

Langue : anglais

Edité par Springer, 2005

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

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

Etat: Neuf

EUR 58,08

EUR 2,28 expédition

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

Langue : anglais

Edité par Springer, 2006

3540372067 / 9783540372066

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

Giunchiglia, Enrico; Tacchella, Armando

Etat: Neuf

EUR 58,08

EUR 2,28 expédition

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New.

Theory and Applications of Satisfiability Testing : 6th International Conference, Sat 2003, Santa Margherita Ligure, Italy, May 5-8 2003 : Selected Revised Papers

Langue : anglais

Edité par Springer, 2004

3540208518 / 9783540208518

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

Sinz, Carsten (EDT); Egly, Uwe (EDT)

Etat: Neuf

EUR 58,08

EUR 2,28 expédition

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New.

Theory and Applications of Satisfiability Testing - Sat 2014 : 17th International Conference, Held As Part of the Vienna Summer of Logic, Vsl 2014, Vienna, Austria, July 14-17, 2014, Proceedings

Langue : anglais

Edité par Springer, 2014

3319092839 / 9783319092836

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

Gaspers, Serge (EDT); Walsh, Toby (EDT)

Etat: Neuf

EUR 58,08

EUR 2,28 expédition

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New.

Theory and Applications of Satisfiability Testing Sat 2017 : 20th International Conference, Proceedings

Langue : anglais

Edité par Springer, 2017

3319662627 / 9783319662626

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles