|
![]() |
|||
|
||||
OverviewFull Product DetailsAuthor: Jacopo MauroPublisher: Atlantis Press (Zeger Karssen) Imprint: Atlantis Press (Zeger Karssen) Edition: 2014 ed. Volume: 5 Dimensions: Width: 15.50cm , Height: 1.10cm , Length: 23.50cm Weight: 3.731kg ISBN: 9789462390669ISBN 10: 9462390665 Pages: 148 Publication Date: 25 February 2014 Audience: Professional and scholarly , Professional & Vocational Format: Hardback Publisher's Status: Active Availability: Manufactured on demand ![]() We will order this item for you from a manufactured on demand supplier. Table of ContentsIntroduction.- 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.ReviewsAuthor InformationTab Content 6Author Website:Countries AvailableAll regions |