Artificial Intelligence (AI) has the definite goal of understanding intelligence and building intelligent systems. However, the methods and formalisms used on the way to this goal are not firmly set, which has resulted in AI consisting of a multitude of subdisciplines today. The difficulty in an introductory AI course lies in conveying...

Google SketchUp, the most popular architectural software package, is used by millions of architects and visualizers throughout the world. But what you may not know is that it's also the most powerful 3D design software on the market. With this book in hand and patented technology such as the PhotoMatch, Push-Pull, and Face-me components...

The aim of this work is to provide a practical introduction to the formal specification of concurrent and real-time systems. It is intended for those with some basic knowledge or experience of computing but does not assume knowledge of the particular problems of concurrent and real-time systems. It concentrates on one group of languages,...

"Paul Nahin's Digital Dice is a marvelous book, one that is even better than his Duelling Idiots. Nahin presents twenty-one great probability problems, from George Gamow's famous elevator paradox (as corrected by Donald Knuth) to a bewildering puzzle involving two rolls of toilet paper, and he solves them all with the aid...

Coalgebraic logic is an important research topic in the areas of concurrency theory, semantics, transition systems and modal logics. It provides a general approach to modeling systems, allowing us to apply important results from coalgebras, universal algebra and category theory in novel ways. Stochastic systems provide important tools for...