Program Development by Refinement: Case Studies Using the B Method

How to Solve It: A New Aspect of Mathematical Method

From Action Systems to Distributed Systems: The Refinement Approach

Audio Engineering - Dynamic Processing

Integrated Formal Methods: 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings

AI Engineering: Building Applications with Foundation Models

Formal Methods: Foundations and Applications: 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings

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

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

FM 2006: Formal Methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings

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

Graph Transformations: Third International Conference, ICGT 2006, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings

Logic Pro X: Audio and Music Production

Dialogue Editing for Motion Pictures: A Guide to the Invisible Art, Edition 2

Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I

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

The Music Producer's Ultimate Guide to FL Studio 20: Create production-quality music with FL Studio

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