Computer Aided Verification: 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings

Paracord!: How to Make the Best Bracelets, Lanyards, Key Chains, Buckles, and More

Naomiki Sato's Origami Roses: Create Lifelike Roses and Other Blossoms

Making Simple Automata

How to Solve a Rubik's Cube: The Easy Solution to The Rubik's Cube, A Beginner's Guide to Solving This Puzzle, Quick and Easily! (3x3 Cube) (Rubix) (2nd Edition)

Math Storm Olympiad Problems

Short-Cut Math

Origami Design Secrets: Mathematical Methods for an Ancient Art, Second Edition, Edition 2

The New World Champion Paper Airplane Book: Featuring the World Record-Breaking Design, with Tear-Out Planes to Fold and Fly

My Best Mathematical and Logic Puzzles

How to Make Origami Airplanes That Fly

Decorative Origami Boxes

Alex's Adventures in Numberland: Dispatches from the Wonderful World of Mathematics

Concepts of Modern Mathematics

Italian and Spanish Sculpture: Catalogue of the J. Paul Getty Museum Collection

536 Puzzles and Curious Problems

Cut and Fold Techniques for Pop-Up Designs

Shogi Japan's Game of Strategy