Electronic Books

Total Books: 321 - 340 /2323

Atmospheric and Oceanic

This volume contains many original findings on mesoscale processes in atmospheric and oceanic systems through mathematical ...

Atmospheric and Space Flight Dynamics

Modern aerospace vehicles, such as the space shuttle, other launch vehicles, and long-range ballistic missiles, do not discriminate ...

Atomistic Modeling of Materials Failure

Atomistic Modeling of Materials Failure is an introduction to molecular and atomistic modeling techniques applied to solid ...

Attention in Cognitive Systems. Theories and Systems from an Interdisciplinary Viewpoint

The embodied nature of sensory-motor intelligence requires a continuous and focused interplay between the control of motor ...

Attention in Cognitive Systems. Theories and Systems from an Interdisciplinary Viewpoint

The embodied nature of sensory-motor intelligence requires a continuous and focused interplay between the control of motor ...

Auralization : Fundamentals of Acoustics, Modelling, Simulation, Algorithms and Acoustic Virtual Reality

"Auralization" is the technique of creation and reproduction of sound on the basis of computer data. With this tool is ...

Austenitic TRIP/TWIP Steels and Steel-Zirconia Composites Design of Tough, Transformation-Strengthened Composites and Structures

This book presents a collection of the most up-to-date research results in the field of steel development with a focus on ...

Automated Deduction in Geometry

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

Automated Deduction – CADE-20

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

Automated Technology for Verification and Analysis

This book presented theoretical methods to achieve correct software or hardware systems, including both functional and non ...

Automated Technology for Verification and Analysis

This book presented theoretical methods to achieve correct software or hardware systems, including both functional and non ...

Automatic Differentiation: Applications, Theory, and Implementations

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

Automating Business Modelling

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

Automotive Control Systems

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

Autonomic Networking

The autonomic communication paradigm has been defined mainly through the Autonomic Communications Forum (ACF) and particularly ...

Autonomous Navigation in Dynamic Environments

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

Autonomy Oriented Computing

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

Average-Cost Control of Stochastic Manufacturing Systems

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

B 2007: Formal Specification and Development in B

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

BIM for Design Firms: Data Rich Architecture at Small and Medium Scales / François Lévy, Jeffrey W. Ouellette

Expands on Building Information Modeling, showing its applicability to a range of design-oriented projects. It emphasizes ...

Total Books: 321 - 340 /2323