Mathematical Foundations of Computer Science 2006
This book constitutes the refereed proceedings of the 31st International Symposium on Mathematical Foundations of Computer ...
Lee mas
Mathematical Foundations of Computer Science 2007
This book constitutes the refereed proceedings of the 32nd International Symposium on Mathematical Foundations of Computer ...
Lee mas
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 ...
Lee mas
Mathematical Knowledge Management (vol. # 4108)
This book constitutes the refereed proceedings of the 5th International Conference on Mathematical Knowledge Management, ...
Lee mas
Mathematical Linguistics
Mathematical Linguistics introduces the mathematical foundations of linguistics to computer scientists, engineers, and mathematicians ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
Membrane Computing
This volume contains a selection of papers presented at the Eighth Workshop on Membrane Computing, WMC8, which took place ...
Lee mas
Membrane Computing (vol. # 3365)
Constitutes the refereed extended postproceedings of the 5th International Workshop on Membrane Computing, held in Italy, ...
Lee mas
Membrane Computing (vol. # 3850)
The papers in this volume cover all the main directions of research in membrane computing, ranging from theoretical topics ...
Lee mas
Metaheuristics:
Metaheuristics: Progress as Real Problem Solvers is a peer-reviewed volume of eighteen current, cutting-edge papers by leading ...
Lee mas
Metainformatics
Constitutes the refereed post-proceedings of the Metainformatics Symposium, MIS 2004, held in Salzburg, Austria. This book ...
Lee mas
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 ...
Lee mas
Mixed-Signal Layout Generation Concepts
Mixed-Signal Layout Generation Concepts covers important physical-design issues that exist in contemporary analog and mixed-signal ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
