Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays

How to Solve It: A New Aspect of Mathematical Method

Theoretical Aspects of Computing - ICTAC 2007: 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings

Short Tricks of Math

ZB 2002: Formal Specification and Development in Z and B: 2nd International Conference of B and Z Users Grenoble, France, January 23-25, 2002, Proceedings

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

Agent-Based Hybrid Intelligent Systems: An Agent-Based Framework for Complex Problem Solving

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

Formal Methods and Software Engineering: 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings

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

Knowledge Science, Engineering and Management: Second International Conference, KSEM 2007, Melbourne, Australia, November 28-30, 2007, Proceedings

Multiagent Systems: Algorithmic, Game-Theoretic, and Logical Foundations

Industrial-Strength Formal Methods in Practice

536 Puzzles and Curious Problems

Logic: A Very Short Introduction: Edition 2

Unifying Theories of Programming: 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers

Foundations and Fundamental Concepts of Mathematics

Stochastic Dynamics

That's Maths: The Mathematical Magic in Everyday Life