Practical Aspects of Declarative Languages (vol. # 3819)
This volume contains the papers presented at the Eighth International S- posium on Practical Aspects of Declarative Languages ...
اقرأ المزيد
Practice and Theory of Automated Timetabling V
Thisvolumecontainsaselectionofpapersfromthe5thInternationalConference on the Practice and Theory of Automated Timetabling ...
اقرأ المزيد
Practice and Theory of Automated Timetabling VI
This volume contains a selection of the papers presented at the Sixth Int- national Conference on the Practice and Theory ...
اقرأ المزيد
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 – CP 2007
This book constitutes the refereed proceedings of the 13th International Conference on Principles and Practice of Constraint ...
اقرأ المزيد
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, ...
اقرأ المزيد
Theory and Applications of Satisfiability Testing - SAT 2008 : 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings
All current research issues in propositional and quantified Boolean formula satisfiability testing are covered, including ...
اقرأ المزيد
