Electronic Books

Total Books: 221 - 240 /274

The Age of Alternative Logics

This volume reflects the multi-dimensional nature of the interplay between logic and science. It presents contributions from ...

The Brauer-Hasse-Noether Theorem in Historical Perspective

The unpublished writings of Helmut Hasse, consisting of letters, manuscripts and other papers, are kept at the Handschriftenabteilung ...

The Cambridge N-Body Lectures

Published under the auspices of the Royal Astronomical Society, this volume contains a set of extensive school tested lectures, ...

The Cellular Automaton Interpretation of Quantum Mechanics

The book presents examples of models that are classical in essence, but can be analysed by the use of quantum techniques, ...

The Fermi-Pasta-Ulam Problem : A Status Report

This volume reviews the current understanding of this paradox without trying to force coherence on differing perspectives ...

The Four Pillars of Geometry

The Four Pillars of Geometry approaches geometry in four different ways, spending two chapters on each. This makes the subject ...

The Geometry of Syzygies

Algebraic Geometry often seems very abstract, but in fact it is full of concrete examples and problems. This side of the ...

The Malliavin Calculus and Related Topics

In Chapter 1, the derivative and divergence operators are introduced in the framework of an isonormal Gaussian process associated ...

The Malliavin Calculus and Related Topics

In Chapter 1, the derivative and divergence operators are introduced in the framework of an isonormal Gaussian process associated ...

The Mathematics of Arbitrage

This long-awaited book aims at a rigorous mathematical treatment of the theory of pricing and hedging of derivative securities ...

The Mathematics of Arbitrage

This long-awaited book aims at a rigorous mathematical treatment of the theory of pricing and hedging of derivative securities ...

The Seventeen Provers of the World

Commemorating the 50th anniversary of the first time a mathematical theorem was proven by a computer system, Freek Wiedijk ...

The Shaping of Arithmetic after C.F. Gausss Disquisitiones Arithmeticae

A book that traces the profound effect Gauss’s masterpiece has had on mathematics over the past two centuries. … The ...

The Wulff Crystal in Ising and Percolation Models

This volume is a synopsis of recent works aiming at a mathematically rigorous justification of the phase coexistence phenomenon, ...

Theorem Proving in Higher Order Logics

Constitutes the proceedings of the 20th International Conference on Theorem Proving in Higher-Order Logics (TPHOLs 2007) ...

Theorem Proving in Higher Order Logics

This volume constitutes the proceedings of the 18th International Conference on Theorem Proving in Higher Order Logics (TPHOLs ...

Theoretical Aspects of Computing - ICTAC 2008 : 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings

The aim of the colloquium is to bring together practitioners and researchers from academia, industry and government to present ...

Theoretical Aspects of Computing – ICTAC 2007

Constitutes the refereed proceedings of the 4th International Colloquium on Theoretical Aspects of Computing, ICTAC 2007 ...

Theoretical Aspects of Transition Metal Catalysis

This volume, organized into eight chapters written by leading scientists in the field, illustrates the progress made during ...

Theoretical Atomic Physics

This established text and reference contains an advanced presentation of quantum mechanics adapted to the requirements of ...

Total Books: 221 - 240 /274