Interactive Theorem Proving: 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings

How to Solve It: A New Aspect of Mathematical Method

Multimedia Applications

Short Tricks of Math

Testing Software and Systems: 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15–17, 2019, 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)

Farming Simulator Modding For Dummies

Gravity Advanced Level Physics GCE (Easy JavaScript Simulation) 1/2: 20170802 version

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

Mathematical Modelling

Construction Program Management – Decision Making and Optimization Techniques

Digital Libraries and Archives: 7th Italian Research Conference, IRCDL 2011, Pisa, Italy,January 20-21, 2011. Revised Papers

C++ Game Animation Programming: Learn modern animation techniques from theory to implementation using C++, OpenGL, and Vulkan, Edition 2

Procedural 3D Modeling Using Geometry Nodes in Blender: Discover the professional usage of geometry nodes and develop a creative approach to a node-based workflow

Unreal Engine 5 Shaders and Effects Cookbook: Over 50 recipes to help you create materials and utilize advanced shading techniques, Edition 2

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