Electronic Books

Total Books: 721 - 740 /6426

The Automated Technology for Veri?cation and Analysis (ATVA) international symposium series was initiated in 2003, The main ...

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

Enterprise Modelling (EM) methods are frequently used by entrepreneurs as an analysis tool for describing and redesigning ...

Reflecting the trend to optimization through integrative approaches for engine, driveline and vehicle control, this book ...

This book constitutes the refereed procedings of the 5th International Conference on Autonomic and Trusted Computing, ATC ...

MAS offiers powerful metaphors for information system conceptualization, a range of new techniques, and technologies specifically ...

MAS offiers powerful metaphors for information system conceptualization, a range of new techniques, and technologies specifically ...

The purpose of this book is to address the challenging problem of Autonomous Navigation in Dynamic Environments, and to present ...

This book deals with the theoretical and methodological aspects of incorporating intelligence in Autonomous Robots and Agents. ...

Autonomy Oriented Computing explores the important theoretical and practical issues in AOC, by analyzing methodologies and ...

Recognising the benefits of improved control, the second edition of Autotuning of PID Controllers provides simple yet effective ...

Avalanches, debris, mudflows and landslides are common and natural phenomena that occur worldwide, predominantly in mountainous ...

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

Best Practices in Dentistry is designed to address proper management of these situations in everyday practice. Covers a range ...

This book deals with the analysis, construction, design, control and applications of AFPM machines. The authors present their ...

Appearing widely in natural products, biologically active molecules, asymmetric chemistry, and material science, axially ...

Appearing widely in natural products, biologically active molecules, asymmetric chemistry, and material science, axially ...

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

These proceedingsrecordthe papers presented at the Seventh InternationalC- ference of B Users (B 2007), held in the city ...

Detailed drawings are developed on the basis of the working drawings; they form an important part of the specification and ...

Total Books: 721 - 740 /6426