Browse Computer Science
- Algorithmics, Complexity, Computer Algebra, Computational Geometry
- Application Development and Software Engineering
- Artificial Intelligence and Natural Language Processing
- Communications, Information Theory and Security
- Computational Biology and Bioinformatics
- Computer Graphics, Image Processing, Robotics and Computer Vision
- Computer Hardware, Architecture and Systems
- Crytopgraphy, Cryptology and Coding
- Distributed, Networked and Mobile Computing
- General Computer Science
- IT Management and Ecommerce
- Knowledge Management, Databases, Datamining
- Pattern Recognition and Machine Learning
- Programming Languages and Applied Logic
- Scientific Computing, Scientific Software
- Social, Educational and Philosophical Aspects of Computing, e-publishing, HCI
|
Computer Science
|
Welcome to Cambridge University Press Computer Science. |
Featured Titles
|
Robert N. Barger
- Computer Ethics: A Case-based Approach teaches students to solve ethical dilemmas in the field of computing, taking a philosophical, rather than a legal, approach to the topic.
|
|
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. |
|
Oded Goldreich
This book offers a comprehensive perspective to modern topics in complexity theory, which is a central field of the theoretical foundations of computer science.
|
|
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. |
|
Nachum Dershowitz, Edward M. Reingold
A valuable resource for working programmers, as well as a fount of useful algorithmic tools for computer scientists, this new edition of the popular calendars book expands the treatment of the previous edition to new calendar variants: generic cyclical calendars and astronomical lunar calendars as well as the Korean, Vietnamese, Aztec, and Tibetan calendars. |
|
Jonathan Jacky, Margus Veanes...
This book teaches new methods for specifying, analyzing, and testing software; essentials for creating high-quality software. These methods increase the automation in each of these steps, making them more timely, more thorough, and more effective. |
|
Fadi P. Deek, James A. M. McHugh
This book addresses prominent projects in the open source movement, along with its enabling technologies, social characteristics, legal issues, business venues, and public and educational roles. |
|
Edited by Noam Nisan, Tim Roughgarden...
In the last few years game theory has had a substantial impact on computer science, especially on Internet- and e-commerce-related issues.
|
|
Edited by Franz Baader, Diego Calvanese...
The Description Logic Handbook provides a thorough account of the subject, covering all aspects of research in this field, namely theory, implementation, and applications. |
|
Albert S. Huang, Larry Rudolph
This book provides an introduction to Bluetooth programming, with a specific focus on developing real code. |
|
Luca Aceto, Anna Ingólfsdóttir...
Formal methods is the term used to describe the specification and verification of software and software systems using mathematical logic. |
|


Services
-
Book proposals, submission guidelines and ordering
-
Order your examination copies
-
Resources for librarians
-
How to order
Subscribe to Cambridge Alerts
Receive regular updates of
our new titles and special offers
|