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. ...
اقرأ المزيد
