Textbooks

The Elements of Computing Systems, Second Edition

Building a Modern Computer from First Principles

Exploratory Programming for the Arts and Humanities, Second Edition

Introduction to Quantum Algorithms via Linear Algebra, Second Edition

Knowledge Graphs

Fundamentals, Techniques, and Applications

Historical Linguistics, Fourth Edition

An Introduction

Software Design for Flexibility

How to Avoid Programming Yourself into a Corner

Lectures on the Philosophy of Mathematics

Proof and the Art of Mathematics

Examples and Extensions

Verifying Cyber-Physical Systems

A Path to Safe Autonomy

Code as Creative Medium

A Handbook for Computational Art and Design

The Phonology/Phonetics Interface

Biomechanics of Movement

The Science of Sports, Robotics, and Rehabilitation

Introduction to Computation and Programming Using Python, Third Edition

With Application to Computational Modeling and Understanding Data

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

Studying Sound

A Theory and Practice of Sound Design