Electronic Books

Total Books: 2561 - 2580 /3928

Mathematical Problems from Applied Logic I

Mathematical Problems from Applied Logic I presents chapters from selected, world renowned, logicians. Important topics of ...

Mathematical Problems from Applied Logic II

Mathematical Problems from Applied Logic II presents chapters from selected, world renowned, logicians. Important topics ...

Mathematical Software - ICMS 2006

This volume contains the outstanding collection of invited papers and refereed papers selected for the Second International ...

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 ...

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 ...

Mathematics for Computer Graphics

In thirteen chapters you will rediscover - and hopefully discover for the first time a new way of understanding - the mathematical ...

Mathematics of Program Construction

This volume contains the proceedings of the 8th International Conference on Mathematics of ProgramConstruction, MPC 2006,held ...

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, ...

Mathematics of Surfaces XI

Constitutes the refereed proceedings of the 11th IMA International Conference on the Mathematics of Surfaces, held in Loughborough, ...

Mathematics of Surfaces XII

This book constitutes the refereed proceedings of the 12th IMA International Conference on the Mathematics of Surfaces, held ...

Matrix-Based Multigrid : Theory and Applications

Multigrid methods are often used for solving partial differential equations. This book introduces and analyzes the multigrid ...

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, ...

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 ...

Mechanisms, Symbols, and Models Underlying Cognition

Constitute the refereed proceedings of the First International Work-Conference on the Interplay between Natural and Artificial ...

Mechanizing Mathematical Reasoning

By presenting state-of-the-art results in logical reasoning and formal methods in the context of artificial intelligence ...

Medical Biometrics

Medical biometrics primarily refers to the usage of beh- ioral and physiological characteristics of humans for medical diagnosis ...

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 ...

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 ...

Medical Image Computing and Computer-Assisted Intervention -- MICCAI 2005

Robotics, Image-Guided Surgery and Interventions -- Image Registration II -- Medical Image Computing -- Atlases -- Shape ...

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. ...

Total Books: 2561 - 2580 /3928