Mechanizing Mathematical Reasoning
By presenting state-of-the-art results in logical reasoning and formal methods in the context of artificial intelligence ...
Lee mas
Media Resistance
his book is about those who dislike, protest, and try to abstain from media, both new and old. It explains why media resistance ...
Lee mas
Media Theory : Interdisciplinary Applied Mathematics
The focus of this book is a mathematical structure modeling a physical or biological system that can be in any of a number ...
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 II
The program committee carefully selected 258 revised papers from numerous submissions for presentation in two volumes, based ...
Lee mas
Medical Imaging and Augmented Reality : 4th International Workshop Tokyo, Japan, August 1-2, 2008 Proceedings
This book constitutes the refereed proceedings of the 4th International Workshop on Medical Imaging and Augmented Reality, ...
Lee mas
Medical Imaging and Informatics : 2nd International Conference, MIMI 2007, Beijing, China, August 14-16, 2007 Revised Selected Papers
This book constitutes the thoroughly refeered post-conference proceedings of the Second Interational Conference on Medical ...
Lee masMediclica ليليى الحافي ؛ محمد بشر الخطيب ؛ إشراف د. عمر سليمان
The main objective of the project here is to show the ability to book online in Syria. And show the interdependence between ...
Lee mas
Metaheuristic Optimization Algorithms in Civil Engineering: New Applications / Ali Kaveh , Armin Dadras Eslamlou
Discusses the application of metaheuristic algorithms in a number of important optimization problems in civil engineering. ...
Lee mas
Metaheuristic Procedures for Training Neural Networks
Metaheuristic Procedures For Training Neural Networks provides successful implementations of metaheuristic methods for neural ...
Lee mas
Metaheuristics for Scheduling in Distributed Computing Environments
This volume presents meta-heuristics approaches for Grid scheduling problems. Due to the complex nature of the problem, meta-heuristics ...
Lee mas
Metaheuristics:
Metaheuristics: Progress as Real Problem Solvers is a peer-reviewed volume of eighteen current, cutting-edge papers by leading ...
Lee masMetalearning : Applications to Automated Machine Learning and Data Mining
This book as one of the fastest-growing areas of research in machine learning, metalearning studies principled methods to ...
Lee mas
Methodological Investigations in Agent-Based Modelling
This open access book examines the methodological complications of using complexity science concepts within the social science ...
Lee mas
Methods and Procedures for the Verification and Validation of Artificial Neural Networks
Methods and Procedures for the Verification and Validation of Artificial Neural Networks is the culmination of the first ...
Lee mas
Micro-Assembly Technologies and Applications : IFIP TC5 WG5.5 Fourth International Precision Assembly Seminar (IPAS’2008) Chamonix, France February 10–13, 2008
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
Lee mas
Micromechanics and Nanosimulation of Metals and Composites : Advanced Methods and Theoretical Concepts
This book provides insight into advanced numerical and experimental investigations of the microstructural aspects of strength ...
Lee mas
Microsoft SharePoint : Building Office 2007 Solutions in C# 2005
Microsoft SharePoint: Building Office 2007 Solutions in C# 2005 is the third edition of Scot Hilliers market-leading SharePoint ...
Lee mas
Microsoft SharePoint : Building Office 2007 Solutions in VB 2005
Microsoft SharePoint: Building Office 2007 Solutions in VB 2005 is the third edition of Scot Hillier's market-leading SharePoint ...
Lee mas
Mobile Computing, Applications, and Services
This book constitutes the thoroughly refereed post-conference proceedings of the 11th International Conference on Mobile ...
Lee mas
