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.

Ying Bai

Unlike most other database programming books, which discuss and present database programming techniques through huge blocks of programming code, this book uses a unique writing style to show readers how to develop professional and practical database programs using Visual Basic.NET 2005 Design Tools and Wizards related to ADO.NET 2.0.

Formal Specification and Automatic Verification

Ernst-Rüdiger Olderog, Henning Dierks

Real-time systems need to react to certain input stimuli within given time bounds. For example, an airbag in a car has to unfold within 300 milliseconds in a crash.

Linkages, Origami, Polyhedra

Erik D. Demaine, Joseph O'Rourke

How can linkages, pieces of paper, and polyhedra be folded?

Peter Brass

Advanced Data Structures presents a comprehensive look at the ideas, analysis, and implementation details of data structures as a specialized topic in applied algorithms.

Hiroshi Nagamochi, Toshihide Ibaraki

Algorithmic Aspects of Graph Connectivity is the first comprehensive book on this central notion in graph and network theory, emphasizing its algorithmic aspects.

Jeffrey Shallit

Intended for graduate students and advanced undergraduates in computer science, A Second Course in Formal Languages and Automata Theory treats topics in the theory of computation not usually covered in a first course.

An Introduction

J. Roger Hindley, Jonathan P. Seldin

Combinatory logic and lambda-calculus, originally devised in the 1920’s, have since developed into linguistic tools, especially useful in programming languages.

Noson S. Yanofsky, Mirco A. Mannucci

The multidisciplinary field of quantum computing strives to exploit some of the uncanny aspects of quantum mechanics to expand our computational horizons. Quantum Computing for Computer Scientists takes readers on a tour of this fascinating area of cutting-edge research.

Christopher D. Manning, Prabhakar Raghavan, Hinrich Schütze

Class-tested and coherent, this groundbreaking new textbook teaches web-era information retrieval, including web search and the related areas of text classification and text clustering from basic concepts.

Hardback | Learn More

$60.00 (Z)

Algorithmic, Game-Theoretic, and Logical Foundations

Yoav Shoham, Kevin Leyton-Brown

This exciting and pioneering new overview of multiagent systems, which are online systems composed of multiple interacting intelligent agents, i.e., online trading, offers a newly seen computer science perspective on multiagent systems.

Jeff Edmonds

There are many algorithm texts that provide lots of well-polished code and proofs of correctness. This book is not one of them. Instead, this book presents insights, notations, and analogies to help the novice describe and think about algorithms like an expert.

Paul Ammann, Jeff Offutt

Extensively class tested, this text takes an innovative approach to explaining the process of software testing: it defines testing as the process of applying a few well-defined, general-purpose test criteria to a structure or model of the software.

J. C. Huang

This book presents a unique method for decomposing a computer program along its execution paths, for simplifying the subprograms so produced, and for recomposing a program from its subprograms.

Jonathan Jacky, Margus Veanes, Colin Campbell, Wolfram Schulte

This book teaches new methods for specifying, analyzing, and testing software; essentials for creating high-quality software.

Technology and Policy

Fadi P. Deek, James A. M. McHugh

The open source movement is a worldwide effort to promote an open style of software development more aligned with the accepted intellectual style of science than the proprietary modes of invention that have been characteristic of modern business.