(Paperback)

(Hardback)

A textbook that teaches students to read and write proofs using Athena.

(Paperback, second edition)

A completely revised edition, offering new design recipes for interactive programs and support for images as plain values, testing, event-driven programming, and even distributed programming.

(Paperback)

How to teach computing concepts without computers! How to Raise a Tech Genius makes the computing curriculum accessible for parents and families.

(Paperback)

"Introduces the ethical dimensions of data science for undergraduates, masters students, and professionals"--

(Hardback)

"The leading introductory textbook and reference on algorithms"--

(Hardback)

A self-contained introduction to abstract interpretationbased static analysis, an essential resource for students, developers, and users.

(Paperback, third edition)

An updated, concise reference for the Java programming language, version 8.0, and essential parts of its class languages, offering more detail than a standard textbook.

(Hardback)

"An overview of machine learning from data that is easily collectible, but challenging to annotate for learning algorithms"--

(Hardback)

"This book covers how to build software products with machine-learning components and provides a holistic view of ML systems built to achieve safety, security, usability, fairness in the real world"--

(Hardback)

A new, quantitative architecture simulation approach to software design that circumvents costly testing cycles by modeling quality of service in early design states.

(Hardback, 6th edition)

(Hardback)

"Physically Based Rendering, fourth edition, is a computer graphics textbook that takes a physically based approach to image synthesis. It sets the standard for physically based rendering for the field and the industry"--

(Hardback)

"An introduction to the theory and practice of abstract interpretation, with applications to the semantics, specification, verification, and static analysis of computer programs"--

(Hardback, second edition)

The new edition of an introduction to computer programming within the context of the visual arts, using the open-source programming language Processing; thoroughly updated throughout.

(Paperback)

"The book shows what it means to write specifications for programs, what it means for programs to satisfy those specifications, and how to write proofs that connect specifications and programs"--

(Paperback)

Learning programming with one of the coolest applications around: algorithmic puzzles ranging from scheduling selfie time to verifying the six degrees of separation hypothesis.

(Hardback)

An introduction to algorithms for readers with no background in advanced mathematics or computer science, emphasizing examples and real-world problems.

(Hardback)

The first comprehensive presentation of reduction semantics in one volume, and the first tool set for such forms of semantics.

(Hardback)

An engaging, illustrated collection of insights revealing the practices and principles that expert software designers use to create great software.

(Paperback)

An engaging and approachable resource for beginning-to-intermediate coders eager to learn advanced ideas in computer programming.

(Paperback)

An introduction to writing proofs about computer programs, written in an accessible question-and-answer style, complete with step-by-step examples and a simple proof assistant.

(Paperback, fourth edition)

This text is a companion volume to "The Seasoned Schemer" and includes thoughts for anyone who wants to know what computing is about and to learn the physics of cyberspace. The information is presented in a humorous and easy-to-grasp fashion.

(Paperback)

An introduction to dependent types, demonstrating the most beautiful aspects, one step at a time.