Programming Books C Java PHP Python Learn more Browse Programming Books
Buy New
  • List Price: $119.00
  • Save: $19.01 (16%)
In Stock.
Ships from and sold by
Gift-wrap available.
Sell yours for a Gift Card
We'll buy it for $2.00
Learn More
Trade in now
Have one to sell? Sell on Amazon
Flip to back Flip to front
Listen Playing... Paused   You're listening to a sample of the Audible audio edition.
Learn more
See this 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) Paperback – July 8, 2005

ISBN-13: 978-3540278290 ISBN-10: 354027829X Edition: 2005th

Buy New
Price: $99.99
24 New from $56.84 13 Used from $8.09 1 Collectible from $122.63
Amazon Price New from Used from
"Please retry"
$56.84 $8.09
Free Two-Day Shipping for College Students with Amazon Student Free%20Two-Day%20Shipping%20for%20College%20Students%20with%20Amazon%20Student


Shop the New Digital Design Bookstore
Check out the Digital Design Bookstore, a new hub for photographers, art directors, illustrators, web developers, and other creative individuals to find highly rated and highly relevant career resources. Shop books on web development and graphic design, or check out blog posts by authors and thought-leaders in the design industry. Shop now

Product Details

  • Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues (Book 3542)
  • Paperback: 393 pages
  • Publisher: Springer; 2005 edition (July 8, 2005)
  • Language: English
  • ISBN-10: 354027829X
  • ISBN-13: 978-3540278290
  • Product Dimensions: 6.1 x 0.9 x 9.2 inches
  • Shipping Weight: 1.4 pounds (View shipping rates and policies)
  • Amazon Best Sellers Rank: #11,276,886 in Books (See Top 100 in Books)

Customer Reviews

There are no customer reviews yet.
5 star
4 star
3 star
2 star
1 star
Share your thoughts with other customers