Automated Technology for Verification and Analysis: 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings

How to Solve It: A New Aspect of Mathematical Method

Dataclysm: Love, Sex, Race, and Identity--What Our Online Lives Tell Us about Our Offline Selves

Designing Data-Intensive Applications: The Big Ideas Behind Reliable, Scalable, and Maintainable Systems

Short Tricks of Math

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

Building Analytics Teams: Harnessing analytics and artificial intelligence for business improvement

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

Driving Data Quality with Data Contracts: A comprehensive guide to building reliable, trusted, and effective data platforms

What Is Data Science?

Domain Modeling Made Functional: Tackle Software Complexity with Domain-Driven Design and F#

The Model Thinker: What You Need to Know to Make Data Work for You

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

Data Structures and Program Design Using C++

Deciphering Data Architectures: Choosing Between a Modern Data Warehouse, Data Fabric, Data Lakehouse, and Data Mesh

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

536 Puzzles and Curious Problems

Building Data Science Teams

Logic: A Very Short Introduction: Edition 2

Foundations and Fundamental Concepts of Mathematics