Electronic Books

Total Books: 1421 - 1440 /2122

Metaheuristics:

Metaheuristics: Progress as Real Problem Solvers is a peer-reviewed volume of eighteen current, cutting-edge papers by leading ...

Methods for Constructing Exact Solutions of Partial Differential Equations

The book is primarily designed to present both fundamental theoretical and algorithmic aspects of these methods. The description ...

Methods of Celestial Mechanics

G. Beutler's Methods of Celestial Mechanics is a coherent textbook for students in physics, mathematics and engineering ...

Microphone Array Signal Processing

Microphone arrays have attracted a lot of interest in the last two decades. The reason behind this is that they have the ...

Microwave Radiometry of Vegetation Canopies

Research into microwave radiation from the Earth’s surface in the presence of vegetation canopies, as well as the development ...

Middleware 2008 : ACM/IFIP/USENIX 9th International Middleware Conference Leuven, Belgium, December 1-5, 2008 Proceedings

This book constitutes the refereed proceedings of the ACM/IFIP/USENIX 9th International Middleware Conference 2008, held ...

Mining Sequential Patterns from Large Data Sets

To meet the different needs of various applications, several models of sequential patterns have been proposed. This volume ...

Mixed-Signal Layout Generation Concepts

Mixed-Signal Layout Generation Concepts covers important physical-design issues that exist in contemporary analog and mixed-signal ...

Modal Array Signal Processing: Principles and Applications of Acoustic Wavefield Decomposition

Many applications of acoustic signal processing, such as teleconferencing and surveillance systems, require an estimate of ...

Model Checking Software (vol. # 3639)

Constitutes the refereed proceedings of the 12th International SPIN workshop on Model Checking Software, SPIN 2005, held ...

Model Checking Software (vol. # 3925)

he name “SPIN” refers both to a workshopon model checking and to a famous model checking tool. The SPIN workshop is an ...

Model Checking Software : 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings

This book constitutes the refereed proceedings of the 15th International SPIN workshop on Model Checking Software, SPIN 2008, ...

Model Order Reduction: Theory, Research Aspects and Applications

The goal of this book is three-fold: it describes the basics of model order reduction and related aspects. In numerical linear ...

Model-Based Testing of Reactive Systems

This book is based on a seminar held in Dagstuhl Castle, Germany, in January 2004. It presents 19 carefully reviewed and ...

Model-based Fault Diagnosis Techniques : Design Schemes, Algorithms, and Tools

The objective of this book is to introduce basic model-based FDI schemes, advanced analysis and design algorithms and the ...

Modeling and Analysis of Transient Processes in Open Resonant Structures

The principal goal of the book is to describe new accurate and robust algorithms for open resonant structures with substantially ...

Modeling and Computations in Electromagnetics : A Volume Dedicated to Jean-Claude Nédélec

Modeling and computations in electromagnetics is a quite novel and growing discipline, expanding as a result of the steadily ...

Modeling of Creep for Structural Analysis

"Creep Modeling for Structural Analysis" develops methods to simulate and analyze the time-dependent changes of stress ...

Modeling, Control and Implementation of Smart Structures

This monograph presents an introductory overview of smart structures, their concepts, their active involvement in the vibration ...

Modelling Community Structure in Freshwater Ecosystems

"The book presents approaches and methodologies for predicting the structure and diversity of key aquatic communities (namely ...

Total Books: 1421 - 1440 /2122