As a programmer working for Logica UK in London in the mid-1980’s, I became a passionate advocate of formal methods. Extrapolating from small successes with VDM and JSP, I was sure that widespread use of formal methods would bring an end to the software crisis.

One approach especially intrigued me. John Guttag and Jim...

This book is written for beginner analysts and includes 46 step-by-step labs to walk you through many of the essential skills contained herein. This book provides an ideal starting point whether you are interested in analyzing traffic to learn how an application works, you need to troubleshoot slow network performance, or determine whether a...

This book is provided on the worldwide web as a service to the community of practitioners and students. Reproduction for educational purposes is permitted with appropriate citation. If you find this work helpful or have suggestions for additions or corrections, please email Chris Hendrickson: cth@cmu.edu. A hardcopy Instructor's Manual with...

Knowledge management presents a new way of understanding organizations and companies, and is especially suited to sophisticated and highly technical firms and operations such as those in the construction industry.

This new book draws on hard data from three separate research programs in Sweden and shows how the concept of knowledge can...

Boiled-down essentials of the top-selling Schaum's Outline series, for the student with limited time

What could be better than the bestselling Schaum's Outline series? For students looking for a quick nuts-and-bolts overview, it would have to be Schaum's Easy Outline series. Every book in this series is a pared-down,...

This is not a book about algorithms . Certainly, it is full of algorithms , but that 's
not what this book is about . This book is about possibilities . Its purpose is to
present you not only with the prerequisite mandatory knowledge of the available
problem-solving techniques , but more importantly to expand your ability to
frame...

This volume contains seventy-four problems. The statements of the problems are given first, followed by a section giving complete solutions. Answers and hints are given at the end of the book. For most of the problems the reader is advised to find a solution by himself. After solving the problem, he should check his answer against the one given...

The art of compiler construction is a fascinating subject- It integrates the mathe
matical foundations of formal languages, a wealth of well-established techniques for
syntactic analysis, semantic analysis and optimization, and a tremendous amount
of practical experience accumulated over the past four decades in designing and us
ing...

The two main themes of this book, logic and complexity, are both essential for understanding the main problems about the foundations of mathematics. Logical Foundations of Mathematics and Computational Complexity covers a broad spectrum of results in logic and set theory that are relevant to the foundations, as well as the results in...

Boiled-down essentials of the top-selling Schaum's Outline series for the student with limited time What could be better than the bestselling Schaum's Outline series? For students looking for a quick nuts-and-bolts overview, it would have to be Schaum's Easy Outline series. Every book in this series is a pared-down, simplified, and tightly focused...

Did you ever wonder how somebody ever figured out all the details of making a cellphone system work? What about those giant MRI machines that can take a picture of your insides without a single incision? Then there is the universe. We think we know at least something about how it started billions of years ago and where it’s going billions of...

It may sound surprising that in computing, a field which develops so fast that the future often becomes the past without having been the present, there is nothing more stable and worthwhile learning than its foundations.

It may sound less surprising that in a field with such a revolutionary methodological impact on all sciences and...