Automated Deduction – CADE-21
All current aspects of automated deduction are addressed, ranging from theoretical and methodological issues to presentation ...
Lire la suite
Automated Deduction – CADE-21
All current aspects of automated deduction are addressed, ranging from theoretical and methodological issues to presentation ...
Lire la suite
Automated Reasoning : 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings
This book constitutes the refereed proceedings of the 4th International Joint Conference on Automated Reasoning, IJCAR 2008, ...
Lire la suite
Automated Reasoning with Analytic Tableaux and Related Methods
This volume contains the research papers presented at the International C- ference on Automated Reasoning with Analytic Tableaux ...
Lire la suite
Automorphic Forms and Lie Superalgebras
Most known examples of Lie superalgebras with a related automorphic form such as the Fake Monster Lie algebra whose reflection ...
Lire la suite
Basic Probability Theory with Applications
This book presents elementary probability theory with interesting and well-chosen applications that illustrate the theory. ...
Lire la suite
Bioelectricity
"The authors’ goal in producing this book was to provide an introductory text to electrophysiology, based on a quantitative ...
Lire la suite
C*-algebras and Elliptic Theory
This volume contains the proceedings of the conference on "C*-algebras and Elliptic Theory" held in Bedlewo, Poland, in ...
Lire la suite
Calculus of One Variable
Aimed at first-year undergraduates in mathematics and the physical sciences, the only prerequisites are basic algebra, coordinate ...
Lire la suite
Classical Geometries in Modern Contexts
This book is based on real inner product spaces X of arbitrary (finite or infinite) dimension greater than or equal to 2. ...
Lire la suite
Classical Geometries in Modern Contexts
This book is based on real inner product spaces X of arbitrary (finite or infinite) dimension greater than or equal to 2. ...
Lire la suite
Classical Nucleation Theory in Multicomponent Systems
Nucleation is the initial step of every first-order phase transition, and most phase transitions encountered both in everyday ...
Lire la suite
Compact Riemann Surfaces
Although Riemann surfaces are a time-honoured field, this book is novel in its broad perspective that systematically explores ...
Lire la suite
Compact Riemann Surfaces
Although Riemann surfaces are a time-honoured field, this book is novel in its broad perspective that systematically explores ...
Lire la suite
Comparative Genomics (vol. # 3678)
This book constitutes the refereed proceedings of the RECOMB 2005 Satellite Workshop, the 3rd RECOMB Comparative Genomics ...
Lire la suite
Comparative Genomics (vol. # 4205)
The papers address a broad variety of aspects and components of the field of comparative genomics, ranging from new quantitative ...
Lire la suite
Complex Analysis
The guiding principle of this presentation of ``Classical Complex Analysis'' is to proceed as quickly as possible to the ...
Lire la suite
Complex Analysis with Applications to Number Theory
The book discusses major topics in complex analysis with applications to number theory.It 's including the theory of several ...
Lire la suite
Complex Variables with Applications
Complex numbers can be viewed in several ways: as an element in a field, as a point in the plane, and as a two-dimensional ...
Lire la suite
Complex Variables with Applications
Complex numbers can be viewed in several ways: as an element in a field, as a point in the plane, and as a two-dimensional ...
Lire la suite
