Electronic Books

Total Books: 281 - 300 /2355

Automata, Languages and Programming : 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II

The two-volume set LNCS 5125 and LNCS 5126 constitutes the refereed proceedings of the 35th International Colloquium on Automata, ...

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 Reasoning

This book constitutes the refereed proceedings of the Third International Joint Conference on Automated Reasoning,The papers ...

Automated Technology for Verification and Analysis

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

Automatic Autocorrelation and Spectral Analysis

It takes advantage of greater computing power and robust algorithms to produce enough candidate models to be sure of providing ...

Automatic Differentiation: Applications, Theory, and Implementations

This collection covers the state of the art in automatic differentiation theory and practice. Practitioners and students ...

Automorphic Forms and Even Unimodular Lattices

This book includes a self-contained approach of the general theory of quadratic forms and integral Euclidean lattices.It ...

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

Average-Cost Control of Stochastic Manufacturing Systems

This book is concerned with hierarchical control of manufacturing systems under uncertainty. It focuses on system performance ...

Averaging Methods in Nonlinear Dynamical Systems

The authors have presented an extensive revision of the first edition of the Averaging Methods in Nonlinear Dynamical Systems ...

Axiom of Choice

AC, the axiom of choice, because of its non-constructive character, is the most controversial mathematical axiom, shunned ...

Basic Algebra

Basic Algebra and Advanced Algebra systematically develop concepts and tools in algebra that are vital to every mathematician, ...

Basic Bundle Theory and K-Cohomology Invariants : With contributions by Siegfried Echterhoff, Stefan Fredenhagen and Bernhard Krötz

Based on several recent courses given to mathematical physics students, this volume is an introduction to bundle theory with ...

Basic Notions of Algebra

This book aims to present a general survey of algebra, of its basic notions and main branches.Those parts of the book devoted ...

Basic Principles and Applications of Probability Theory

This introductory chapter discusses such notions as determinism, chaos and randomness, p- dictibility and unpredictibility, ...

Basic Probability Theory with Applications

This book presents elementary probability theory with interesting and well-chosen applications that illustrate the theory. ...

Basic Real Analysis

Basic Real Analysis and Advanced Real Analysis (available separately or together as a Set) systematically develop those concepts ...

Basics of Fluid Mechanics and Introduction to Computational Fluid Dynamics

This handbook brings together the theoretical basics of fluid dynamics with a systemaic overview of the appropriate numerical ...

Bayesian Computation with R : Introduces Bayesian modeling by use of computation using the R language

R's open source nature, free availability, and large number of contributor packages have made R the software of choice for ...

Bayesian Core: A Practical Approach to Computational Bayesian Statistics

This Bayesian modeling book provides an operational methodology for conducting Bayesian inference, rather than focusing on ...

Total Books: 281 - 300 /2355