Logic for Computer Scientists
This book introduces the notions and methods of formal logic from a computer science standpoint, covering propositional logic, ...
اقرأ المزيد
Logic for Programming, Artificial Intelligence, and Reasoning (vol. # 3835)
Constitutes the refereed proceedings of the 12th International Conference on Logic for Programming, Artificial Intelligence, ...
اقرأ المزيد
Logical Foundations for Rule-Based Systems
The book presents logical foundations for rule-based systems, as seen by the Author. An attempt has been made to provide ...
اقرأ المزيد
Logics in Artificial Intelligence : 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings
This book constitutes the refereed proceedings of the 11th European Conference on Logics in Artificial Intelligence, JELIA ...
اقرأ المزيد
Machine Learning Challenges
This book constitutes the refereed post-proceedings of the First PASCAL Machine Learning Challenges Workshop, MLCW 2005. ...
اقرأ المزيد
Machine Learning: ECML 2007
The two premier annual European conferences in the areas of machine learning and data mining have been collocated ever since ...
اقرأ المزيد
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 Control Theory : An Introduction
Mathematical Control Theory: An Introduction presents, in a mathematically precise manner, a unified introduction to deterministic ...
اقرأ المزيد
Mathematics of Program Construction
This volume contains the proceedings of the 8th International Conference on Mathematics of ProgramConstruction, MPC 2006,held ...
اقرأ المزيد
Mathematics of Program Construction : 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings
This book constitutes the refereed proceedings of the 9th International Conference on Mathematics of Program Construction, ...
اقرأ المزيد
Model Driven Engineering Languages and Systems
This book constitutes the refereed proceedings of the 10th International Conference on Model Driven Engineering Languages ...
اقرأ المزيد
Model Driven Engineering Languages and Systems (vol. # 3713)
Constitutes the proceedings of the 8th International Conference on Model Driven Engineering Languages and Systems, MoDELS ...
اقرأ المزيد
Model Driven Engineering Languages and Systems (vol. # 4199)
This book constitutes the refereed proceedings of the 9th International Conference on Model Driven Engineering Languages ...
اقرأ المزيد
Modeling Uncertainty
Modeling Uncertainty: An Examination of Stochastic Theory, Methods, and Applications, is a volume undertaken by the friends ...
اقرأ المزيد
Models in Software Engineering
This book constitutes the thoroughly refereed post-proceedings of 11 international workshops held as satellite events of ...
اقرأ المزيد
Natural Computing in Computational Finance
Natural Computing in Computational Finance is a innovative volume containing fifteen chapters which illustrate cutting-edge ...
اقرأ المزيد
Nonlinear Optimization with Engineering Applications
This textbook examines a broad range of problems in science and engineering, describing key numerical methods applied to ...
اقرأ المزيد
Numerical Optimization
This book starts with illustrations of the ubiquitous character of optimization, and describes numerical algorithms in a ...
اقرأ المزيد
Numerical Optimization
Numerical Optimization presents a comprehensive and up-to-date description of the most effective methods in continuous optimization. ...
اقرأ المزيد
Numerical Optimization
This book starts with illustrations of the ubiquitous character of optimization, and describes numerical algorithms in a ...
اقرأ المزيد
