It is not often that we can welcome the advent of a new theory of programming. Twelve years ago, E.W. Dijkstra published his Discipline of Programming, which is still a definitive source-book on the development of sequential algorithms. And now Chandy and Misra have shown how Dijkstra's methods, and other more recent developments, can be...

This volume features a collection of essays on consciousness, which has become one of the hot topics at the crossroads between neuroscience, philosophy, and religious studies. Is consciousness something the brain produces? How can we study it? Is there just one type of consciousness or are there different states that can be discriminated? Are...

This book provides a gentle, software engineering oriented introduction to category theory. Assuming only a minimum of mathematical preparation, this book explores the use of categorical constructions from the point of view of the methods and techniques that have been proposed for the engineering of complex software systems: object-oriented...

Over the last several years, fiscal discipline has really dominated the industry. Both consumers and businesses expect far more from their communications providers than they did just a few years ago. Offering simple telephone dial tone and an Internet connection are not going to be enough for success. At the same time, however, service providers...

Transformer engineering is one of the earliest sciences within the field of electric power engineering, and power is the earliest discipline within the field of electrical engineering. To some, this means that transformer technology is a fully mature and staid industry, with little opportunity for innovation or ingenuity by those practicing...

The risk discipline is young and there are a number of ideas, perspectives and conceptions of risk out there. A number of such common conceptions of risk are examined in the book, related to the risk concept, risk assessments, uncertainty analyses, risk perception, the precautionary principle, risk management and decision making under...

Bioinformatics is contributing to some of the most important advances in medicine and biology. At the forefront of this exciting new subject are techniques known as artificial intelligence which are inspired by the way in which nature solves the problems it faces. This book provides a unique insight into the complex problems of bioinformatics...

When computer software succeeds—when it meets the needs of the people who use it, when it performs flawlessly over a long period of time, when it is easy to modify and even easier to use—it can and does change things for the better. But when software fails—when its users are dissatisfied, when it is error prone, when...

Zed Shaw has perfected the world's best system for learning Python. Follow it and you will succeed-just like the hundreds of thousands of beginners Zed has taught to date! You bring the discipline,...