Vector calculus is the fundamental language of mathematical physics. It pro vides a way to descri...

Our intention in writing this book is to give an elementary introduction to number theory which d...

This text provides a lively introduction to pure mathematics. It begins with sets, functions and ...

The shift from network-oriented to user-oriented services in the 80s and early 90s has increased ...

This is a comprehensive guide to the diagnosis, clinical management, surgery, and postoperative m...

ACP, the Algebra of Communicating Processes, is an algebraic approach to the study of concurrent ...

This volume results from the four-day scientific Second International East West Database Workshop...

Safety-related computer systems are those which may lead to loss of life, injury or plant and env...

Formal specifications were first used in the description of program ming languages because of the...

Skill, Technology and Enlightenment: On practical Philosophy explores the problems of developing ...

Going beyond the superficial treatments found in 'coffee-table' astronomy books, this book provid...

In mathematics we are interested in why a particular formula is true. Intuition and statistical e...