Verification, Model Checking, and Abstract Interpretation: 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 Proceedings

How to Solve It: A New Aspect of Mathematical Method

Building Scalable Network Services: Theory and Practice

Compiler Construction: 22nd International Conference, CC 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings

Short Tricks of Math

Functional and Logic Programming: 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10–12, 2022, Proceedings

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)

Concurrent Objects and Beyond: Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday

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

Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques: 16th International Workshop, APPROX 2013, and 17th International Workshop, RANDOM 2013, Berkeley, CA, USA, August 21-23, 2013, Proceedings

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

536 Puzzles and Curious Problems

Logic: A Very Short Introduction: Edition 2

Building a Web 2.0 Portal with ASP.NET 3.5: Learn How to Build a State-of-the-Art Ajax Start Page Using ASP.NET, .NET 3.5, LINQ, Windows WF, and More

Foundations and Fundamental Concepts of Mathematics

That's Maths: The Mathematical Magic in Everyday Life

Progress in Cryptology -- LATINCRYPT 2015: 4th International Conference on Cryptology and Information Security in Latin America, Guadalajara, Mexico, August 23-26, 2015, Proceedings

The Canterbury Puzzles and Other Curious Problems