Principles and Practice of Constraint Programming - CP 2001: 7th International Conference, CP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings

How to Solve It: A New Aspect of Mathematical Method

Algorithmic Decision Theory: 4th International Conference, ADT 2015, Lexington, KY, USA, September 27-30, 2015, Proceedings

XDA Developers' Android Hacker's Toolkit: The Complete Guide to Rooting, ROMs and Theming

SAT 2005: Satisfiability Research in the Year 2005

Logically Fallacious: The Ultimate Collection of Over 300 Logical Fallacies (Academic Edition)

Theory and Applications of Satisfiability Testing – SAT 2017: 20th International Conference, Melbourne, VIC, Australia, August 28 – September 1, 2017, Proceedings

An Illustrated Book of Bad Arguments: Learn the Lost Art of Making Sense

Abstraction, Reformulation, and Approximation: 4th International Symposium, SARA 2000 Horseshoe Bay, USA, July 26-29, 2000 Proceedings

Linux All-In-One For Dummies: Edition 7

Handbook of Constraint Programming

Mastering Windows Server 2012 R2

Handbook of Satisfiability: Second Edition

Fast Math: Learn the Secrets of Mental Math: By Using Vedic Math and Other Math Tricks to Perform Mental Calculations from Multiplication to Percentages without Calculators

Alan Turing: The Enigma: The Book That Inspired the Film The Imitation Game - Updated Edition

536 Puzzles and Curious Problems

Linux Device Drivers: Where the Kernel Meets the Hardware, Edition 3

Foundations and Fundamental Concepts of Mathematics