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

How to Solve It: A New Aspect of Mathematical Method

Declarative Networking

Short Tricks of Math

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

Formal Aspects of Security and Trust: 7th International Workshop, FAST 2010, Pisa, Italy, September 16-17, 2010. Revised Selected Papers

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

Logic, Rewriting, and Concurrency: Essays Dedicated to José Meseguer 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

Composing Model-Based Analysis Tools

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

Formal to Practical Security: Papers Issued from the 2005-2008 French-Japanese Collaboration

536 Puzzles and Curious Problems

Logic: A Very Short Introduction: Edition 2

Software Security -- Theories and Systems: Mext-NSF-JSPS International Symposium, ISSS 2002, Tokyo, Japan, November 8-10, 2002, Revised Papers

Foundations and Fundamental Concepts of Mathematics

That's Maths: The Mathematical Magic in Everyday Life

All About Maude - A High-Performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting Logic