الكتب الالكترونية

  1. الرئيسية
  2. الكتب الالكترونية
عدد الكتب: 1 - 15 /15
978-3-540-92243-8
Constraint Handling Rules : Current Research Topics

The Constraint Handling Rules (CHR) language is a declarative concurrent committed-choice constraint logic programming language ...

اقرأ المزيد
978-3-540-31928-3
Constraint Solving and Language Processing

This volume contains selected and thoroughly revised papers plus contributions from invited speakers presented at the First ...

اقرأ المزيد
978-3-540-31947-4
Logic Programming (vol. # 3668)

This volume contains the proceedings of the 21st International Conference on Logic Programming which was held in Sitges (Barcelona), ...

اقرأ المزيد
978-3-540-89982-2
Logic Programming : 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings

The 35 revised full papers together with 2 invited talks, 2 invited tutorials, 11 papers of the co-located first Workshop ...

اقرأ المزيد
978-3-540-46268-2
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 ...

اقرأ المزيد
978-3-540-46135-7
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 ...

اقرأ المزيد
978-3-540-32050-0
Principles and Practice of Constraint Programming - CP 2005

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

اقرأ المزيد
978-3-540-85958-1
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 ...

اقرأ المزيد
978-3-540-74970-7
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 ...

اقرأ المزيد
978-3-540-78652-8
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 ...

اقرأ المزيد
978-3-540-73817-6
Recent Advances in Constraints

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

اقرأ المزيد
978-3-540-32252-8
Recent Advances in Constraints (vol. # 3419)

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

اقرأ المزيد
978-3-540-34216-8
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 ...

اقرأ المزيد
978-3-540-89812-2
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, ...

اقرأ المزيد
978-3-540-79124-9
Tests and Proofs : Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings

This book covers the area of convergence of software proofing and testing and feature current research work that combines ...

اقرأ المزيد
عدد الكتب: 1 - 15 /15