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 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 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 ...
اقرأ المزيد
Battery Management Systems
The contents of this book builds further on the contents of the first volume in the Philips Research Book Series, Battery ...
اقرأ المزيد
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 ...
اقرأ المزيد
