Electronic Books

Total Books: 1401 - 1420 /2027

Modern Formal Methods and Applications

Formal methods are a robust approach for problem solving. It is based on logic and algebraic methods where problems can be ...

Modern Multidimensional Scaling

The book provides a comprehensive treatment of multidimensional scaling (MDS), a family of statistical techniques for analyzing ...

Modular Algorithms in Symbolic Summation and Symbolic Integration

This work brings together two streams in computer algebra: symbolic integration and summation on the one hand, and fast algorithmics ...

Molecular Imaging: Computer Reconstruction and Practice

This book reports the majority of lectures given during the NATO Advanced Study Institute ASI-982440, which was held at the ...

Motion Planning in Medicine: Optimization and Simulation Algorithms for Image-Guided Procedures

The monograph written by Ron Alterovitz and Ken Goldberg combines ideas from robotics, physically-based modeling, and operations ...

Multi-Agent Systems and Applications

The Advanced Course on Artificial Intelligence ACAI 2001 with the subtitle M ulti- Agent Systems and Their Applications , ...

Multi-Objective Evolutionary Algorithms for Knowledge Discovery from Databases

The present volume provides a collection of seven articles containing new and high quality research results demonstrating ...

Multi-Objective Machine Learning

This monograph presents a selected collection of research work on multi-objective approach to machine learning, including ...

Multi-Robot Systems. From Swarms to Intelligent Automata, Volume III

Documents developments in multi-robot systems research. This volume is the result of the Third International workshop on ...

Multi-Sensor Data Fusion

This textbook provides a comprehensive introduction to the theories and techniques of multi-sensor data fusion. It is aimed ...

Multi-objective Management in Freight Logistics : Increasing Capacity, Service Level and Safety with Optimization Algorithms

Multi-objective Management in Freight Logistics provides decision makers with new methods and tools to implement multi-objective ...

Multi-point Interaction with Real and Virtual Objects

This edited book covers some of the most challenging problems on the forefront of today’s research on physical interaction ...

Multiagent System Technologies : 6th German Conference, MATES 2008, Kaiserslautern, Germany, September 23-26, 2008. Proceedings

This book constitutes the refereed proceedings of the 6th German Conference on Multiagent Systems Technologies, MATES 2008, ...

Multicriteria Scheduling

Scheduling and multicriteria optimisation theory have been subject, separately, to numerous studies. Since the last twenty ...

Multidisciplinary Methods for Analysis, Optimization and Control of Complex Systems

Consists of lecture notes of a summer school named after the late Jacques Louis Lions. The summer school was designed to ...

Multifield Problems in Solid and Fluid Mechanics

This book summarizes the main scientific results of the Collaborative Research Center on Multifield Problems in Continuum ...

Multilevel Block Factorization Preconditioners : Matrix-based Analysis and Algorithms for Solving Finite Element Equations

This monograph is the first to provide a comprehensive, self-contained and rigorous presentation of some of the most powerful ...

Multilingual Information Access for Text, Speech and Images

The ?fth campaign of the Cross-Language Evaluation Forum (CLEF) for Eu- pean languages was held from January to September ...

Multimedia Encryption and Watermarking

Multimedia Encryption and Watermarking presents a comprehensive survey of contemporary multimedia encryption and watermarking ...

Multimedia Introduction to Programming Using Java

Although vital to modern software development, Java and object-oriented programming can pose significant challenges to newcomers. ...

Total Books: 1401 - 1420 /2027