Textbooks

Proof and the Art of Mathematics

Examples and Extensions

Knowledge Graphs

Fundamentals, Techniques, and Applications

Information-Driven Planning and Control

Exploratory Programming for the Arts and Humanities, Second Edition

Introduction to Computation and Programming Using Python, Third Edition

With Application to Computational Modeling

Introduction to Quantum Algorithms via Linear Algebra, Second Edition

Verifying Cyber-Physical Systems

A Path to Safe Autonomy

Code as Creative Medium

A Teacher's Manual

Lectures on the Philosophy of Mathematics

Biomechanics of Movement

The Science of Sports, Robotics, and Rehabilitation

The Elements of Computing Systems, Second Edition

Building a Modern Computer from First Principles

Computational Psychiatry

A Primer

Intermediate Microeconomic Theory

Tools and Step-by-Step Examples

Fundamentals of Machine Learning for Predictive Data Analytics, Second Edition

Algorithms, Worked Examples, and Case Studies

Perceptual Learning

How Experience Shapes Visual Perception

Microeconomic Essentials

Understanding Economics in the News

Proof and the Art of Mathematics

Multi-Agent Oriented Programming

Programming Multi-Agent Systems Using JaCaMo

Bayesian Statistics for Experimental Scientists

A General Introduction Using Distribution-Free Methods

Moving Planets Around

An Introduction to N-Body Simulations Applied to Exoplanetary Systems

Bitcoin, Blockchain, and Cryptoassets

A Comprehensive Introduction

Elements of Game Design

Topology

A Categorical Approach

Studying Sound

A Theory and Practice of Sound Design