Logic for Computer Scientists
This book introduces the notions and methods of formal logic from a computer science standpoint, covering propositional logic, ...
Lee mas
Logic for Programming, Artificial Intelligence, and Reasoning (vol. # 3835)
Constitutes the refereed proceedings of the 12th International Conference on Logic for Programming, Artificial Intelligence, ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
Machine Learning Challenges
This book constitutes the refereed post-proceedings of the First PASCAL Machine Learning Challenges Workshop, MLCW 2005. ...
Lee mas
Machine Learning: ECML 2007
The two premier annual European conferences in the areas of machine learning and data mining have been collocated ever since ...
Lee mas
Markov Decision Processes with Their Applications
Markov decision processes (MDPs), also called stochastic dynamic programming, were first studied in the 1960s. MDPs can be ...
Lee mas
Mathematical Control Theory : An Introduction
Mathematical Control Theory: An Introduction presents, in a mathematically precise manner, a unified introduction to deterministic ...
Lee mas
Mathematics of Program Construction
This volume contains the proceedings of the 8th International Conference on Mathematics of ProgramConstruction, MPC 2006,held ...
Lee mas
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, ...
Lee mas
Model Driven Engineering Languages and Systems
This book constitutes the refereed proceedings of the 10th International Conference on Model Driven Engineering Languages ...
Lee mas
Model Driven Engineering Languages and Systems (vol. # 3713)
Constitutes the proceedings of the 8th International Conference on Model Driven Engineering Languages and Systems, MoDELS ...
Lee mas
Model Driven Engineering Languages and Systems (vol. # 4199)
This book constitutes the refereed proceedings of the 9th International Conference on Model Driven Engineering Languages ...
Lee mas
Modeling Uncertainty
Modeling Uncertainty: An Examination of Stochastic Theory, Methods, and Applications, is a volume undertaken by the friends ...
Lee mas
Models in Software Engineering
This book constitutes the thoroughly refereed post-proceedings of 11 international workshops held as satellite events of ...
Lee mas
Natural Computing in Computational Finance
Natural Computing in Computational Finance is a innovative volume containing fifteen chapters which illustrate cutting-edge ...
Lee mas
Nonlinear Optimization with Engineering Applications
This textbook examines a broad range of problems in science and engineering, describing key numerical methods applied to ...
Lee mas
Numerical Optimization
This book starts with illustrations of the ubiquitous character of optimization, and describes numerical algorithms in a ...
Lee mas
Numerical Optimization
Numerical Optimization presents a comprehensive and up-to-date description of the most effective methods in continuous optimization. ...
Lee mas
Numerical Optimization
This book starts with illustrations of the ubiquitous character of optimization, and describes numerical algorithms in a ...
Lee mas
