Electronic Books

Total Books: 441 - 460 /686

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

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

Model Reduction and Coarse-Graining Approaches for Multiscale Phenomena

Model reduction and coarse-graining are important in many areas of science and engineering. How does a system with many degrees ...

Model-based Fault Diagnosis Techniques : Design Schemes, Algorithms, and Tools

The objective of this book is to introduce basic model-based FDI schemes, advanced analysis and design algorithms and the ...

Modeling and Simulation for RF System Design

The focus of Modeling and Simulation for RF System Design lies on RF specific modeling and simulation methods and the consideration ...

Modelling and Control of Dynamical Systems: Numerical Implementation in a Behavioral Framework

This book reviews known topics of the Behavioral Approach and offers new theoretic results with the advantage of including ...

Total Books: 441 - 460 /686