Empirical Software Engineering and Verification: International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures

How to Solve It: A New Aspect of Mathematical Method

Software Engineering: International Summer Schools, LASER 2013-2014, Elba, Italy, Revised Tutorial Lectures

Short Tricks of Math

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

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

Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions

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

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

Present and Ulterior Software Engineering

536 Puzzles and Curious Problems

Tests and Proofs: First International Conference, TAP 2007 Zurich, Switzerland, February 12-13, 2007 Revised Papers

Logic: A Very Short Introduction: Edition 2

Dependable Systems: Software, Computing, Networks: Research Results of the DICS Program

Foundations and Fundamental Concepts of Mathematics

Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment: Second International Workshop, DEVOPS 2019, Château de Villebrumier, France, May 6–8, 2019, Revised Selected Papers

That's Maths: The Mathematical Magic in Everyday Life

Balancing Agility and Formalism in Software Engineering: Second IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2007, Poznan, Poland, October 10-12, 2007, Revised Selected Papers