Putnam and Beyond
Putnam and Beyond takes the reader on a journey through the world of college mathematics, focusing on some of the most important ...
اقرأ المزيد
Ramsey Methods in Analysis
This book introduces graduate students and resarchers to the study of the geometry of Banach spaces using combinatorial methods. ...
اقرأ المزيد
Relations and Kleene Algebra in Computer Science
This volume contains the joint proceedings of the 9th International Conferenceon Relational Methods in Computer Science (RelMiCS-9) ...
اقرأ المزيد
Rewriting, Computation and Proof
This Festschrift volume published to honor Jean-Pierre Jouannaud on his 60th Birthday on May 12, 2007, includes 13 refereed ...
اقرأ المزيد
Semantics with Applications: An Appetizer
Semantics will have an important role to play in the future development of software systems and domain specific languages, ...
اقرأ المزيد
Shock Wave Interactions in General Relativity
This monograph presents a self contained mathematical treatment of the initial value problem for shock wave solutions of ...
اقرأ المزيد
Stochastic Control in Insurance
Stochastic control is one of the methods being used to find optimal decision-making strategies in fields such as operations ...
اقرأ المزيد
Techniques of Constructive Analysis
This text provides a rigorous, wide-ranging introduction to modern constructive analysis for anyone with a strong mathematical ...
اقرأ المزيد
Temporal Logic and State Systems
Temporal logic has developed over the last 30 years into a powerful formal setting for the specification and verification ...
اقرأ المزيد
The Age of Alternative Logics
This volume reflects the multi-dimensional nature of the interplay between logic and science. It presents contributions from ...
اقرأ المزيد
The Congruences of a Finite Lattice
The congruences of a lattice form the congruence lattice. In the past half-century, the study of congruence lattices has ...
اقرأ المزيد
The Congruences of a Finite Lattice
The congruences of a lattice form the congruence lattice. In the past half-century, the study of congruence lattices has ...
اقرأ المزيد
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 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 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. ...
اقرأ المزيد
