Constraints Meet Concurrency: Atlantis Studies in Computing, cartea 5
Autor Jacopo Mauroen Limba Engleză Hardback – 25 feb 2014
Preț: 319.76 lei
Preț vechi: 399.69 lei
-20% Nou
Puncte Express: 480
Preț estimativ în valută:
61.20€ • 64.56$ • 50.100£
61.20€ • 64.56$ • 50.100£
Carte tipărită la comandă
Livrare economică 02-16 ianuarie 25
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9789462390669
ISBN-10: 9462390665
Pagini: 164
Ilustrații: XV, 148 p. 13 illus.
Dimensiuni: 155 x 235 x 15 mm
Greutate: 0.41 kg
Ediția:2014
Editura: ATLANTIS PRESS
Colecția Atlantis Press
Seria Atlantis Studies in Computing
Locul publicării:Paris, Netherlands
ISBN-10: 9462390665
Pagini: 164
Ilustrații: XV, 148 p. 13 illus.
Dimensiuni: 155 x 235 x 15 mm
Greutate: 0.41 kg
Ediția:2014
Editura: ATLANTIS PRESS
Colecția Atlantis Press
Seria Atlantis Studies in Computing
Locul publicării:Paris, Netherlands
Public țintă
ResearchCuprins
Introduction.- Constraints.- Concurrency.- Constraint Handling Rules.- Non Turing powerful fragments of CHR.- Expressive power of priorities in CHR.- Constraints in Clouds.- A Classification-based Approach to Manage a Solver Portfolio.- Broadcast messages in Jolie.- Interruptible request responses in Jolie.- Conclusions.- References.- Proofs.
Caracteristici
A new approach to combine constraint programming and concurrency theory Best 2012 doctoral dissertation in theoretical computer science and logic by Italian EATCS chapter Best 2012 doctoral dissertation in computation logic by GULP Includes supplementary material: sn.pub/extras