Computer Ethics: A Case-based Approach

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.

Finding Out About: A Cognitive Perspective on Search Engine Technology and the WWW

Richard K. Belew

The World Wide Web is rapidly filling with more text than anyone could have imagined a short time ago. However, the task of determining which data is relevant has become appreciably harder.

How to Think About Algorithms

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.

Computational Complexity: A Conceptual Perspective

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.

Introduction to Software Testing

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.

Path-Oriented Program Analysis

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.

Calendrical Calculations

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.

Model-Based Software Testing and Analysis with C#

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.

Open Source

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.

Algorithmic Game Theory

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.

The Description of Logic Handbook

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.

Bluetooth Essentials for Programmers

Albert S. Huang, Larry Rudolph

This book provides an introduction to Bluetooth programming, with a specific focus on developing real code.

Reactive Systems

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.