Electronic Books

Total Books: 221 - 240 /257

The Lace Expansion and its Applications

The lace expansion is a powerful and flexible method for understanding the critical scaling of several models of interest ...

The Local Langlands Conjecture for GL(2)

If F is a non-Archimedean local field, local class field theory can be viewed as giving a canonical bijection between the ...

The Local Langlands Conjecture for GL(2)

If F is a non-Archimedean local field, local class field theory can be viewed as giving a canonical bijection between 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 Riemann Hypothesis

The Riemann Hypothesis has become the Holy Grail of mathematics in the century and a half since 1859 when Bernhard Riemann, ...

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 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

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

Theory and Applications of Satisfiability Testing (vol. # 3569)

SAT is the classic problem of determining whether or not a propositional formula has a satisfying truth assignment. It was ...

Theory and Applications of Satisfiability Testing - SAT 2007

Contains the papers presented at SAT 2007: 10th International Conference on Theory and Applications of Satis?ability Testing. ...

Theory and Applications of Satisfiability Testing - SAT 2008 : 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings

All current research issues in propositional and quantified Boolean formula satisfiability testing are covered, including ...

Theory and Applications of Special Functions

This book, dedicated to Mizan Rahman, is made up of a collection of articles on various aspects of q-series and special functions. ...

Theory of Association Schemes

The present text is an introduction to the theory of association schemes. We start with the de?nition of an association scheme ...

Theory of Complex Homogeneous Bounded Domains

This book is the first to systematically explore the classification and function theory of complex homogeneous bounded domains. ...

Theory of Computation

Theory of Computation is a unique textbook that serves the dual purposes of covering core material in the foundations of ...

Theory of Random Sets

Theory of Random Sets presents a state of the art treatment of the modern theory, but it does not neglect to recall and build ...

Thermo-Dynamics of Plates and Shells

This monograph is devoted to the investigation of nonlinear dynamics of plates and shells embedded in a temperature field. ...

Topics and Methods in Condensed Matter Theory

In this book a variety of many-body phenomena in condensed matter are discussed, with special attention paid to the understanding ...

Topics in Galois Fields

Provides a self-contained presentation of the foundations of finite fields, including a detailed treatment of their algebraic ...

Total Books: 221 - 240 /257