Rigorous Software Engineering for Service-Oriented Systems: Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing

How to Solve It: A New Aspect of Mathematical Method

Theoretical Aspects of Computing - ICTAC 2005: Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings

Alan Turing: The Enigma: The Book That Inspired the Film The Imitation Game - Updated Edition

Fundamental Approaches to Software Engineering: 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings

What Is Mathematics?: An Elementary Approach to Ideas and Methods, Edition 2

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

Web Engineering: 4th International Conference, ICWE 2004, Munich, Germany, July 26-30, 2004, Proceedings

Zero: The Biography of a Dangerous Idea

Recent Trends in Algebraic Development Techniques: 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers

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

Trustworthy Global Computing: 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers

Humble Pi: A Comedy of Maths Errors

Component-Based Software Engineering: 12th International Symposium, CBSE 2009 East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings

Knowledge Science, Engineering and Management: 8th International Conference, KSEM 2015, Chongqing, China, October 28-30, 2015, 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

536 Puzzles and Curious Problems

Logical Methods: In Honor of Anil Nerode’s Sixtieth Birthday

Software-Intensive Systems and New Computing Paradigms: Challenges and Visions