Welcome to Cambridge University Press Computer Science.

Cambridge's respected computer science list seeks to combine an innovative and cutting edge approach with the highest standards of scholarship, writing and production across the whole range of the discipline. This encompasses everything from academic monographs to student textbooks and professional handbooks. We aim to reflect the latest developments in research, and also to provide materials for graduate and undergraduate students.

To browse our complete list of computer science titles, please use the menu at left.

Nils J. Nilsson

Artificial intelligence (AI) is a field within computer science that is attempting to build enhanced intelligence into computer systems. This book traces the history of the subject, from the early dreams of eighteenth-century (and earlier) pioneers to the more successful work of today’s AI engineers.

Marti A. Hearst

This book focuses on the human users of search engines and the tool they use to interact with them: the search user interface.

Computer and Human Vision Perspectives

Edited by Sven J. Dickinson, Ales Leonardis, Bernt Schiele, Michael J. Tarr

This edited volume presents a unique multidisciplinary perspective on the problem of visual object categorization.

Essays in Honour of Gilles Kahn

Edited by Yves Bertot, Gerard Huet, Jean-Jacques Levy, Gordon Plotkin

Gilles Kahn was one of the most influential figures in the development of computer science and information technology, not only in Europe but throughout the world. This volume of articles by several leading computer scientists serves as a fitting memorial to Kahn's achievements.

Sumio Watanabe

Sure to be influential, Watanabe’s book lays the foundations for the use of algebraic geometry in statistical learning theory.

Afra J. Zomorodian

Written by a computer scientist for computer scientists, this book teaches topology from a computational point of view, and shows how to solve real problems that have topological aspects involving computers.

Thom Fruhwirth

Constraint Handling Rules (CHR) is both a theoretical formalism based on logic and a practical programming language based on rules. This book, written by the creator of CHR, describes the theory of CHR and how to use it in practice.

Michel Grabisch, Jean-Luc Marichal, Radko Mesiar, Endre Pap

Aggregation is the process of combining several numerical values into a single representative value, and an aggregation function performs this operation. This is a comprehensive, rigorous and self-contained exposition of aggregation functions.

How to Succeed in an Extreme Testing Environment

John Watkins

This book provides practical guidance for professionals, practitioners, and researchers faced with creating and rolling out their own agile testing processes.

Practical Tools and Techniques in Software Development

John Fitzgerald, Peter Gorm Larsen

This book provides an insight into established techniques which help developers to overcome the complexity of software development by constructing models of software systems in early design stages.

Devdatt P. Dubhashi, Alessandro

This book presents a coherent and unified treatment of probabilistic techniques for obtaining high-probability estimates on the performance of randomized algorithms.

An Introduction to Basic Legal Principles and Their Application in Cyberspace

Robert Dunne

Assuming no previous knowledge of the law or any special knowledge of programming or computer science, this textbook offers undergraduates of all disciplines and professionals in the computing industry an understanding of basic legal principles and an awareness of the peculiarities associated with legal issues in cyberspace.

A Modern Approach

Sanjeev Arora, Boaz Barak

This beginning graduate textbook describes both recent achievements and classical results of computational complexity theory.

Robin Milner

It is important to be able to model networks of agents in order to understand and optimize their behavior. Robin Milner describes in this book just such a model, by presenting a unified and rigorous structural theory, based on bigraphs, for systems of interacting agents.

John Harrison

This book meets the demand for a self-contained and broad-based account of the concepts, the machinery and the use of automated reasoning.

Computational Analysis

Aidong Zhang

This book provides a comprehensive understanding of the computational methods available for the analysis of protein-protein interaction networks.

How to Think Like a Computer Scientist

Allen B. Downey

Python for Software Design is a concise introduction to software design using the Python programming language. Intended for people with no programming experience, this book starts with the most basic concepts and gradually adds new material.