Electronic Books

Total Books: 181 - 200 /225

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

Modeling and Retrieval of Context

Computing in context has become a necessity in modern and intelligent IT - plications. With the use of mobile devices and ...

Modeling and Using Context

Context is of crucial importance for research and applications in many disciplines, as evidenced by many workshops, symposia, ...

Modeling and Using Context

This volume contains the papers presented at CONTEXT 2007, the Sixth International and Interdisciplinary Conference on Modeling ...

Modelling, Analysis and Optimization of Biosystems

Mathematical models in biology and medicine cannot be based on natural laws as it is the case with physics and chemistry. ...

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

Multi-Agent Systems and Applications

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

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

Multiple Classifier Systems

Driven by the requirements of a large number of practical and commercially - portant applications, the last decade has witnessed ...

Multiple Classifier Systems

Constitutes the refereed proceedings of the 6th International Workshop on Multiple Classifier Systems, MCS 2005. This book ...

Multiple Classifier Systems

These proceedings are a record of the Multiple Classifier Systems Workshop, MCS 2007, held at the Institute of Information ...

On the path to AI Law’s prophecies and the conceptual foundations of the machine learning age

This book explores machine learning and its impact on how we make sense of the world. It does so by bringing together two ...

PRICAI 2006: Trends in Artificial Intelligence

This book constitutes the refereed proceedings of the 9th Pacific Rim International Conference on Artificial Intelligence, ...

Parallel Problem Solving from Nature - PPSN IX

We received 255 paper submissions this year. After an extensive peer review process involving more than 1000 reviews, the ...

Parameterized and Exact Computation

IWPEC events are intended to cover research in all aspects of parameterizedand exact computation and complexity, including ...

Parameterized and Exact Computation : Third International Workshop, IWPEC 2008, Victoria, Canada, May 14-16, 2008. Proceedings

This book constitutes the refereed proceedings of the Third International Workshop on Parameterized and Exact Computation, ...

Principles of Distributed Systems (vol. # 4305)

This book constitutes the refereed proceedings of the 10th International Conference on Principles of Distributed Systems, ...

Probabilistic Inductive Logic Programming : Theory and Applications

One of the key open questions within arti?cial intelligence is how to combine probability and logic with learning. This question ...

Total Books: 181 - 200 /225