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 ...
اقرأ المزيد
