The Best-Selling Computer Science Research Books of All Time

The Handbook of Theoretical Computer Science provides professionals and students with a comprehensive overview of the main results and developments in this rapidly evolving field. Volume A covers models of computation, complexity theory, data structures, and efficient computation in many recognized subdisciplines of theoretical computer science. Volume B takes up the theory of automata and rewriting systems, the foundations of modern programming languages, and logics for program specification and verification, and presents several studies on the theoretic modeling of advanced information processing.

The two volumes contain thirty-seven chapters, with extensive chapter references and individual tables of contents for each chapter. There are 5,387 entry subject indexes that include notational symbols, and a list of contributors and affiliations in each volume.

Computer Science: Reflections on the Field, Reflections from the Field provides a concise characterization of key ideas that lie at the core of computer science (CS) research. The book offers a description of CS research recognizing the richness and diversity of the field. It brings together two dozen essays on diverse aspects of CS research, their motivation and results. By describing in accessible form computer science's intellectual character, and by conveying a sense of its vibrancy through a set of examples, the book aims to prepare readers for what the future might hold and help to inspire CS researchers in its creation.

Computer science is no longer just a technology--for nearly all of us, it has become a way of life. Whether we spend our days surfing the Internet, or merely use an automatic teller machine on occasion, computers have affected our lives. This collection of sixteen original essays by distinguished computer scientists celebrates the achievements of computer science research, and speculates about the unsolved problems in the field. Various essays address artificial intelligence, parallel programming, global information systems, and a host of other relevant topics.

The book shows that long-term research in computer science is crucial and must not be driven solely by commercial considerations. The authors expose the difficult aspects of their topics in clear terms, and illustrate that computer science is now a full-fledged and growing intellectual discipline.