This
classic reference work is a comprehensive guide to the design,
evaluation, and use of reliable computer systems. It includes case
studies of reli More...
Reverse
Mathematics is a program of research in the foundations of
mathematics, motivated by the foundational questions of what are
appropriate axio More...
This classic text serves as a tool for self-study; it is also
used as a basic text for undergraduate courses in differential
geometry.
The authorR More...
This
classic text serves as a tool for self-study; it is also used as a
basic text for undergraduate courses in differential geometry. The
author's More...
This book provides a comprehensive introduction to the role of
infinity in mathematics, from ancient to modern times. It is aimed
at a general audienc More...
This is
a comprehensive volume on robot teams that will be the standard
reference on multi-robot systems. The volume provides not only the
essential More...