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 - Key Technology for the Future : Joint Projects Between Universities and Industry 2004–2007
This book is about the results of a number of projects funded by the BMBF in the initiative "Mathematics for Innovations ...
اقرأ المزيد
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 and Culture II
This book presents the mathematical foundations of systems theory in a self-contained, comprehensive, detailed and mathematically ...
اقرأ المزيد
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 ...
اقرأ المزيد
Medial Representations : Mathematics, Algorithms and Applications
The last half century has seen the development of many biological or physical theories that have explicitly or implicitly ...
اقرأ المزيد
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 ...
اقرأ المزيد
