Model Checking Software
This book presents the proceedings of the 14th International SPIN workshop on Model Checking Software, held in Berlin, Germany. ...
Lee mas
Model Checking Software (vol. # 3639)
Constitutes the refereed proceedings of the 12th International SPIN workshop on Model Checking Software, SPIN 2005, held ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
Modeling Performance Measurement
MODELING PERFORMANCE MEASUREMENT: Applications and Implementation Issues in DEA presents unified results from authors’ ...
Lee masModeling, Estimation and Control
Coefficients of Variations in Analysis of Macro-Policy Effects: An example of two-parameter Poisson-Dirichlet distributions.- ...
Lee mas
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. ...
Lee mas
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 ...
Lee mas
Modern Differential Geometry in Gauge Theories
Differential geometry, in the classical sense, is developed through the theory of smooth manifolds. Modern differential geometry ...
Lee mas
Modern Differential Geometry in Gauge Theories
Differential geometry, in the classical sense, is developed through the theory of smooth manifolds. Modern differential geometry ...
Lee mas
Modern Econometric Analysis
The importance of empirical economics and econometric methods has greatly in creased during the last 20 years due to the ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
Modular Programming Languages
On behalf of the Steering Committee we are pleased to present the proceedings of the 2006 Joint Modular Languages Conference ...
Lee mas
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 ...
Lee masMulti-Sensor Data Fusion
This textbook provides a comprehensive introduction to the theories and techniques of multi-sensor data fusion. It is aimed ...
Lee mas
Multi-scale Modelling for Structures and Composites
Numerous applications of rod structures in civil engineering, aircraft and spacecraft confirm the importance of the topic. ...
Lee mas
