A new edition of the essential text and professional reference, with substantial new material on such topics as vEB trees, multithreaded algorithms, dynamic programming, and edge-base flow.

A groundbreaking conception of interactive media, inspired by continuity, field, and process, with fresh implications for art, computer science, and philosophy of technology.

A thorough exposition of quantum computing and the underlying concepts of quantum physics, with explanations of the relevant mathematics and numerous examples.

An introduction to many mathematical topics applicable to quantitative finance that teaches how to “think in mathematics” rather than simply do mathematics by rote.

Language in Action demonstrates the viability of mathematical research into the foundations of categorial grammar, a topic at the border between logic and linguistics. Since its initial publication it has become the classic work in the foundations of categorial grammar. A new introduction to this paperback edition updates the open research problems and records relevant results through pointers to the literature.

A Course in Game Theory presents the main ideas of game theory at a level suitable for graduate students and advanced undergraduates, emphasizing the theory's foundations and interpretations of its basic concepts. The authors provide precise definitions and full proofs of results, sacrificing generalities and limiting the scope of the material in order to do so. The text is organized in four parts: strategic games, extensive games with perfect information, extensive games with imperfect information, and coalitional games. It includes over 100 exercises.

At the 1900 International Congress of Mathematicians, held that year in Paris, the German mathematician David Hilbert put forth a list of 23 unsolved problems that he saw as being the greatest challenges for twentieth-century mathematics. Hilbert's 10th problem, to find a method (what we now call an algorithm) for deciding whether a Diophantine equation has an integral solution, was solved by Yuri Matiyasevich in 1970. Proving the undecidability of Hilbert's 10th problem is clearly one of the great mathematical results of the century.

There is currently no viable alternative to the Bayesian analysis of scientific inference, yet the available versions of Bayesianism fail to do justice to several aspects of the testing and confirmation of scientific hypotheses. Bayes or Bust? provides the first balanced treatment of the complex set of issues involved in this nagging conundrum in the philosophy of science.

Genetic algorithms are playing an increasingly important role in studies of complex adaptive systems, ranging from adaptive agents in economic theory to the use of machine learning techniques in the design of complex devices such as aircraft turbines and integrated circuits. Adaptation in Natural and Artificial Systems is the book that initiated this field of study, presenting the theoretical foundations and exploring applications.

Fundamentals of Mathematics represents a new kind of mathematical publication. While excellent technical treatises have been written about specialized fields, they provide little help for the nonspecialist; and other books, some of them semipopular in nature, give an overview of mathematics while omitting some necessary details.

Fundamentals of Mathematics represents a new kind of mathematical publication. While excellent technical treatises have been written about specialized fields, they provide little help for the nonspecialist; and other books, some of them semipopular in nature, give an overview of mathematics while omitting some necessary details.

This self-contained and formal exposition of the theory and applications of pseudo-differential operators is addressed not only to specialists and graduate students but to advanced undergraduates as well. The only prerequisite is a solid background in calculus, with all further preparation for the study of the subject provided by the book's first chapter.