Electronic Books

Total Books: 21 - 40 /274

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

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

Ulrich Kohlenbach presents an applied form of proof theory that has led in recent years to new results in number theory, ...

Your immune system is unique. It is in many ways as complex as your brain, butit is not centred in one location, like the ...

ICARIS 2006 is the ?fth instance of a series of conferences dedicated to the comprehension and the exploitation of immunological ...

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

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

This book is an encyclopedic treatment of classic as well as contemporary large sample theory, dealing with both statistical ...

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

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

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

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

This book constitutes the proceeding of the 28th International Conference on Automated Deduction, CADE 28, held virtually ...

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

This book constitutes the refereed proceedings of the 4th International Joint Conference on Automated Reasoning, IJCAR 2008, ...

This volume contains the research papers presented at the International C- ference on Automated Reasoning with Analytic Tableaux ...

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

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

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

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

Total Books: 21 - 40 /274