Basic concepts for computational software.- Implementation and testing of function software.- Program correctness and machine arithmetic.- Preparing the NAG library.- Computer-based documentation for...

Maxwell, Dirac and Einstein’s equations are certainly among the most imp- tant equations of XXth century Physics and it is our intention in this book to 1 investigate some of the many faces of these...

Paperback with minor shelfwear. Previous owner's address label on title page. The binding is sound; all content is clear.

Cal Elgot was a very serious and thoughtful researcher, who with great determi nation attempted to find basic explanations for certain mathematical phenomena as the selection of papers in this volume...

Hardback without DJ. No writing in book. Found in a storage box.

A research project to investigate the design and construction of reliable computing systems was initiated by B. Randell at the University of Newcastle upon Tyne in 1972. In over ten years of research...

Renowned physicist and mathematician Freeman Dyson is famous for his work in quantum mechanics, nuclear weapons policy and bold visions for the future of humanity. In the 1940s, he was responsible...

New edition of a well-known classic in the field; Previous edition sold over 6000 copies worldwide; Fully-worked examples; Many carefully selected problems

This book is written as an introduction to the theory of error-free computation. In addition, we include several chapters that illustrate how error-free com putation can be applied in practice. The...

Book by Krishnamurthy, E.V.

Computability theory is at the heart of theoretical computer science. Yet, ironically, many of its basic results were discovered by mathematical logicians prior to the development of the first...

From the reviews: "This book offers a coherent treatment, at the graduate textbook level, of the field that has come to be known in the last decade or so as computational geometry. ... ... The book...

Texts and Monographs in Computer Science series. With 49 figures.

Gauge Theory of Weak Interactions treats the unification of electromagnetic and weak interactions and considers related phenomena. First, the Fermi theory of beta decay is presented, followed by a...

This book explains how to formally describe programming languages using the techniques of denotational semantics. The presentation is designed primarily for computer science students rather than for...

What exactly is the solar system? We've all learned the basics at school but do we really understand what we are seeing in the night sky? Expert astronomers Chris North and Paul Abel, provide a...

xi 283p green cloth, spine tearing, remains of paper label on cover, faint pencil markings on some pages, notes, index, bibliography, from a Cambridge college library, worn

A miniature volume of exquisite botanical prints—the perfect gift for tree lovers. This Tiny Folio™ presents, in modern taxonomic order, all 277 of the hand-colored plates from François-André...

By J. Winter. Includes Bibliographical References.