Sort by: Relevance
Sort by
Relevance
Price (low to high)
Price (high to low)
Rating
Publication (old to new)
Publication (new to old)
Filters
Sort by: Relevance
Sort by: Relevance
Relevance
Price (low to high)
Price (high to low)
Rating
Publication (old to new)
Publication (new to old)
Filters
13 Products
13 Products Page
of 1
Handbook of Satisfiability
Handbook of Satisfiability
Armin Biere
Hardback
 
£124
Usually dispatched within 5 weeks
Theory and Applications of Satisfiability Testing - SAT 2006
Theory and Applications of Satisfiability Testing - SAT 2006
Armin Biere
Paperback
 
£44.99
Usually dispatched within 3 weeks
Computer Aided Verification
Computer Aided Verification
Armin Biere
Paperback
 
£89.99
Usually dispatched within 3 weeks
Hardware and Software: Verification and Testing
Hardware and Software: Verification and Testing
Armin Biere
Paperback
 
£39.99
Usually dispatched within 3 weeks
Digitaltechnik - Eine praxisnahe Einführung
Digitaltechnik - Eine praxisnahe Einführung
Armin Biere
Paperback
 
£24.99
Usually dispatched within 3 weeks
Tools and Algorithms for the Construction and Analysis of Systems
Tools and Algorithms for the Construction and Analysis of Systems
Armin Biere
Paperback
 
£34.99
Usually dispatched within 3 weeks
Tools and Algorithms for the Construction and Analysis of Systems
Tools and Algorithms for the Construction and Analysis of Systems
Armin Biere
Paperback
 
£34.99
Usually dispatched within 3 weeks
Tools and Algorithms for the Construction and Analysis of Systems
Tools and Algorithms for the Construction and Analysis of Systems
Armin Biere
Hardback
 
£54.95
Usually dispatched within 2 weeks
Tools and Algorithms for the Construction and Analysis of Systems
Tools and Algorithms for the Construction and Analysis of Systems
Armin Biere
Paperback
 
£50.95
Usually dispatched within 2 weeks
Tools and Algorithms for the Construction and Analysis of Systems
Tools and Algorithms for the Construction and Analysis of Systems
Armin Biere
Hardback
 
£58.95
Usually dispatched within 2 weeks
Tools and Algorithms for the Construction and Analysis of Systems
Tools and Algorithms for the Construction and Analysis of Systems
Armin Biere
Paperback
 
£54.95
Usually dispatched within 2 weeks
Handbook of Satisfiability
Handbook of Satisfiability
Armin Biere
Hardback
 
£198
Usually dispatched within 1-2 days
Automated Reasoning
Automated Reasoning
Armin Biere
Paperback
 
£34.99
Published 02/09/2026