CONCUR 2006 - Concurrency Theory
This volume contains the proceedings of the 17th International Conference on Concurrency Theory (CONCUR) held in Bonn, Germany, ...
اقرأ المزيد
CONCUR 2007 – Concurrency Theory
This book includes model checking, process calculi, minimization and equivalence checking, types, semantics, probability, ...
اقرأ المزيد
CONCUR 2007 – Concurrency Theory
This book includes model checking, process calculi, minimization and equivalence checking, types, semantics, probability, ...
اقرأ المزيد
Computer Vision -- ECCV 2006 (vol. # 3951)
The papers are organized in topical sections on recognition, statistical models and visual learning, 3D reconstruction and ...
اقرأ المزيد
Computer Vision -- ECCV 2006 (vol. # 3952)
Constitutes the refereed proceedings of the 9th European Conference on Computer Vision, 2006. This book covers a range of ...
اقرأ المزيد
Computer Vision -- ECCV 2006 (vol. # 3953)
Constitutes the refereed proceedings of the 9th European Conference on Computer Vision, 2006. This book covers a range of ...
اقرأ المزيد
Computer Vision -- ECCV 2006 (vol. # 3954)
Constitutes the refereed proceedings of the 9th European Conference on Computer Vision, 2006. This book covers a range of ...
اقرأ المزيد
Constructal Theory of Social Dynamics
Constructal Theory of Social Dynamics brings together for the first time social scientists and engineers to develop a predictive ...
اقرأ المزيد
Energy Minimization Methods in Computer Vision and Pattern Recognition
This volume contains critical issues of representation, learning, and inference. Important new themes include pr- abilistic ...
اقرأ المزيد
Energy Minimization Methods in Computer Vision and Pattern Recognition
This volume contains critical issues of representation, learning, and inference. Important new themes include pr- abilistic ...
اقرأ المزيد
Energy Minimization Methods in Computer Vision and Pattern Recognition
Constitutes the refereed proceedings of the 5th International Workshop on Energy Minimization Methods in Computer Vision ...
اقرأ المزيد
Issues in Bioinvasion Science
Biological invasions are a global problem whose local impact can be of great magnitude. The prevention and minimization of ...
اقرأ المزيد
Knowledge Networks for Business Growth
Companies are constantly searching for new ways of creating higher profit and a larger market share. Growth seems to be the ...
اقرأ المزيد
Methods in Nonlinear Analysis
Nonlinear analysis has developed rapidly in the last three decades. Theories, techniques and results in many different branches ...
اقرأ المزيدModeling, Estimation and Control
Coefficients of Variations in Analysis of Macro-Policy Effects: An example of two-parameter Poisson-Dirichlet distributions.- ...
اقرأ المزيد
Multilevel Block Factorization Preconditioners : Matrix-based Analysis and Algorithms for Solving Finite Element Equations
This monograph is the first to provide a comprehensive, self-contained and rigorous presentation of some of the most powerful ...
اقرأ المزيد
Ossigenoterapia domiciliare a lungo termine in Italia : Il valore aggiunto della telemedicina
The development of new therapeutic strategies and the minimization of direct and indirect costs are fundamental objectives ...
اقرأ المزيد
Quantum Transport : Modelling, Analysis and Asymptotics — Lectures given at the C.I.M.E. Summer School held in Cetraro, Italy September 11–16, 2006
The CIME Summer School held in Cetraro, Italy, in 2006 addressed researchers interested in the mathematical study of quantum ...
اقرأ المزيد
The Mathematica GuideBook for Numerics
Mathematica is today's most advanced technical computing system, featuring a rich programming environment, two-and three-dimensional ...
اقرأ المزيد
The Mathematica GuideBook for Numerics
Mathematica is today's most advanced technical computing system, featuring a rich programming environment, two-and three-dimensional ...
اقرأ المزيد
