HANDBOOK OF SATISFIABILITY

HANDBOOK OF SATISFIABILITY

HANDBOOK OF SATISFIABILITY

Barcode: 09781643681603
Brand: IOS PRESS
Best Priced
sold by Hive Books
Hive Books
£180.00
Visit Store
Hive Books
Hive Books
£180.00
Free
Amazon UK
Amazon UK
Search
eBay UK
eBay UK
Search
Our site contains affiliate links, and we may earn a commission for purchases made through these links at no extra cost to you.This helps support our work in bringing you the best price comparisons.

More From IOS PRESS

INTEGRATED CITIZEN CENTERED DIGITAL HEAE
INTEGRATED CITIZEN CENTERED DIGITAL HEAE
from £94.15
DESIGN OF HIGH PERFORMANCE MECHAT 3RD ED
DESIGN OF HIGH PERFORMANCE MECHAT 3RD ED
from £122.00
NEUROSYMBOLIC ARTIFICIAL INTELLIGENCE TH
NEUROSYMBOLIC ARTIFICIAL INTELLIGENCE TH
from £105.00
Citizens and the New Governance : Beyond New Public Management
Citizens and the New Governance : Beyond New Public Management
from £19.25
Aerodynamic Design of Transport Aircraft
Aerodynamic Design of Transport Aircraft
from £68.00
Free Form Structural Design : Schemes, Systems and Prototypes of Structures for Irregular Shaped Buildings
Free Form Structural Design : Schemes, Systems and Prototypes of Structures for Irregular Shaped Buildings
from £34.00
Open Design, a Stakeholder-oriented Approach in Architecture, Urban Planning, and Project Management
Open Design, a Stakeholder-oriented Approach in Architecture, Urban Planning, and Project Management
from £55.00
The Road Ahead : Transition to Adult Life for Persons with Disabilities
The Road Ahead : Transition to Adult Life for Persons with Disabilities
from £59.00
Current Principles and Practices of Telemedicine and e-Health
Current Principles and Practices of Telemedicine and e-Health
from £80.85
ADVANCES IN MANUFACTURING TECHNOLOGY XXX
ADVANCES IN MANUFACTURING TECHNOLOGY XXX
from £149.00
The Case of the Frozen Addicts : How the Solution of a Medical Mystery Revolutionized the Understanding of Parkinson's Disease
The Case of the Frozen Addicts : How the Solution of a Medical Mystery Revolutionized the Understanding of Parkinson's Disease
from £17.00
Ontology Learning from Text : Methods, Evaluation and Applications
Ontology Learning from Text : Methods, Evaluation and Applications
from £94.00

Price History

Excluding delivery costs, shows the lowest price over time.

Other Products You Might Like

Verification of Data-Aware Processes via Satisfiability Modulo Theories
Verification of Data-Aware Processes via Satisfiability Modulo Theories
from £50.99
Introduction to Propositional Satisfiability
Introduction to Propositional Satisfiability
from £16.00
Bridging Constraint Satisfaction and Boolean Satisfiability
Bridging Constraint Satisfaction and Boolean Satisfiability
from £38.24
High Quality Test Pattern Generation and Boolean Satisfiability
High Quality Test Pattern Generation and Boolean Satisfiability
from £76.08
SAT 2005 : Satisfiability Research in the Year 2005
SAT 2005 : Satisfiability Research in the Year 2005
from £110.08
Handbook of Orthodontics : Handbook of Orthodontics E-Book
Handbook of Orthodontics : Handbook of Orthodontics E-Book
from £37.79
Handbook of Plant Morphology : Being the Handbook of Plant Dissection
Handbook of Plant Morphology : Being the Handbook of Plant Dissection
from £5.82
Theory and Applications of Satisfiability Testing - SAT 2020 : 23rd International Conference, Alghero, Italy, July 3-10, 2020, Proceedings
Theory and Applications of Satisfiability Testing - SAT 2020 : 23rd International Conference, Alghero, Italy, July 3-10, 2020, Proceedings
from £38.24
Theory and Applications of Satisfiability Testing - SAT 2016 : 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings
Theory and Applications of Satisfiability Testing - SAT 2016 : 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings
from £53.55
Theory and Applications of Satisfiability Testing -- SAT 2012 : 15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings
Theory and Applications of Satisfiability Testing -- SAT 2012 : 15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings
from £38.24
Theory and Applications of Satisfiability Testing - SAT 2013 : 16th International Conference, Helsinki, Finland, July 8-12, 2013, Proceedings
Theory and Applications of Satisfiability Testing - SAT 2013 : 16th International Conference, Helsinki, Finland, July 8-12, 2013, Proceedings
from £38.24
Theory and Applications of Satisfiability Testing - SAT 2016 : 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings
Theory and Applications of Satisfiability Testing - SAT 2016 : 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings
from £38.24
Handbook Of Kinesiology
Handbook Of Kinesiology
from £65.15
Handbook Of Thermoluminescence
Handbook Of Thermoluminescence
from £48.00
Handbook Of Neurology
Handbook Of Neurology
from £37.60
Handbook of Mathematics
Handbook of Mathematics
from £68.85
Handbook of Stroke
Handbook of Stroke
from £36.83
Handbook of Nephrology
Handbook of Nephrology
from £39.67
Handbook of Mariculture
Handbook of Mariculture
from £120.00
Handbook of Psycholinguistics
Handbook of Psycholinguistics
from £122.49