Electronic Books

Total Books: 21 - 40 /274

An Invitation to Abstract Mathematics

this book begins with a playful exploration of the building blocks of mathematics, such as definitions, axioms, and proofs. ...

Anisotropy Across Fields and Scales

This book focuses on processing, modeling, and visualization of anisotropy information…

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, ...

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 ...

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 ...

Artificial Intelligence and Symbolic Computation

This book constitutes the refereed proceedings of the 8th International Conference on Artificial Intelligence and Symbolic ...

Artinian Modules over Group Rings

This book highlights important developments on artinian modules over group rings of generalized nilpotent groups. Along with ...

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 ...

Atomistic Approaches in Modern Biology

This volume of Topics in Current Chemistry presents an overview of atomistic theoreticalmethodsapplied tomolecular biologicalsystems. ...

Automated Deduction in Geometry

The book show the lively variety of topics and methods and the current applicability of automated deduction in geometry to ...

Automated Deduction in Geometry

The book show the lively variety of topics and methods and the current applicability of automated deduction in geometry to ...

Automated Deduction in Geometry

This book constitutes the thoroughly refereed post-proceedings of the 6th International Workshop on Automated Deduction in ...

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 ...

Automated Deduction – CADE-20

This book constitutes the refereed proceedings of the 20th International Conference on Automated Deduction, CADE-20, held ...

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, ...

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 ...

Automated Technology for Verification and Analysis

This book constitutes the refereed proceedings of the 18th International Symposium on Automated Technology for Verification ...

Biologically Inspired Cooperative Computing

The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...

Braid Groups

Braids and braid groups have been at the heart of mathematical development over the last two decades. Braids play an important ...

C*-algebras and Elliptic Theory

This volume contains the proceedings of the conference on "C*-algebras and Elliptic Theory" held in Bedlewo, Poland, in ...

Total Books: 21 - 40 /274