Logic, Language, and Computation
Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the second ...
اقرأ المزيد
Logic-Based Program Synthesis and Transformation
This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, ...
اقرأ المزيد
MICAI 2005: Advances in Artificial Intelligence
Constitutes the refereed proceedings of the 4th Mexican International Conference on Artificial Intelligence, MICAI 2005, ...
اقرأ المزيد
Marine Resource Damage Assessment
MARE-DASM research focused on: (i) the estimation and distribution of marine contaminants in order to assess their long term ...
اقرأ المزيد
Markov Decision Processes with Their Applications
Markov decision processes (MDPs), also called stochastic dynamic programming, were first studied in the 1960s. MDPs can be ...
اقرأ المزيد
Mathematical Aspects of Classical and Celestial Mechanics
In this book we describe the basic principles, problems, and methods of clssical mechanics. Our main attention is devoted ...
اقرأ المزيد
Mathematical Aspects of Classical and Celestial Mechanics
In this book we describe the basic principles, problems, and methods of clssical mechanics. Our main attention is devoted ...
اقرأ المزيد
Mechanical System Dynamics
This textbook gives a clear and thorough presentation of the fundamental principles of mechanical systems and their dynamics. ...
اقرأ المزيد
Methodology for the Digital Calibration of Analog Circuits and Systems
Methodology for the Digital Calibration of Analog Circuits and Systems shows how to relax the extreme design constraints ...
اقرأ المزيد
Mobile Information Systems (vol. # 158)
This book contains the proceedings of the IFIP TC8 Working Conference on Mobile Information Systems, which was held in September ...
اقرأ المزيد
Mobile Information Systems II
This book contains the proceedings of the second IFIP TC8 Working Conference on Mobile Information Systems which was held ...
اقرأ المزيد
Model Driven Engineering Languages and Systems : 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008. Proceedings
The book also contains three keynote speeches and contributions to workshops, symposia, tutorials and panels at the conference. ...
اقرأ المزيد
Modelling in Mathematical Programming
This book provides basic tools for learning how to model in mathematical programming, from models without much complexity ...
اقرأ المزيد
Modern Anesthetics
Some important constraints of anesthesia must be taken into consideration when the pharmacological properties of modern anesthetics ...
اقرأ المزيد
Multiobjective Optimization : Interactive and Evolutionary Approaches
Multiobjective optimization deals with solving problems having not only one, but multiple, often conflicting, criteria. Such ...
اقرأ المزيد
Multiparadigm Programming in Mozart
Oz's concurrency model yields simplicity and clarity (because Oz makes it easier to express complex programs with many interacting ...
اقرأ المزيد
Multirate Statistical Signal Processing
This book introduces a statistical theory for extracting information from signals that have di?erent sampling rates. This ...
اقرأ المزيد
National Tax Policy in Europe
The book is dedicated to the question of how much room for national tax policy Member States of the European Union will find ...
اقرأ المزيد
Natural Language Processing and Information Systems (vol. # 3999)
This book constitutes the refereed proceedings of the 11th International Conference on Applications of Natural Language to ...
اقرأ المزيد
Nature Inspired Problem-Solving Methods in Knowledge Engineering
The second of a two-volume set, this book constitutes the refereed proceedings of the Second International Work-Conference ...
اقرأ المزيد
