A timely survey of the field from the point of view of some of the subject's most active researchers. Divided into several parts organized by theme, the book first covers the underlying methodology re
Understanding programming and programming languages requires knowledge of the underlying theoretical model. This book explores aspects of programming that are amenable to mathematical proof. The autho
The book represents an attempt by the authors to gather together the most fundamental results on string-rewriting systems. The goal is to explain these results in such a way that they can be understoo
Since the summer of 1973, when I became a Burroughs Research Fellow, my life has been very different from what it had been before. The daily routine changed: instead of going to the University each da
Artificial intelligence and expert systems have seen a great deal of research in recent years, much of which has been devoted to methods for incorporating uncertainty into models. This book is devoted
* Provides an elegant introduction to the geometric concepts that are important to applications in robotics* Includes significant state-of-the art material that reflects important advances, connecting
Time-series data--data arriving in time order, or a data stream--can be found in fields such as physics, finance, music, networking, and medical instrumentation. Designing fast, scalable algorithms f
Despite the interest in parallelism and parallel processing, there is a fundamental question that has remained largely unexplored, namely the question of how to design multiprograms (parallel programs
Covers the usual topics in discrete math, however, the treatment is different in that formal logic is employed in each topic, rather than being viewed as another subject of study. Numerous worked out
From the reviews: "This book offers a coherent treatment, at the graduate textbook level, of the field that has come to be known in the last decade or so as computational geometry. ... ... The book is
