Electronic Books

Total Books: 1001 - 1020 /1475

Mechanizing Mathematical Reasoning

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

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

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

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 II

The program committee carefully selected 258 revised papers from numerous submissions for presentation in two volumes, based ...

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

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

Mediclica ليليى الحافي ؛ محمد بشر الخطيب ؛ إشراف د. عمر سليمان

The main objective of the project here is to show the ability to book online in Syria. And show the interdependence between ...

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

Metaheuristic Procedures for Training Neural Networks

Metaheuristic Procedures For Training Neural Networks provides successful implementations of metaheuristic methods for neural ...

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

Metaheuristics:

Metaheuristics: Progress as Real Problem Solvers is a peer-reviewed volume of eighteen current, cutting-edge papers by leading ...

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

Methodological Investigations in Agent-Based Modelling

This open access book examines the methodological complications of using complexity science concepts within the social science ...

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

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

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

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

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

Mobile Computing, Applications, and Services

This book constitutes the thoroughly refereed post-conference proceedings of the 11th International Conference on Mobile ...

Total Books: 1001 - 1020 /1475