This book is an introduction to theoretical computer science emphasizing two interrelated areas: the theory of computability {how to tell whether problems are algorithmically solvable) and the theory of formal languages (how to design and use special languages, as for algorithms). Automata {idealized computer devices) are used as precise...

The ColdFusion MX Developer's Cookbook focuses upon teaching the use of ColdFusion's advanced features in the development of more...

This book presents current methods for dealing with software reliability, illustrating the advantages and disadvantages of each method. The description of the techniques is intended for a non-expert audience with some minimal technical background. It also describes some advanced techniques, aimed at researchers and practitioners in software...

"The individual perspectives on the concepts behind the XQuery language offered by XQuery from the Experts will be of great value to those who are seeking to understand the implications, opportunities, and challenges of XQuery as they design future information systems based on XML."
—Michael Champion,...

But for most people, making great appointments is difficult,...

This book has a long history. It began over two decades ago as the first half of a book on information and ergodic theory. The intent was and remains to provide a reasonably self-contained advanced (at least for engineers) treatment of measure theory, probability theory, and random processes, with an emphasis on general alphabets and on ergodic...

In the Autumn of 1983, in the face of the phenomenal growth of home computer sales in the U.K., the national British newspaper The Guardian decided to produce, each week, a 'Computer Page'. Noone was quite sure exactly what should go into the page on a regular basis, but it was thought that a fortnightly column on computer mathematics...

FASE (Fundamental Approaches to Software Engineering) is concerned with the foundations on which software engineering is built. Its focus is on novel techniques and the way in which they contribute to making software engineering a more mature and soundly based discipline. This year, we particularly encouraged contributions that combine the...