Intended for a one year course, this volume serves as a single source, introducing students to the important techniques and ...
Continue readingOffering some topics of contemporary mathematical research, this fourth edition provides an introduction to Riemannian geometry ...
Continue readingThis book is devoted to recent progress made in solving propositional satisfiability and related problems. Propositional ...
Continue readingOne of the most remarkable and beautiful theorems in coding theory is Gleason's 1970 theorem about the weight enumerators ...
Continue readingSemantics will have an important role to play in the future development of software systems and domain specific languages, ...
Continue readingThis book presents, in a clear and structured way, the set function mathcal{T} and how it evolved .It starts with a very ...
Continue readingThis volume contains a coherent point of view on various sharp pointwise inequalities for analytic functions in a disk in ...
Continue readingThis monograph presents a self contained mathematical treatment of the initial value problem for shock wave solutions of ...
Continue readingThis book studies regularity properties of Mumford-Shah minimizers. The Mumford-Shah functional was introduced in the 1980s ...
Continue readingThis book is mainly a detailed account of a particularly interesting instance of their occurrence: namely, in relation to ...
Continue readingStochastic control is one of the methods being used to find optimal decision-making strategies in fields such as operations ...
Continue readingThis is a collection of survey articles based on lectures presented at a colloquium and workshop in Geneva in 2003 to commemorate ...
Continue readingThe classical theory of Sturm sequences provides an algorithm to determine the number of roots of a polynomial with real ...
Continue readingThis new edition of Prof. Strocchi's well received primer on rigorous aspects of symmetry breaking presents a more detailed ...
Continue readingIn the first part of this book, devoted to classical field theory, such a mechanism is explained in terms of the occurrence ...
Continue readingPrefaceThis volume contains the proceedings ofthe 17th International Conference onRewriting Techniques and Applications, ...
Continue readingConstitutes the thoroughly refereed post-proceedings of the First International Conference on Test and Proofs, TAP 2007, ...
Continue readingThis book constitutes the refereed proceedings of the 14th International Conference on Tests and Proofs, TAP 2020, held as ...
Continue readingThis book covers the area of convergence of software proofing and testing and feature current research work that combines ...
Continue readingThis volume reflects the multi-dimensional nature of the interplay between logic and science. It presents contributions from ...
Continue reading