Electronic Books

Total Books: 121 - 140 /201

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 ...

Total Books: 121 - 140 /201