Electronic Books

Total Books: 141 - 160 /1713

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 with Analytic Tableaux and Related Methods

It covers the wide range of logics, from intuitionistic and substructural logics to modal logics (including temporal and ...

Automated Reasoning with Analytic Tableaux and Related Methods

It covers the wide range of logics, from intuitionistic and substructural logics to modal logics (including temporal and ...

Automotive Control Systems

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

Autonomic Communication (vol. # 3457)

The ?rst IFIP Workshop on Autonomic Communication (WAC 2004) was held 2004 in Berlin, Germany. The purpose of this workshop ...

Autonomic Communication (vol. # 3854)

The Second IFIP Workshop on Autonomic Communication (WAC 2005) took place on October 2–5, 2005, IFIP TC6 provided scientific ...

Autonomic Networking

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

Autonomic Principles of IP Operations and Management

th This volume presents the proceedings of the 6 IEEE International Workshop on IP Operations and Management (IPOM 2006), ...

Autonomic and Trusted Computing

To cope with the growing and ubiquitous complexity, autonomic computing (AC) focuses on se- manageable computing and communication ...

Autonomic and Trusted Computing

To cope with the growing and ubiquitous complexity, autonomic computing (AC) focuses on se- manageable computing and communication ...

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

Avalanche Dynamics

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

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

Axions : Theory, Cosmology, and Experimental Searches

Axions are peculiar hypothetical particles that could both solve the CP problem of quantum chromodynamics and at the same ...

Bacteriocins

Microbes produce an extraordinary array of defense systems. These include bacteriocins, a class of antimicrobial molecules ...

Basic Coastal Engineering

Basic Coastal Engineering, 3rd Edition offers the basics on monochromatic and spectral surface wave mechanics, coastal water ...

Basics of Aerothermodynamics

The discrete numerical methods of aerodynamics/aerothermodynamics permit now - what was twenty years ago not imaginable - ...

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 Methods in the Search for MH370

This book demonstrates how nonlinear/non-Gaussian Bayesian time series estimation methods were used to produce a probability ...

Total Books: 141 - 160 /1713