Description:
Springer, 2007-05-18. Paperback. Very Good. 6x0x9. Ex-library paperback in very nice condition with the usual markings and attachments.
![Theory and Applications of Satisfiability Testing - SAT 2007: 10th International](https://d3525k1ryd2155.cloudfront.net/f/873/727/9783540727873.OL.0.l.jpg)
Stock Photo: Cover May Be Different
Theory and Applications of Satisfiability Testing - SAT 2007: 10th International Conference, Lisbon, Portugal, May 28-31, 2007 Proceedings Paperback - 2007
by Joao Marques-Silva (Editor); Karem A. Sakallah (Editor)
From the publisher
Details
- Title Theory and Applications of Satisfiability Testing - SAT 2007: 10th International Conference, Lisbon, Portugal, May 28-31, 2007 Proceedings
- Author Joao Marques-Silva (Editor); Karem A. Sakallah (Editor)
- Binding Paperback
- Edition 1st
- Pages 388
- Volumes 1
- Language ENG
- Publisher Springer
- Date 2007-05-18
- Illustrated Yes
- Features Illustrated, Index, Table of Contents
- ISBN 9783540727873 / 3540727876
- Weight 1.34 lbs (0.61 kg)
- Dimensions 9.19 x 6.26 x 0.92 in (23.34 x 15.90 x 2.34 cm)
- Dewey Decimal Code 004
More Copies for Sale
![Theory and Applications of Satisfiability Testing - SAT 2007: 10th International Conference, SAT...](https://d3525k1ryd2155.cloudfront.net/f/873/727/9783540727873.IN.0.m.jpg)
Stock Photo: Cover May Be Different
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)
by Marques-Silva, Joao [Editor]; Sakallah, Karem A. [Editor];
- Used
- Very Good
- Paperback
- Condition
- Used - Very Good
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9783540727873 / 3540727876
- Quantity Available
- 1
- Seller
-
Spring Branch, Texas, United States
- Item Price
-
A$67.94A$9.11 shipping to USA
Show Details
Item Price
A$67.94
A$9.11
shipping to USA
![Theory and Applications of Satisfiability Testing - SAT 2007: 10th International Conference, SAT...](https://d3525k1ryd2155.cloudfront.net/f/873/727/9783540727873.IN.0.m.jpg)
Stock Photo: Cover May Be Different
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)
by Marques-Silva, Joao, Sakallah, Karem A.
- Used
- Very Good
- Condition
- Used - Very Good
- Edition
- 2007
- ISBN 10 / ISBN 13
- 9783540727873 / 3540727876
- Quantity Available
- 1
- Seller
-
Philadelphia, Pennsylvania, United States
- Item Price
-
A$71.70FREE shipping to USA
Show Details
Description:
Springer. 2007. Very Good. Very Good. Ship within 24hrs. Satisfaction 100% guaranteed. APO/FPO addresses supported
Item Price
A$71.70
FREE shipping to USA
![Theory And Applications Of Satisfiability Testing - Sat 2007](https://d3525k1ryd2155.cloudfront.net/f/873/727/9783540727873.IN.0.m.jpg)
Stock Photo: Cover May Be Different
Theory And Applications Of Satisfiability Testing - Sat 2007
- New
- Condition
- New
- ISBN 10 / ISBN 13
- 9783540727873 / 3540727876
- Quantity Available
- 1
- Seller
-
New Delhi, India
- Item Price
-
A$74.19A$7.60 shipping to USA
Show Details
Description:
New/New. Brand New Original US Edition, Perfect Condition. Printed in English. Excellent Quality, Service and customer satisfaction guaranteed!
Item Price
A$74.19
A$7.60
shipping to USA
![Theory and Applications of Satisfiability Testing - SAT 2007 : 10th International Conference, SAT...](https://d3525k1ryd2155.cloudfront.net/h/460/736/1588736460.0.m.jpg)
Theory and Applications of Satisfiability Testing - SAT 2007 : 10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, Proceedings
by Joao Marques-Silva
- New
- Condition
- New
- ISBN 10 / ISBN 13
- 9783540727873 / 3540727876
- Quantity Available
- 929
- Seller
-
Uxbridge, Greater London, United Kingdom
- Item Price
-
A$94.18A$15.37 shipping to USA
Show Details
Description:
New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The Theory and Applications of Satisfiability Testing - SAT 2007 : 10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, Proceedings.
Item Price
A$94.18
A$15.37
shipping to USA
![Theory and Applications of Satisfiability Testing - SAT 2007](https://d3525k1ryd2155.cloudfront.net/f/873/727/9783540727873.IN.0.m.jpg)
Stock Photo: Cover May Be Different
Theory and Applications of Satisfiability Testing - SAT 2007
- Used
- Condition
- Used
- ISBN 10 / ISBN 13
- 9783540727873 / 3540727876
- Quantity Available
- 1
- Seller
-
Woodside, New York, United States
- Item Price
-
A$85.40A$6.07 shipping to USA
Show Details
Description:
Springer , pp. 404 . Papeback. Used.
Item Price
A$85.40
A$6.07
shipping to USA
![THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2007](https://d3525k1ryd2155.cloudfront.net/f/873/727/9783540727873.IN.0.m.jpg)
Stock Photo: Cover May Be Different
THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2007
by MARQUES-SILVA, JOAO; SAKALLAH, KAREM A,
- New
- Paperback
- first
- Condition
- New
- Edition
- 1st
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9783540727873 / 3540727876
- Quantity Available
- 5
- Seller
-
New Delhi, India
- Item Price
-
A$88.22A$15.21 shipping to USA
Show Details
Description:
Springer, 2007. 1st. Paperback. New/New.
Item Price
A$88.22
A$15.21
shipping to USA
![Theory and Applications of Satisfiability Testing - SAT 2007: 10th International Conference, SAT...](https://d3525k1ryd2155.cloudfront.net/f/873/727/9783540727873.IN.0.m.jpg)
Stock Photo: Cover May Be Different
Theory and Applications of Satisfiability Testing - SAT 2007: 10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, Proceedings
by Joao Marques-Silva
- New
- Paperback
- Condition
- New
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9783540727873 / 3540727876
- Quantity Available
- 10
- Seller
-
Southport, Merseyside, United Kingdom
- Item Price
-
A$113.59A$19.14 shipping to USA
Show Details
Description:
Paperback / softback. New. Constitutes refereed proceedings of the 10th International Conference on Theory and Applications of Satisfiability Testing, SAT 2007, held in Lisbon, Portugal in May 2007. This book covers research issues in propositional and quantified Boolean formula satisfiability testing.
Item Price
A$113.59
A$19.14
shipping to USA