Electronic Books

Total Books: 101 - 120 /135

Principle and Practice of Constraint Programming - CP 2006

This book constitutes the refereed proceedings of the 12th International Conference on Principles and Practice of Constraint ...

Principles and Practice of Constraint Programming - CP 2002

This book constitutes the refereed proceedings of the 8th International Conference on Principles and Practice of Constraint ...

Principles and Practice of Constraint Programming - CP 2005

Constitutes the proceedings of the 11th International Conference on Principles and Practice of Constraint Programming, CP ...

Principles and Practice of Constraint Programming : 14th International Conference, CP 2008, Sydney, Australia, September 14-18, 2008. Proceedings

This book constitutes the refereed proceedings of the 14th International Conference on Principles and Practice of Constraint ...

Principles and Practice of Constraint Programming – CP 2007

This book constitutes the refereed proceedings of the 13th International Conference on Principles and Practice of Constraint ...

Probabilistic Inductive Logic Programming : Theory and Applications

One of the key open questions within arti?cial intelligence is how to combine probability and logic with learning. This question ...

Programming Languages and Systems (vol. # 4279)

This volume contains the proceedings of the 4th Asian Symposium on Progr- mingLanguagesandSystems(APLAS2006),whichtookplaceinSydney,Japan, ...

Progress in Artificial Intelligence

This book constitutes the refereed proceedings of the 13th Portuguese Conference on Artificial Intelligence, EPIA 2007, held ...

Receding Horizon Control

Receding Horizon Control introduces the essentials of a successful feedback strategy that has emerged in many industrial ...

Recent Advances in Constraints

This book constitutes the thoroughly refereed and extended post-proceedings of the 11th Annual ERCIM International Workshop ...

Recent Advances in Constraints (vol. # 3419)

Constitutes the extended post-proceedings of the ERCIM/CoLogNet International Workshop on Constraint Satisfaction and Constraint ...

Recent Advances in Constraints (vol. # 3978)

Privacy in statistical databases is a discipline whose purpose is to provide - lutions to the con?ict between the increasing ...

Recent Advances in Constraints : 12th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2007 Rocquencourt, France, June 7-8, 2007 Revised Selected Papers

This book address all aspects of constraint and logic programming, including foundational issues, implementation techniques, ...

Research and Development in Intelligent Systems XXIV : Proceedings of AI-2007, the Twenty-seventh SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence

They present new and innovative developments in the field, divided into sections on Constraint Satisfaction, AI Techniques, ...

Rewriting Techniques and Applications : 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008 Proceedings

The book covers current research on all aspects of rewriting including typical areas of interest such as applications, foundational ...

Rule Representation, Interchange and Reasoning on the Web : International Symposium, RuleML 2008, Orlando, FL, USA, October 30-31, 2008. Proceedings

This book is organized in topical sections on rule engineering, rule-based methodologies and applications in policies, electronic ...

Service-Oriented Computing - ICSOC 2008 : 6th International Conference, Sydney, Australia, December 1-5, 2008. Proceedings

The book present original research in the field of service oriented computing, from theoretical and foundational results ...

Set-Theoretic Methods in Control

This self-contained monograph describes basic set-theoretic methods for control and provides a discussion of their links ...

Sharing Data, Information and Knowledge : 25th British National Conference on Databases, BNCOD 25, Cardiff, UK, July 7-10, 2008. Proceedings

The book are organized in topical sections on data mining and privacy, data integration, stream and event data processing, ...

Stability and Convergence of Mechanical Systems with Unilateral Constraints

Stability of motion is a central theme in the dynamics of mechanical systems. While the stability theory for systems with ...

Total Books: 101 - 120 /135