Electronic Books

Total Books: 461 - 480 /757

Model Checking Software

This book presents the proceedings of the 14th International SPIN workshop on Model Checking Software, held in Berlin, Germany. ...

Model Checking Software (vol. # 3639)

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

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

Modeling Data Irregularities and Structural Complexities in Data Envelopment Analysis

DEA is computational at its core and this book by Zhu and Cook deals with the micro aspects of handling and modeling data ...

Modeling Financial Time Series with S-PLUS®

This book represents an integration of theory, methods, and examples using the S-PLUS statistical modeling language and the ...

Modeling Financial Time Series with S-PLUS®

This book represents an integration of theory, methods, and examples using the S-PLUS statistical modeling language and the ...

Modeling Foundations of Economic Property Rights Theory

The idea is to construct a kind of mathematical application in which any fundamental formal entity and/or operation has an ...

Modeling Performance Measurement

MODELING PERFORMANCE MEASUREMENT: Applications and Implementation Issues in DEA presents unified results from authors’ ...

Modeling, Estimation and Control

Coefficients of Variations in Analysis of Macro-Policy Effects: An example of two-parameter Poisson-Dirichlet distributions.- ...

Modelling, Analysis and Optimization of Biosystems

Mathematical models in biology and medicine cannot be based on natural laws as it is the case with physics and chemistry. ...

Modellistica numerica per problemi differenziali = Numerical modeling for differential problems

This text introduces the basic concepts for the numerical modeling of partial differential problems. We consider the classic ...

Modern Differential Geometry in Gauge Theories

Differential geometry, in the classical sense, is developed through the theory of smooth manifolds. Modern differential geometry ...

Modern Differential Geometry in Gauge Theories

Differential geometry, in the classical sense, is developed through the theory of smooth manifolds. Modern differential geometry ...

Modern Econometric Analysis

The importance of empirical economics and econometric methods has greatly in creased during the last 20 years due to the ...

Modern Methods in the Calculus of Variations

This is the first of two books on methods and techniques in the calculus of variations. Contemporary arguments are used throughout ...

Modern Trends in Pseudo-Differential Operators

The ISAAC Group in Pseudo-diferential Operators (IGPDO) was formed at the Fourth ISAAC Congress held at York University in ...

Modular Programming Languages

On behalf of the Steering Committee we are pleased to present the proceedings of the 2006 Joint Modular Languages Conference ...

Multi-Objective Evolutionary Algorithms for Knowledge Discovery from Databases

The present volume provides a collection of seven articles containing new and high quality research results demonstrating ...

Multi-Sensor Data Fusion

This textbook provides a comprehensive introduction to the theories and techniques of multi-sensor data fusion. It is aimed ...

Multi-scale Modelling for Structures and Composites

Numerous applications of rod structures in civil engineering, aircraft and spacecraft confirm the importance of the topic. ...

Total Books: 461 - 480 /757