Search Images Maps Play YouTube News Gmail Drive More »
Sign in
Books Books 1 - 10 of about 45 related to Principles of Constraint Programming.   

New Trends in Constraints: Joint ERCIM/Compulog Net Workshop Paphos, Cyprus ...

Krzysztof Apt, Antonis Kakas, Eric Monfroy, Francesca Rossi - Computers - 2000 - 340 pages
This book constitutes the thoroughly refereed post-proceedings of the Joint ERCIM/Compulog-Net Workshop on New Trends in Constraints held in Paphos, Cyprus, Greece in October ...
Limited preview - About this book

Verification of Sequential and Concurrent Programs

Krzysztof Apt, Frank S. de Boer, Ernst-Rüdiger Olderog - Computers - 2010 - 502 pages
HIS BOOK CONTAINS a most comprehensive text that presents syntax-directed and compositional methods for the formal veri?- T cation of programs. The approach is not language ...
Limited preview - About this book

Logics and Models of Concurrent Systems

Krzysztof Apt - Computers - 2013 - 500 pages
The cooperation test [Apt, Francez & de Roever] was originally conceived to capture the proof theoretical analogue of distributed message exchange between disjoint processes ...
Limited preview - About this book

Principles and Practice of Constraint Programming: The Newport Papers

Vijay Saraswat, Pascal Van Hentenryck - Computers - 1995 - 475 pages
This collection of twenty-three original papers represents the first effort to bring together the work of constraint programming researchers scattered across multiple ...
Limited preview - About this book

Constraint Programming

Brian Mayoh, Enn Tyugu, Jaan Penjam - Computers - 2013 - 456 pages
Constraint programming is like an octopus spreading its tentacles into databases, operations research, artificial intelligence, and many other areas. The concept of constraint ...
Limited preview - About this book

Principles and Practice of Constraint Programming - CP '95: First ..., Volume 1

Ugo Montanari, Francesca Rossi - Computers - 1995 - 650 pages
This book constitutes the proceedings of the First International Conference on Principles and Practice of Constraint Programming, CP '95, held in Cassis near Marseille, France ...
Limited preview - About this book

Concurrent Constraint Programming

Vijay Saraswat - Computers - 1993 - 486 pages
Concurrent Constraint Programming introduces a new and rich class of programminglanguages based on the notion of computing with partial information, or constraints, that ...
Limited preview - About this book




  1. My library
  2. Help
  3. Advanced Book Search