Formal Methods for Industrial Critical Systems: 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012, Proceedings

How to Solve It: A New Aspect of Mathematical Method

Concurrency in Dependable Computing

Short Tricks of Math

Reliable Software Technologies – Ada-Europe 2011: 16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24, 2011. Proceedings

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

Trustworthy Cyber-Physical Systems Engineering

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

Software Engineering for Resilient Systems: 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4–5, 2017, 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

Formal Methods: Foundations and Applications: 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings

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

Industrial Deployment of System Engineering Methods

536 Puzzles and Curious Problems

Logic: A Very Short Introduction: Edition 2

Architecting Dependable Systems III

Foundations and Fundamental Concepts of Mathematics

Scientific Engineering of Distributed Java Applications: 4th International Workshop, FIDJI 2004, Luxembourg-Kirchberg, Luxembourg, November 24-25, 2004, Revised Selected Papers

That's Maths: The Mathematical Magic in Everyday Life

Computer Safety, Reliability, and Security: 38th International Conference, SAFECOMP 2019, Turku, Finland, September 11–13, 2019, Proceedings