Static Analysis: 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 6, 2000, Proceedings

How to Solve It: A New Aspect of Mathematical Method

Semantics and Algebraic Specification: Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday

Short Tricks of Math

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

Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I

Designing Machine Learning Systems: An Iterative Process for Production-Ready Applications

Tools and Algorithms for the Construction and Analysis of Systems: 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006, Proceedings

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

Model Checking Software: 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings

Machine Learning for Hackers: Case Studies and Algorithms to Get You Started

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

Mastering Reinforcement Learning with Python: Build next-generation, self-learning models using reinforcement learning techniques and best practices

Practical Guide to Applied Conformal Prediction in Python: Learn and apply the best uncertainty frameworks to your industry applications

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

Forecasting Time Series Data with Facebook Prophet: Build, improve, and optimize time series forecasting models using the advanced forecasting tool

536 Puzzles and Curious Problems

Logic: A Very Short Introduction: Edition 2

Foundations and Fundamental Concepts of Mathematics