Theory Applications Satisfiability Testing (278 results)

Feedback

Title: theory applications satisfiability testing

Refine with Advanced Search

Stock Image

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)

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

Published by Springer, 2008

ISBN 10: 3540797181 ISBN 13: 9783540797180

Language: English

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

Seller rating 5 out of 5 stars

Contact seller

Used - Softcover
Condition: Very good

� 6.18
Convert currency

� 5.17 shipping within U.S.A.
Destination, rates & speeds

Quantity: 1 available
Add to basket

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

More buying choices from other sellers on AbeBooks

New offers from � 23.56

Used offers from � 11.35

Also find Softcover
Stock Image

Theory and Applications of Satisfiability Testing: 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected . Computer Science and General Issues)

Hoos, Holger H. [Editor]; Mitchell, David G. [Editor];

Published by Springer, 2008

ISBN 10: 354027829X ISBN 13: 9783540278290

Language: English

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

Seller rating 5 out of 5 stars

Contact seller

Used - Softcover
Condition: Very good

� 11.60
Convert currency

� 5.17 shipping within U.S.A.
Destination, rates & speeds

Quantity: 1 available
Add to basket

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

More buying choices from other sellers on AbeBooks

New offers from � 48.31

Used offers from � 16.77

Also find Softcover
Stock Image

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, 4501)

Marques-Silva, Joao, Sakallah, Karem A.

Published by Springer (edition 2007), 2007

ISBN 10: 3540727876 ISBN 13: 9783540727873

Language: English

Seller: BooksRun, Philadelphia, PA, U.S.A.

Seller rating 5 out of 5 stars

Contact seller

Used - Softcover
Condition: Very good

� 35.37
Convert currency

Free shipping within U.S.A.
Destination, rates & speeds

Quantity: 1 available
Add to basket

Paperback. Condition: Very Good. 2007. It's a well-cared-for item that has seen limited use. The item may show minor signs of wear. All the text is legible, with all pages included. It may have slight markings and/or highlighting.

More buying choices from other sellers on AbeBooks

New offers from � 38.23

Used offers from � 35.37

Also find Softcover First Edition
Stock Image

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

Bacchus, Fahiem ; Walsh, Toby

Published by Springer Verlag, New York, 2005

ISBN 10: 3540262768 ISBN 13: 9783540262763

Language: English

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

Seller rating 5 out of 5 stars

Contact seller

Used - Hardcover
Condition: Very good

� 37.13
Convert currency

� 4.07 shipping within U.S.A.
Destination, rates & speeds

Quantity: 1 available
Add to basket

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].

More buying choices from other sellers on AbeBooks

New offers from � 41.76

Used offers from � 41.20

Also find Hardcover Softcover
Stock Image

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)

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

Published by Springer, 2006

ISBN 10: 3540372067 ISBN 13: 9783540372066

Language: English

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

Seller rating 5 out of 5 stars

Contact seller

Used - Softcover
Condition: Very good

� 37.35
Convert currency

� 5.17 shipping within U.S.A.
Destination, rates & speeds

Quantity: 1 available
Add to basket

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

More buying choices from other sellers on AbeBooks

New offers from � 48.53

Used offers from � 42.52

Also find Softcover
Stock Image

Theory and Applications of Satisfiability Testing -- SAT 2015: 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings (Theoretical Computer Science and General Issues)

Published by Springer, 2015

ISBN 10: 3319243179 ISBN 13: 9783319243177

Language: English

Seller: Swan Trading Company, GEORGETOWN, TX, U.S.A.

Seller rating 5 out of 5 stars

Contact seller

Used - Softcover
Condition: Very good

� 44.89
Convert currency

Free shipping within U.S.A.
Destination, rates & speeds

Quantity: 1 available
Add to basket

paperback. Condition: Very Good. This softcover has clean, crisp covers. Spine is tight and without reading crease. Pages appear bright and unmarked. We ship FAST!

More buying choices from other sellers on AbeBooks

New offers from � 59.85

Used offers from � 44.89

Also find Softcover
Stock Image

Theory and Applications of Satisfiability Testing - SAT 2014: 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, ... Computer Science and General Issues)

Published by Springer, 2014

ISBN 10: 3319092839 ISBN 13: 9783319092836

Language: English

Seller: Best Price, Torrance, CA, U.S.A.

Seller rating 5 out of 5 stars

Contact seller

New - Softcover
Condition: New

� 41.89
Convert currency

� 6.64 shipping within U.S.A.
Destination, rates & speeds

Quantity: 1 available
Add to basket

Condition: New. SUPER FAST SHIPPING.

More buying choices from other sellers on AbeBooks

New offers from � 48.53

Used offers from � 152.99

Also find Softcover
Stock Image

Theory and Applications of Satisfiability Testing - SAT 2017: 20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017, ... Computer Science and General Issues)

Published by Springer, 2017

ISBN 10: 3319662627 ISBN 13: 9783319662626

Language: English

Seller: Best Price, Torrance, CA, U.S.A.

Seller rating 5 out of 5 stars

Contact seller

New - Softcover
Condition: New

� 41.89
Convert currency

� 6.64 shipping within U.S.A.
Destination, rates & speeds

Quantity: 1 available
Add to basket

Condition: New. SUPER FAST SHIPPING.

More buying choices from other sellers on AbeBooks

New offers from � 48.53

Used offers from � 55.10

Also find Softcover
Stock Image

Theory and Applications of Satisfiability Testing -- SAT 2012: 15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings (Lecture Notes in Computer Science, 7317)

Published by Springer, 2012

ISBN 10: 3642316115 ISBN 13: 9783642316111

Language: English

Seller: Best Price, Torrance, CA, U.S.A.

Seller rating 5 out of 5 stars

Contact seller

New - Softcover
Condition: New

� 41.89
Convert currency

� 6.64 shipping within U.S.A.
Destination, rates & speeds

Quantity: 2 available
Add to basket

Condition: New. SUPER FAST SHIPPING.

More buying choices from other sellers on AbeBooks

New offers from � 48.53

Used offers from � 55.10

Also find Softcover
Stock Image

Theory and Applications of Satisfiability Testing - SAT 2020: 23rd International Conference, Alghero, Italy, July 3-10, 2020, Proceedings (Theoretical Computer Science and General Issues)

Published by Springer, 2020

ISBN 10: 3030518248 ISBN 13: 9783030518240

Language: English

Seller: Best Price, Torrance, CA, U.S.A.

Seller rating 5 out of 5 stars

Contact seller

New - Softcover
Condition: New

� 41.89
Convert currency

� 6.64 shipping within U.S.A.
Destination, rates & speeds

Quantity: 2 available
Add to basket

Condition: New. SUPER FAST SHIPPING.

More buying choices from other sellers on AbeBooks

New offers from � 48.53

Used offers from � 55.10

Also find Softcover
Stock Image

Theory and Applications of Satisfiability Testing - SAT 2013: 16th International Conference, Helsinki, Finland, July 8-12, 2013, Proceedings (Theoretical Computer Science and General Issues)

Published by Springer, 2013

ISBN 10: 3642390706 ISBN 13: 9783642390708

Language: English

Seller: Best Price, Torrance, CA, U.S.A.

Seller rating 5 out of 5 stars

Contact seller

New - Softcover
Condition: New

� 41.89
Convert currency

� 6.64 shipping within U.S.A.
Destination, rates & speeds

Quantity: 2 available
Add to basket

Condition: New. SUPER FAST SHIPPING.

More buying choices from other sellers on AbeBooks

New offers from � 48.53

Used offers from � 114.99

Also find Softcover
Stock Image

Theory and Applications of Satisfiability Testing - SAT 2016: 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings (Theoretical Computer Science and General Issues)

Published by Springer, 2016

ISBN 10: 3319409697 ISBN 13: 9783319409696

Language: English

Seller: Best Price, Torrance, CA, U.S.A.

Seller rating 5 out of 5 stars

Contact seller

New - Softcover
Condition: New

� 41.89
Convert currency

� 6.64 shipping within U.S.A.
Destination, rates & speeds

Quantity: 2 available
Add to basket

Condition: New. SUPER FAST SHIPPING.

More buying choices from other sellers on AbeBooks

New offers from � 48.53

Used offers from � 55.39

Also find Softcover
Stock Image

Theory and Applications of Satisfiability Testing - SAT 2010: 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010, Proceedings (Lecture Notes in Computer Science, 6175)

Published by Springer, 2010

ISBN 10: 3642141854 ISBN 13: 9783642141850

Language: English

Seller: Best Price, Torrance, CA, U.S.A.

Seller rating 5 out of 5 stars

Contact seller

New - Softcover
Condition: New

� 41.89
Convert currency

� 6.64 shipping within U.S.A.
Destination, rates & speeds

Quantity: 3 available
Add to basket

Condition: New. SUPER FAST SHIPPING.

More buying choices from other sellers on AbeBooks

New offers from � 48.53

Used offers from � 138.73

Also find Softcover
Stock Image

Theory and Applications of Satisfiability Testing - SAT 2019: 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9-12, 2019, Proceedings (Theoretical Computer Science and General Issues)

Published by Springer, 2019

ISBN 10: 3030242579 ISBN 13: 9783030242572

Language: English

Seller: Best Price, Torrance, CA, U.S.A.

Seller rating 5 out of 5 stars

Contact seller

New - Softcover
Condition: New

� 41.89
Convert currency

� 6.64 shipping within U.S.A.
Destination, rates & speeds

Quantity: 2 available
Add to basket

Condition: New. SUPER FAST SHIPPING.

More buying choices from other sellers on AbeBooks

New offers from � 48.53

Used offers from � 122.80

Also find Softcover
Stock Image

Theory and Applications of Satisfiability Testing: 6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003, Selected ... (Lecture Notes in Computer Science, 2919)

Published by Springer, 2004

ISBN 10: 3540208518 ISBN 13: 9783540208518

Language: English

Seller: Best Price, Torrance, CA, U.S.A.

Seller rating 5 out of 5 stars

Contact seller

New - Softcover
Condition: New

� 41.89
Convert currency

� 6.64 shipping within U.S.A.
Destination, rates & speeds

Quantity: 1 available
Add to basket

Condition: New. SUPER FAST SHIPPING.

More buying choices from other sellers on AbeBooks

New offers from � 48.53

Used offers from � 50.11

Also find Softcover
Stock Image

Theory and Applications of Satisfiability Testing - SAT 2009: 12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings (Lecture Notes in Computer Science, 5584)

Published by Springer, 2009

ISBN 10: 3642027768 ISBN 13: 9783642027765

Language: English

Seller: Best Price, Torrance, CA, U.S.A.

Seller rating 5 out of 5 stars

Contact seller

New - Softcover
Condition: New

� 41.89
Convert currency

� 6.64 shipping within U.S.A.
Destination, rates & speeds

Quantity: 2 available
Add to basket

Condition: New. SUPER FAST SHIPPING.

More buying choices from other sellers on AbeBooks

New offers from � 48.53

Used offers from � 122.80

Also find Softcover
Stock Image

Theory and Applications of Satisfiability Testing - SAT 2018: 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, ... Computer Science and General Issues)

Published by Springer, 2018

ISBN 10: 3319941437 ISBN 13: 9783319941431

Language: English

Seller: Best Price, Torrance, CA, U.S.A.

Seller rating 5 out of 5 stars

Contact seller

New - Softcover
Condition: New

� 41.89
Convert currency

� 6.64 shipping within U.S.A.
Destination, rates & speeds

Quantity: 2 available
Add to basket

Condition: New. SUPER FAST SHIPPING.

More buying choices from other sellers on AbeBooks

New offers from � 48.53

Used offers from � 57.42

Also find Softcover
Stock Image

Theory and Applications of Satisfiability Testing - SAT 2021: 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings (Theoretical Computer Science and General Issues)

Published by Springer, 2021

ISBN 10: 3030802221 ISBN 13: 9783030802226

Language: English

Seller: Best Price, Torrance, CA, U.S.A.

Seller rating 5 out of 5 stars

Contact seller

New - Softcover
Condition: New

� 90.91
Convert currency

� 6.64 shipping within U.S.A.
Destination, rates & speeds

Quantity: 2 available
Add to basket

Condition: New. SUPER FAST SHIPPING.

More buying choices from other sellers on AbeBooks

New offers from � 97.55

Also find Softcover

Create a Want

Tell us what you're looking for and once a match is found, we'll inform you by e-mail.

Create a Want

BookSleuth

Forgotten the title or the author of a book? Our BookSleuth is specially designed for you.

Visit BookSleuth

Theory Applications Satisfiability Testing (278 results)

Search filters

Product Type

Condition Learn more

Binding

Collectible Attributes

Language (1)

Price

Free Shipping

Seller Location

Seller Rating

Create a Want

BookSleuth

Help with Search