(Paperback)

The description for this book, Compositional Methods in Homotopy Groups of Spheres. (AM-49), will be forthcoming.

(Paperback)

Modular forms are tremendously important in various areas of mathematics, from number theory and algebraic geometry to combinatorics and lattices. This title gives an algorithm for computing coefficients of modular forms of level one in polynomial time.

(Paperback)

This text, based on a course taught by Randall O'Reilly and Yuko Munakata over the past several years, provides an in-depth introduction to the main ideas in the computational cognitive neuroscience.

(Paperback)

(Paperback)

Formal verification increasingly has become recognized as an answer to the problem of how to create ever more complex control systems, which nonetheless are required to behave reliably. To be acceptable in an industrial setting, formal verification must be highly algorithmic; to cope with design complexity, it must support a top-down design methodo

(Hardback)

(Hardback)

Presents an area of mathematical research that combines topology, geometry, and logic. This book seeks to explain and illustrate the implications of the general principle, first emphasized by Alex Nabutovsky, that logical complexity engenders geometric complexity.

(Hardback)

Part of the Greenwood Technographies series Provides a worldwide examination of computing, and how such needs as security and defence during the Cold War drove the development of computing technology Shows how the computer has entered almost every aspect of daily life in the 21st century

(Hardback)

(Paperback)

Presents an analysis of the persistent difficulties of defining inertial mass in a noncircular manner. This book discusses the related question of whether mass is an observational or a theoretical concept. It also studies the notion of mass in special relativity.

(Paperback, third edition)

Essays by philosophers and scientists address conceptual issues in evolutionary biology; a new edition substantially updated, with new sections on women in the evolutionary process, evolutionary psychology, laws in evolutionary theory, and race.

(Paperback)

Draws on the history and philosophy of science, cognitive psychology, and the field of artificial intelligence to develop a theory of conceptual change capable of accounting for all major scientific revolutions. This book provides a comprehensive perspective on the transformation of scientific conceptual systems.

(Hardback)

An introduction to the area of condensed matter in a nutshell. This textbook covers the standard topics, including crystal structures, energy bands, phonons, optical properties, ferroelectricity, superconductivity, and magnetism.

(Paperback)

(Paperback)

Take the first step toward a whole new world of statistical prowess with this delightful, easy-to-follow guide.

(Paperback)

In 1951, the geneticist Luigi Luca Cavalli-Sforza was teaching in Parma when a student told him about rich church records of demography and marriages between relatives. After convincing the Church to open its records, Cavalli-Sforza, Moroni, and Gianna Zei embarked on a landmark study. This book assembles and analyzes the team's research.

(Paperback)

The continuum hypothesis, introduced by mathematician George Cantor in 1877, states that there is no set of numbers between the integers and real numbers. It was later included as the first of mathematician David Hilbert's twenty-three unsolved math problems. In this book, Kurt Godel sets forth his proof for this problem.

(Paperback)

Using numerous biological examples to lay the groundwork for a unifying theory applicable to predator-prey, parasitoid-host, and other consumer-resource interactions, this book focuses on how the properties of real organisms affect population dynamics. It synthesizes and extends the authors' own models involving insect parasitoids and their hosts.

(Paperback)

Nye uses energy as a touchstone to examine the lives of ordinary people engaged in normal activities.

(Paperback)

Based on von Neumann's lecture notes, this book begins with the development of the axioms of continuous geometry, dimension theory, and - for the irreducible case - the function D(a). The properties of regular rings are then discussed, and a variety of results are presented for lattices that are continuous geometries.

(Paperback)

This is a study of the theory of models with truth values in a compact Hausdorff topological space.

(Paperback)

The description for this book, Contributions to the Theory of Games (AM-24), Volume I, will be forthcoming.

(Paperback)

These two new collections, numbers 28 and 29 respectively in the Annals of Mathematics Studies, continue the high standard set by the earlier Annals Studies 20 and 24 by bringing together important contributions to the theories of games and of nonlinear differential equations.

(Paperback)

A new group of contributions to the development of this theory by leading experts in the field. The contributors include L. D. Berkovitz, L. E. Dubins, H. Everett, W. H. Fleming, D. Gale, D. Gillette, S. Karlin, J. G. Kemeny, R. Restrepo, H. E. Scarf, M. Sion, G. L. Thompson, P. Wolfe, and others.