Programming Books C Java PHP Python Learn more Browse Programming Books
Buy New
  • List Price: $119.00
  • Save: $18.96 (16%)
In Stock.
Ships from and sold by
Gift-wrap available.
Theory and Applications o... has been added to your Cart
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: $100.04
25 New from $56.91 16 Used from $7.99 1 Collectible from $55.93
Amazon Price New from Used from
"Please retry"
$56.91 $7.99

Shop the new
New! Introducing the, a hub for Software Developers and Architects, Networking Administrators, TPMs, and other technology professionals to find highly-rated and highly-relevant career resources. Shop books on programming and big data, or read this week's blog posts by authors and thought-leaders in the tech 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,112,073 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