Theory and Applications of Satisfiability Testing Theoretical Computer Science and General Issues 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers - Lecture Notes in Computer Science
2005th edition
Paperback (08 Jul 2005)
Save $0.44
-
RRP $60.41 - $59.97
Includes delivery to the United States
10+ copies available online - Usually dispatched within 7 days
Check stock
Book information
| ISBN: | 9783540278290 |
| Publisher: | Springer Berlin Heidelberg |
| Imprint: | Springer |
| Pub date: | 08 Jul 2005 |
| Edition: | 2005th edition |
| Language: | English |
| Number of pages: | 393 |
| Weight: | 576g |
| Height: | 234mm |
| Width: | 156mm |
| Spine width: | 21mm |
We recommend
$18.14off
AI and Machine Learning for Cod...
Paperback
Published 16 Oct 2020
Save $18.14
RRP $71.15- $53.01
$9.10off
Deep Learning-Based Forward Mod...
Hardback
Published 06 Jul 2023
Save $9.10
RRP $104.72- $95.62
$1.82off
Introduction to Python for Huma...
Paperback
Published 26 Jul 2023
Save $1.82
RRP $61.76- $59.94
$4.69off
Applied Evolutionary Algorithms...
Paperback
Published 26 Jun 2023
Save $4.69
RRP $73.84- $69.15
$5.30off
Algorithmic Culture Before the ...
Paperback
Published 06 Jun 2023
Save $5.30
RRP $33.57- $28.27