Introduction to Organisational Behaviour

How to Solve It: A New Aspect of Mathematical Method

Abstract State Machines, Alloy, B, TLA, VDM, and Z: 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings

Short Tricks of Math

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

Integrated Formal Methods: Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002. Proceedings.

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

Formal Methods and Software Engineering: 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, 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

Model-Based Software Testing and Analysis with C#

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

Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings

536 Puzzles and Curious Problems

Methods, Models and Tools for Fault Tolerance

Logic: A Very Short Introduction: Edition 2

Rigorous Development of Complex Fault-Tolerant Systems

Foundations and Fundamental Concepts of Mathematics

Model-Driven Engineering Languages and Systems: 17th International Conference, MODELS 2014, Valencia, Spain, September 283– October 4, 2014. Proceedings

That's Maths: The Mathematical Magic in Everyday Life

Fields of Logic and Computation II: Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday