Texts in Computer Science

This revised and extensively expanded edition of Computability and Complexity Theory comprises essential materials that are core knowledge in the theory of computation. The book is self-contained, wit

Since the introduction of Hoares' Communicating Sequential Processes notation, powerful new tools have transformed CSP into a practical way of describing industrial-sized problems. This book presents

. An Ideal Resource for Improving Programming Knowledge . The challenges of problems from international programming competitions are an effective way to improve algorithmic and coding skills and under

An in-depth account of graph theory, written for serious students of mathematics and computer science. It reflects the current state of the subject and emphasises connections with other branches of pu

This practical and accessible text enables readers from operations research, business, engineering, public policy and computer science to analyze stochastic systems. It presents the major cases of sto

The art, craft, discipline, logic, practice and science of developing large-scale software products needs a professional base. The textbooks in this three-volume set combine informal, engineeringly so

The art, craft, discipline, logic, practice, and science of developing large-scale software products needs a believable, professional base. The textbooks in this three-volume set combine informal, eng

Intended as a first course in probability at post-calculus level, this book is of special interest to students majoring in computer science as well as in mathematics. Since calculus is used only occas

This clearly structured textbook/reference presents a detailed and comprehensive review of the fundamental principles of sequential graph algorithms, approaches for NP-hard graph problems, and approxi

This comprehensive and self-contained textbook presents an accessible overview of the state of the art of multivariate algorithmics and complexity. Increasingly, multivariate algorithmics is having si

This revised and expanded new edition includes supplementary web-based teaching resources and a new conceptual approach to parsing algorithms that applies to extended Backus-Naur Form grammars. It del

This is an introductory textbook and guide to the rapidly evolving field of predictive text mining. There are chapter summaries, historical and bibliographic remarks, and classroom-tested exercises fo

"Discrete Mathematics for Computer Science" is the perfect text to combine the fields of mathematics and computer science. Written by leading academics in the field of computer science, readers will g

This engaging and thought-provoking textbook examines the ethical, social, and policy challenges arising from our rapidly and continuously evolving computing technology, ranging from the Internet to t

In this new text, designed for sophomores studying mathematics and computer science, the authors cover the basics of difference equations and some of their applications in computing and in population

This book describes the key concepts, principles and implementation options for creating high-assurance cloud computing solutions. The guide starts with a broad technical overview and basic introducti

This text covers the state of the art in multivariate algorithmics and complexity, a vital field with countless applications in modern computing. It describes the latest methods of proving parameteriz

The two internationally renowned authors elucidate the structure of "fast" parallel computation. Its complexity is emphasised through a variety of techniques ranging from finite combinatorics, probabi

This 1987 book is a self-contained text on the probabilistic modelling method. It provides the reader with an understanding of the available results as well as with examples of their application. The only background assumed is a knowledge of basic calculus. The necessary fundamentals of probability are presented followed by an introduction to stochastic processes. The remainder of the book is devoted to the treatment of various single-station and their application to uni-programmed and multi-programmed systems and local and wide-area networks. Both exact and approximate solution methods are discussed, with as much emphasis on explaining the ideas and providing information, as on derivations and proofs. This book will still be of use for anyone with an interest in the history of computer science.

This textbook is an introduction to the design and writing of computer programs. It leads the reader through all the stages of program construction from the original specifications through to the final program. The formal verification of intermediate versions of the program is studied in considerable detail. The authors show how, given the formal specification of a program, data structure and program structure diagrams are drawn and then converted into a procedural program in a program design language (PDL). They demonstrate the conversion of PDL into a variety of real programming languages including Pascal, FORTRAN, COBOL, and Assembler. The book also includes chapters on abstract data types, analysing existing programs, and a small case study. First-year undergraduates in computer science and graduates taking courses in computing will find this a comprehensive introduction to program construction.

INVITATION TO COMPUTER SCIENCE is a well-respected text that provides an overview of the computer science field. Using a flexible, non-language specific model, INVITATION TO COMPUTER SCIENCE offers a

Mathematical Logic for Computer Science is a mathematics textbook with theorems and proofs, but the choice of topics has been guided by the needs of students of computer science. The method of semanti

Computer Science: The Hardware, Software and Heart of It focuses on the deeper aspects of the two recognized subdivisions of Computer Science, Software and Hardware. These subdivisions are shown to be

This easy-to-understand textbook presents a modern approach to learning numerical methods (or scientific computing), with a unique focus on the modeling and applications of the mathematical content. E

This revised and expanded new edition of an internationally successful classic presents an accessible introduction to the key methods in digital image processing for both practitioners and teachers. E

This clearly-structured, classroom-tested textbook/reference presents a methodical introduction to the field of CI. Providing an authoritative insight into all that is necessary for the successful app

This thoroughly revised and expanded fourth edition of the successful Ethical and Social Issues in the Information Age provides an up-to-date examination of the ethical, social, and policy challenges

As an introduction to fundamental geometric concepts and tools needed for solving problems of a geometric nature using a computer, this book attempts to fill the gap between standard geometry books, w

Systematically teaches key paradigmic algorithm design methodsProvides a deep insight into randomization

To perform computer simulation successfully, two rather different sets of skills are required. One of these relates to programming: a simulation program should do what its author intends and do it efficiently. The other is concerned with the collection and analysis of data: statistical tools have to be used in order to obtain with a minimum of effort, accurate and reliable estimates for the desired performance measures. Dr Mitrani covers both of these aspects of the simulation method. The important topics of point and interval estimation, simulation efficiency and the analysis of simulation experiments are discussed in detail. This book, first published in 1982, will be useful to both undergraduate and postgraduate students taking courses on simulation in departments of computer science, operations research and statistics in universities and polytechnics. It will be of benefit also to practitioners in the field.

This reader-friendly textbook presents a comprehensive review of the essentials of image data mining, and the latest cutting-edge techniques used in the field. The coverage spans all aspects of image

Java in Two Semesters caters both for those taking a first programming course in Java, as well as those going on to specialise in programming and software engineering.This revised and updated new edit

This book presents a novel approach to database concepts, describing a categorical logic for database schema mapping based on views, within a framework for database integration/exchange and peer-to-pe

Fundamentals of Java?: AP* Computer Science Essentials, Fourth Edition covers all of the AP requirements for Computer Science Exam A.