An Invitation to Abstract Mathematics
this book begins with a playful exploration of the building blocks of mathematics, such as definitions, axioms, and proofs. ...
Lee mas
Anisotropy Across Fields and Scales
This book focuses on processing, modeling, and visualization of anisotropy information…
Lee mas
Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
Ulrich Kohlenbach presents an applied form of proof theory that has led in recent years to new results in number theory, ...
Lee mas
Artificial Immune Systems (vol. # 3627)
Your immune system is unique. It is in many ways as complex as your brain, butit is not centred in one location, like the ...
Lee mas
Artificial Immune Systems (vol. # 4163)
ICARIS 2006 is the ?fth instance of a series of conferences dedicated to the comprehension and the exploitation of immunological ...
Lee mas
Artificial Intelligence and Symbolic Computation
This book constitutes the refereed proceedings of the 8th International Conference on Artificial Intelligence and Symbolic ...
Lee mas
Artinian Modules over Group Rings
This book highlights important developments on artinian modules over group rings of generalized nilpotent groups. Along with ...
Lee mas
Asymptotic Theory of Statistics and Probability
This book is an encyclopedic treatment of classic as well as contemporary large sample theory, dealing with both statistical ...
Lee mas
Atomistic Approaches in Modern Biology
This volume of Topics in Current Chemistry presents an overview of atomistic theoreticalmethodsapplied tomolecular biologicalsystems. ...
Lee mas
Automated Deduction in Geometry
The book show the lively variety of topics and methods and the current applicability of automated deduction in geometry to ...
Lee mas
Automated Deduction in Geometry
The book show the lively variety of topics and methods and the current applicability of automated deduction in geometry to ...
Lee mas
Automated Deduction in Geometry
This book constitutes the thoroughly refereed post-proceedings of the 6th International Workshop on Automated Deduction in ...
Lee mas
Automated Deduction – CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings
This book constitutes the proceeding of the 28th International Conference on Automated Deduction, CADE 28, held virtually ...
Lee mas
Automated Deduction – CADE-20
This book constitutes the refereed proceedings of the 20th International Conference on Automated Deduction, CADE-20, held ...
Lee mas
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, ...
Lee mas
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 ...
Lee mas
Automated Technology for Verification and Analysis
This book constitutes the refereed proceedings of the 18th International Symposium on Automated Technology for Verification ...
Lee mas
Biologically Inspired Cooperative Computing
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
Lee mas
Braid Groups
Braids and braid groups have been at the heart of mathematical development over the last two decades. Braids play an important ...
Lee mas
C*-algebras and Elliptic Theory
This volume contains the proceedings of the conference on "C*-algebras and Elliptic Theory" held in Bedlewo, Poland, in ...
Lee mas
