Mathematical Problems from Applied Logic I
Mathematical Problems from Applied Logic I presents chapters from selected, world renowned, logicians. Important topics of ...
Lee mas
Mathematical Problems from Applied Logic II
Mathematical Problems from Applied Logic II presents chapters from selected, world renowned, logicians. Important topics ...
Lee mas
Mathematical Software - ICMS 2006
This volume contains the outstanding collection of invited papers and refereed papers selected for the Second International ...
Lee mas
Mathematical Tools for Data Mining : Set Theory, Partial Orders, Combinatorics
Mathematics is presented in a thorough and rigorous manner offering a detailed explanation of each topic, with applications ...
Lee mas
Mathematics and Computation, a Contemporary View : The Abel Symposium 2006 Proceedings of the Third Abel Symposium, Alesund, Norway, May 25–27, 2006
The 2006 Abel symposium is focusing on contemporary research involving interaction between computer science, computational ...
Lee mas
Mathematics for Computer Graphics
In thirteen chapters you will rediscover - and hopefully discover for the first time a new way of understanding - the mathematical ...
Lee mas
Mathematics of Program Construction
This volume contains the proceedings of the 8th International Conference on Mathematics of ProgramConstruction, MPC 2006,held ...
Lee mas
Mathematics of Program Construction : 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings
This book constitutes the refereed proceedings of the 9th International Conference on Mathematics of Program Construction, ...
Lee mas
Mathematics of Surfaces XI
Constitutes the refereed proceedings of the 11th IMA International Conference on the Mathematics of Surfaces, held in Loughborough, ...
Lee mas
Mathematics of Surfaces XII
This book constitutes the refereed proceedings of the 12th IMA International Conference on the Mathematics of Surfaces, held ...
Lee mas
Matrix-Based Multigrid : Theory and Applications
Multigrid methods are often used for solving partial differential equations. This book introduces and analyzes the multigrid ...
Lee mas
Maturing Usability : Quality in Software, Interaction and Value
Divided into three parts, ‘Quality in Software’ looks at how using development tools can enhance usability of a system, ...
Lee mas
Max-Plus Linear Stochastic Systems and Perturbation Analysis
This book provides a thorough treatment of the theory of stochastic max-plus linear systems. Max-plus algebra is an algebraic ...
Lee mas
Mechanisms, Symbols, and Models Underlying Cognition
Constitute the refereed proceedings of the First International Work-Conference on the Interplay between Natural and Artificial ...
Lee mas
Mechanizing Mathematical Reasoning
By presenting state-of-the-art results in logical reasoning and formal methods in the context of artificial intelligence ...
Lee mas
Medical Biometrics
Medical biometrics primarily refers to the usage of beh- ioral and physiological characteristics of humans for medical diagnosis ...
Lee mas
Medical Image Computing and Computer-Assisted Intervention - MICCAI 2008 : 11th International Conference, New York, NY, USA, September 6-10, 2008, Proceedings, Part I
The program committee carefully selected 258 revised papers from numerous submissions for presentation in two volumes, based ...
Lee mas
Medical Image Computing and Computer-Assisted Intervention - MICCAI 2008 : 11th International Conference, New York, NY, USA, September 6-10, 2008, Proceedings, Part II
The program committee carefully selected 258 revised papers from numerous submissions for presentation in two volumes, based ...
Lee mas
Medical Image Computing and Computer-Assisted Intervention -- MICCAI 2005
Robotics, Image-Guided Surgery and Interventions -- Image Registration II -- Medical Image Computing -- Atlases -- Shape ...
Lee mas
Medical Image Computing and Computer-Assisted Intervention – MICCAI 2005
This paper presents a method for classification of medical images, using machine learning and deformation-based morphometry. ...
Lee mas
