Theory applications satisfiability testing (248 résultats)

Couverture souple

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

Vendeur avec une évaluation de 5 étoiles

Kleine Büning, Hans [Editor]; Zhao, Xishun [Editor];

Etat: Occasion - Satisfaisant

EUR 27,70

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 2008: 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings . Computer Science and General Issues)

Langue : anglais

Edité par Springer, 2008

Couverture souple

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

Vendeur avec une évaluation de 5 étoiles

3540372067 / 9783540372066

Etat: Occasion - Assez bon

EUR 25,36

EUR 6,21 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.

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,01

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: 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers (Lecture Notes in Computer Science, 3542)

Langue : anglais

Edité par Springer, 2005

Couverture souple

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

Vendeur avec une évaluation de 5 étoiles

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

Etat: Occasion - Satisfaisant

EUR 40,01

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 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 33,87

EUR 6,21 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.

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 35,90

EUR 6,21 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.

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 42,40

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible

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, Woodside, NY, Etats-UnisBooks Puddle

Vendeur avec une évaluation de 4 étoiles

Etat: Neuf

EUR 46,10

EUR 3,55 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible

Etat : New. pp. 324.

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 44,63

EUR 5,33 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible

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] Size: 8vo - over 7¾" - 9¾" tall. Book. …

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 42,42

EUR 7,63 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : 1 disponible

Etat : New. pp. 324 Illus.

Theory And Applications Of Satisfiability Testing : 8th International Conference, Sat 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings (lecture Notes In Computer Science)

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 53,04

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible

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

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 53,04

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible

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 53,04

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible

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 53,04

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible

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

Kleine B?ning Hans Zhao Xishun

Etat: Neuf

EUR 53,04

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible

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 42,24

EUR 9,95 expédition

Expédition depuis Allemagne vers Etats-Unis

Quantité disponible : 1 disponible

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 : Romtrade Corp., STERLING HEIGHTS, MI, Etats-UnisRomtrade Corp.

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 54,62

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible

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

Etat: Neuf

EUR 54,62

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : 3 disponibles

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

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

Etat: Neuf

EUR 54,77

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible

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

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

Etat: Neuf

EUR 54,85

EUR 2,35 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 (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 60,09

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : 5 disponibles

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

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

Etat: Occasion - Assez bon

EUR 53,93

EUR 6,21 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.

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 59,84

EUR 2,35 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

Creignou, Nadia (EDT); Le Berre, Daniel (EDT)

Etat: Neuf

EUR 59,84

EUR 2,35 expédition

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New.

Theory and Applications of Satisfiability Testing - Sat 2016 : 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings

Langue : anglais

Edité par Springer, 2016

3319409697 / 9783319409696

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

3319662627 / 9783319662626

Etat: Neuf

EUR 59,84

EUR 2,35 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, Melbourne, VIC, Australia, August 28 - September 1, 2017, ... (Lecture Notes in Computer Science, 10491)

Langue : anglais

Edité par Springer, 2017

Couverture souple

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

Vendeur avec une évaluation de 5 étoiles

3319092839 / 9783319092836

Etat: Neuf

EUR 62,27

Frais de port gratuits

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, ... (Lecture Notes in Computer Science, 8561)

Langue : anglais

Edité par Springer, 2014

Couverture souple

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

Vendeur avec une évaluation de 5 étoiles

3319409697 / 9783319409696

Etat: Neuf

EUR 62,27

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New.

Theory and Applications of Satisfiability Testing - SAT 2016: 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings (Lecture Notes in Computer Science, 9710)

Langue : anglais

Edité par Springer, 2016

Couverture souple

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

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 62,27

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New.

Theory and Applications of Satisfiability Testing - SAT 2007

Langue : anglais

Edité par Springer, 2007

Couverture souple

Vendeur : Books Puddle, Woodside, NY, Etats-UnisBooks Puddle

Vendeur avec une évaluation de 4 étoiles

Etat: Occasion

EUR 58,93

EUR 3,55 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible

Etat : Used. pp. 404.

Theory and Applications of Satisfiability Testing

Langue : anglais

Edité par Springer, 2005

Couverture souple

Vendeur : Books Puddle, Woodside, NY, Etats-UnisBooks Puddle

Vendeur avec une évaluation de 4 étoiles