Riemannian Geometry
Intended for a one year course, this volume serves as a single source, introducing students to the important techniques and ...
Lee mas
Riemannian Geometry and Geometric Analysis
Offering some topics of contemporary mathematical research, this fourth edition provides an introduction to Riemannian geometry ...
Lee mas
SAT 2005
This book is devoted to recent progress made in solving propositional satisfiability and related problems. Propositional ...
Lee mas
Self-Dual Codes and Invariant Theory
One of the most remarkable and beautiful theorems in coding theory is Gleason's 1970 theorem about the weight enumerators ...
Lee mas
Semantics with Applications: An Appetizer
Semantics will have an important role to play in the future development of software systems and domain specific languages, ...
Lee mas
Set Function T : An Account on F. B. Jones' Contributions to Topology
This book presents, in a clear and structured way, the set function mathcal{T} and how it evolved .It starts with a very ...
Lee mas
Sharp Real-Part Theorems
This volume contains a coherent point of view on various sharp pointwise inequalities for analytic functions in a disk in ...
Lee mas
Shock Wave Interactions in General Relativity
This monograph presents a self contained mathematical treatment of the initial value problem for shock wave solutions of ...
Lee mas
Singular Sets of Minimizers for the Mumford-Shah Functional
This book studies regularity properties of Mumford-Shah minimizers. The Mumford-Shah functional was introduced in the 1980s ...
Lee mas
Standard Monomial Theory : Invariant Theoretic Approach
This book is mainly a detailed account of a particularly interesting instance of their occurrence: namely, in relation to ...
Lee mas
Stochastic Control in Insurance
Stochastic control is one of the methods being used to find optimal decision-making strategies in fields such as operations ...
Lee mas
Sturm-Liouville Theory
This is a collection of survey articles based on lectures presented at a colloquium and workshop in Geneva in 2003 to commemorate ...
Lee mas
Suites de Sturm, indice de Maslov et périodicité de Bott = Sturm sequences, Maslov index and Bott periodicity
The classical theory of Sturm sequences provides an algorithm to determine the number of roots of a polynomial with real ...
Lee mas
Symmetry Breaking
This new edition of Prof. Strocchi's well received primer on rigorous aspects of symmetry breaking presents a more detailed ...
Lee mas
Symmetry Breaking
In the first part of this book, devoted to classical field theory, such a mechanism is explained in terms of the occurrence ...
Lee mas
Term Rewriting and Applications (vol. # 4098)
PrefaceThis volume contains the proceedings ofthe 17th International Conference onRewriting Techniques and Applications, ...
Lee mas
Tests and Proofs
Constitutes the thoroughly refereed post-proceedings of the First International Conference on Test and Proofs, TAP 2007, ...
Lee mas
Tests and Proofs : 14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22–23, 2020, Proceedings
This book constitutes the refereed proceedings of the 14th International Conference on Tests and Proofs, TAP 2020, held as ...
Lee mas
Tests and Proofs : Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings
This book covers the area of convergence of software proofing and testing and feature current research work that combines ...
Lee mas
The Age of Alternative Logics
This volume reflects the multi-dimensional nature of the interplay between logic and science. It presents contributions from ...
Lee mas
