Electronic Books

Total Books: 461 - 480 /757

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Total Books: 461 - 480 /757