Wyniki wyszukiwania:

This book constitutes the refereed proceedings of the Second Asian Conference on Computing Science, ASIAN'96, held in Singapore in December 1996.
The volume presents 31 revised full papers selected from a total of 169 submissions; also included are three invited papers and 14 posters. The papers are organized in topical sections on algorithms, constraints and logic programming, distributed systems, formal systems, networking and security, programming and systems, and specification and verification.

The refereed proceedings of the 5th International Conference on Principles and Practice of Constraint Programming (CP '99), held in Alexandria, Virginia, USA in October 1999. The 30 revised full papers presented together with three invited papers and eight posters were reviewed and selected for inclusion in the book from a total of 97 papers submitted. Advances in many aspects of constraint programming and its applications in various areas are addressed.