Designing Reliable Distributed Systems: A Formal Methods Approach Based on Executable Modeling in Maude

How to Solve It: A New Aspect of Mathematical Method

Rewriting Logic and Its Applications: 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers

Short Tricks of Math

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

International Symposium on Fundamentals of Software Engineering: International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings

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

Software Engineering and Formal Methods: 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, 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

Coordination Models and Languages: 5th International Conference, COORDINATION 2002, YORK, UK, April 8-11, 2002 Proceedings

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

Theoretical Aspects of Computing – ICTAC 2021: 18th International Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September 8–10, 2021, Proceedings

536 Puzzles and Curious Problems

Fundamentals of Software Engineering: Fourth International IPM Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers

Logic: A Very Short Introduction: Edition 2

Formal Techniques for Safety-Critical Systems: Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers

Foundations and Fundamental Concepts of Mathematics

Logic, Rewriting, and Concurrency: Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday

That's Maths: The Mathematical Magic in Everyday Life