Theory Applications Satisfiability Testing (236 results)

Softcover

Seller: -OnTimeBooks-, Phoenix, AZ, U.S.A.-OnTimeBooks-

5-star seller

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

Condition: Used - Good

£ 22.68

Free Shipping

Ships within U.S.A.

Quantity: 1 available

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

Language: English

Published by Springer, 2008

Softcover

Seller: GuthrieBooks, Spring Branch, TX, U.S.A.GuthrieBooks

5-star seller

Condition: Used - Very good

£ 21.35

£ 5.23 shipping

Ships within U.S.A.

Quantity: 1 available

Paperback. Condition: 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

Language: English

Published by Springer Berlin / Heidelberg, 2005

Softcover

Seller: Better World Books, Mishawaka, IN, U.S.A.Better World Books

5-star seller

3540372067 / 9783540372066

Condition: Used - Good

£ 33.61

Free Shipping

Ships within U.S.A.

Quantity: 1 available

Condition: 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 2006: 9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings (Lecture Notes in Computer Science, 4121)

Language: English

Published by Springer, 2006

Softcover

Seller: -OnTimeBooks-, Phoenix, AZ, U.S.A.-OnTimeBooks-

5-star seller

Condition: Used - Good

£ 33.70

Free Shipping

Ships within U.S.A.

Quantity: 1 available

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

Language: English

Published by Springer, 2005

Softcover

Seller: -OnTimeBooks-, Phoenix, AZ, U.S.A.-OnTimeBooks-

5-star seller

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

Condition: Used - Good

£ 33.70

Free Shipping

Ships within U.S.A.

Quantity: 1 available

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

Language: English

Published by Springer, 2007

Softcover

Seller: GuthrieBooks, Spring Branch, TX, U.S.A.GuthrieBooks

5-star seller

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

Condition: Used - Very good

£ 28.53

£ 5.23 shipping

Ships within U.S.A.

Quantity: 1 available

Paperback. Condition: 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)

Language: English

Published by Springer, 2005

Softcover

Seller: GuthrieBooks, Spring Branch, TX, U.S.A.GuthrieBooks

5-star seller

Condition: Used - Very good

£ 30.23

£ 5.23 shipping

Ships within U.S.A.

Quantity: 1 available

Paperback. Condition: 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 2008

Language: English

Published by Springer, 2008

Softcover

Seller: Books Puddle, Woodside, NY, U.S.A.Books Puddle

4-star seller

Condition: New

£ 38.58

£ 2.99 shipping

Ships within U.S.A.

Quantity: 1 available

Condition: New. pp. 324.

Theory and Applications of Satisfiability Testing - SAT 2008

Language: English

Published by Springer, 2008

Softcover

Seller: Majestic Books, Hounslow, United KingdomMajestic Books

4-star seller

Condition: New

£ 35.32

£ 6.50 shipping

Ships from United Kingdom to U.S.A.

Quantity: 1 available

Condition: New. pp. 324 Illus.

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

Bacchus, Fahiem ; Walsh, Toby

Language: English

Published by Springer Verlag, New York, 2005

Hardcover

Seller: Doss-Haus Books, Redondo Beach, CA, U.S.A.Doss-Haus Books

5-star seller

Condition: Used - Very good

£ 37.60

£ 4.49 shipping

Ships within U.S.A.

Quantity: 1 available

Hardcover. Condition: 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 2007

0

Language: English

Published by Springer, 2007

Softcover

Seller: Basi6 International, Irving, TX, U.S.A.Basi6 International

5-star seller

Condition: New

£ 43.77

Free Shipping

Ships within U.S.A.

Quantity: 1 available

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

Language: English

Published by Springer, 2005

Softcover

Seller: Basi6 International, Irving, TX, U.S.A.Basi6 International

5-star seller

Condition: New

£ 43.77

Free Shipping

Ships within U.S.A.

Quantity: 1 available

Condition: 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, Scotland, June 19-23, 2005, Proceedings (lecture Notes In Computer Science)

Language: English

Published by Springer, 2005

Softcover

Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.Romtrade Corp.

5-star seller

Condition: New

£ 44.78

Free Shipping

Ships within U.S.A.

Quantity: 1 available

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

Language: English

Published by Springer, 2005

Softcover

Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.Romtrade Corp.

5-star seller

Condition: New

£ 44.78

Free Shipping

Ships within U.S.A.

Quantity: 1 available

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

Language: English

Published by Springer, 2007

Softcover

Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.Romtrade Corp.

5-star seller

Condition: New

£ 44.78

Free Shipping

Ships within U.S.A.

Quantity: 1 available

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

Language: English

Published by Springer, 2008

Softcover

Seller: Basi6 International, Irving, TX, U.S.A.Basi6 International

5-star seller

Kleine B?ning Hans Zhao Xishun

Condition: New

£ 45.05

Free Shipping

Ships within U.S.A.

Quantity: 3 available

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

Language: English

Published by Springer, 2008

Softcover

Seller: Biblios, frankfurt am main, HESSE, GermanyBiblios

4-star seller

Condition: New

£ 36.84

£ 8.30 shipping

Ships from Germany to U.S.A.

Quantity: 1 available

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

Language: English

Published by Springer, 2008

Softcover

Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.Romtrade Corp.

5-star seller

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

Condition: New

£ 46.10

Free Shipping

Ships within U.S.A.

Quantity: 1 available

Condition: 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 2020 : 23rd International Conference, Alghero, Italy, July 3?10, 2020, Proceedings

Language: English

Published by Springer, 2020

3030518248 / 9783030518240

Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

5-star seller

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

Condition: New

£ 46.04

£ 1.98 shipping

Ships within U.S.A.

Quantity: Over 20 available

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

Language: English

Published by Springer, 2006

3540372067 / 9783540372066

Softcover

Seller: GuthrieBooks, Spring Branch, TX, U.S.A.GuthrieBooks

5-star seller

Condition: Used - Very good

£ 45.43

£ 5.23 shipping

Ships within U.S.A.

Quantity: 1 available

Paperback. Condition: 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

Language: English

Published by Springer, 2007

Softcover

Seller: Books Puddle, Woodside, NY, U.S.A.Books Puddle

4-star seller

Condition: Used

£ 49.31

£ 2.99 shipping

Ships within U.S.A.

Quantity: 1 available

Condition: Used. pp. 404.

Theory and Applications of Satisfiability Testing

Language: English

Published by Springer, 2005

Softcover

Seller: Books Puddle, Woodside, NY, U.S.A.Books Puddle

4-star seller

Condition: Used

£ 49.31

£ 2.99 shipping

Ships within U.S.A.

Quantity: 1 available

Condition: Used. pp. 412.

Theory and Applications of Satisfiability Testing - SAT 2007

Language: English

Published by Springer, 2007

Softcover

Seller: Majestic Books, Hounslow, United KingdomMajestic Books

4-star seller

Condition: Used

£ 45.90

£ 6.50 shipping

Ships from United Kingdom to U.S.A.

Quantity: 1 available

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

Language: English

Published by Springer, 2005

Softcover

Seller: Majestic Books, Hounslow, United KingdomMajestic Books

4-star seller

Condition: Used

£ 45.90

£ 6.50 shipping

Ships from United Kingdom to U.S.A.

Quantity: 1 available

Condition: Used. pp. 412 Illus.

Theory and Applications of Satisfiability Testing

Language: English

Published by Springer, 2005

Softcover

Seller: Books Puddle, Woodside, NY, U.S.A.Books Puddle

4-star seller

Condition: Used

£ 50.46

£ 2.99 shipping

Ships within U.S.A.

Quantity: 1 available

Condition: Used. pp. 508.

Theory and Applications of Satisfiability Testing

Language: English

Published by Springer, 2005

Softcover

Seller: Majestic Books, Hounslow, United KingdomMajestic Books

4-star seller

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

Condition: Used

£ 47.88

£ 6.50 shipping

Ships from United Kingdom to U.S.A.

Quantity: 1 available

Condition: Used. pp. 508 Illus.

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

Language: English

Published by Springer, 2014

3319092839 / 9783319092836

Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

5-star seller

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

Condition: New

£ 52.72

£ 1.98 shipping

Ships within U.S.A.

Quantity: Over 20 available

Condition: New.

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

Language: English

Published by Springer, 2017

3319662627 / 9783319662626

Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

5-star seller

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

Condition: New

£ 52.72

£ 1.98 shipping

Ships within U.S.A.

Quantity: Over 20 available

Condition: New.

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

Language: English

Published by Springer, 2016

3319409697 / 9783319409696

Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

5-star seller

3319662627 / 9783319662626

Condition: New

£ 52.72

£ 1.98 shipping

Ships within U.S.A.

Quantity: Over 20 available

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

Language: English

Published by Springer, 2017

Softcover

Seller: California Books, Miami, FL, U.S.A.California Books

5-star seller