Constraints are everywhere: most computational problems can be described in terms of restrictions...
Unser bisheriger Preis:ORGPRICE: 61,35 €
Computer programs are becoming more and more part of systems that we use to rely on in our daily ...
Unser bisheriger Preis:ORGPRICE: 89,93 €
HIS BOOK CONTAINS a most comprehensive text that presents syntax-directed and compositional metho...
Unser bisheriger Preis:ORGPRICE: 87,55 €
This book provides a structured introduction to the verification of sequen- tial and concurrent p...
Unser bisheriger Preis:ORGPRICE: 89,90 €
Constraint logic programming lies at the intersection of logic programming, optimisation and arti...
Unser bisheriger Preis:ORGPRICE: 88,07 €
Games provide mathematical models for interaction. Numerous tasks in computer science can be form...
Unser bisheriger Preis:ORGPRICE: 132,75 €
Constraint programming is the fruit of several decades of research carried out in mathematical lo...
Unser bisheriger Preis:ORGPRICE: 56,18 €
The cooperation test [Apt, Francez & de Roever] was originally conceived to capture the proof the...
Unser bisheriger Preis:ORGPRICE: 111,95 €
Logic Programming was founded 25 years ago. This exciting new text reveals both the evolution of ...
Unser bisheriger Preis:ORGPRICE: 111,76 €
This book constitutes the thoroughly refereed post-proceedings of the Joint ERCIM Compulog-Net Wo...
Unser bisheriger Preis:ORGPRICE: 56,31 €
This collection of current research on logic programming languages presents results from a three-...
Unser bisheriger Preis:ORGPRICE: 74,94 €