Electronic Books

Total Books: 461 - 480 /722

Manufacturing Execution Systems - MES

The production plants of today develop into modern service centers. Economic efficiency of modern added value is not a property ...

Massively Multi-Agent Technology : AAMAS Workshops, MMAS 2006, LSMAS 2006, and CCMMS 2007 Hakodate, Japan, May 9, 2006 Honolulu, HI, USA, May 15, 2007 Selected and Revised Papers

This book constitutes the thoroughly refereed post-workshop proceedings of the joint AAMAS 2006 International Workshops on ...

Mathematical Foundations of Computer Science 2005

Constitutes the proceedings of the 30th International Symposium on Mathematical Foundations of Computer Science, MFCS 2005, ...

Mathematical Foundations of Computer Science 2006

This book constitutes the refereed proceedings of the 31st International Symposium on Mathematical Foundations of Computer ...

Mathematical Foundations of Computer Science 2007

This book constitutes the refereed proceedings of the 32nd International Symposium on Mathematical Foundations of Computer ...

Mathematical Foundations of Computer Science 2008 : 33rd International Symposium, MFCS 2008, Toru´n, Poland, August 25-29, 2008. Proceedings

This book constitutes the refereed proceedings of the 33rd International Symposium on Mathematical Foundations of Computer ...

Mathematical Knowledge Management (vol. # 4108)

This book constitutes the refereed proceedings of the 5th International Conference on Mathematical Knowledge Management, ...

Mathematical Linguistics

Mathematical Linguistics introduces the mathematical foundations of linguistics to computer scientists, engineers, and mathematicians ...

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

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

Membrane Computing

This volume contains a selection of papers presented at the Eighth Workshop on Membrane Computing, WMC8, which took place ...

Membrane Computing (vol. # 3365)

Constitutes the refereed extended postproceedings of the 5th International Workshop on Membrane Computing, held in Italy, ...

Membrane Computing (vol. # 3850)

The papers in this volume cover all the main directions of research in membrane computing, ranging from theoretical topics ...

Metaheuristics:

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

Metainformatics

Constitutes the refereed post-proceedings of the Metainformatics Symposium, MIS 2004, held in Salzburg, Austria. This book ...

Methods in Nonlinear Analysis

Nonlinear analysis has developed rapidly in the last three decades. Theories, techniques and results in many different branches ...

Metric Driven Design Verification

A metric based flow is described that focuses on the four steps of: 1. Planning: Defining what needs to be done and the automatically ...

Mixed-Signal Layout Generation Concepts

Mixed-Signal Layout Generation Concepts covers important physical-design issues that exist in contemporary analog and mixed-signal ...

Model Abstraction in Dynamical Systems: Application to Mobile Robot Control

The subject of this book is model abstraction of dynamical systems. The p- mary goal of the work embodied in this book is ...

Total Books: 461 - 480 /722