Practical Aspects of Declarative Languages: 24th International Symposium, PADL 2022, Philadelphia, PA, USA, January 17–18, 2022, Proceedings: Lecture Notes in Computer Science, cartea 13165
Editat de James Cheney, Simona Perrien Limba Engleză Paperback – 12 ian 2022
The 9 full papers and 4 short papers included in this book were carefully reviewed and selected from 22 submissions. They were organized in topical sections as follows: answer set programming; functional programming; languages, methods and tools; and declarative solutions.
Din seria Lecture Notes in Computer Science
- 20%
Preț: 1020.28 lei -
Preț: 395.25 lei - 20%
Preț: 327.36 lei - 20%
Preț: 556.96 lei - 20%
Preț: 400.77 lei - 15%
Preț: 558.12 lei - 20%
Preț: 328.94 lei - 20%
Preț: 340.04 lei - 20%
Preț: 487.46 lei - 20%
Preț: 629.71 lei - 20%
Preț: 386.08 lei - 20%
Preț: 489.11 lei - 20%
Preț: 620.33 lei - 20%
Preț: 733.68 lei - 20%
Preț: 1033.45 lei - 20%
Preț: 782.57 lei - 20%
Preț: 679.09 lei - 20%
Preț: 330.54 lei - 20%
Preț: 1137.10 lei - 20%
Preț: 435.28 lei - 20%
Preț: 375.72 lei - 20%
Preț: 342.61 lei - 20%
Preț: 432.78 lei - 20%
Preț: 904.16 lei - 20%
Preț: 1391.87 lei - 20%
Preț: 373.80 lei - 20%
Preț: 400.17 lei - 20%
Preț: 1359.66 lei - 20%
Preț: 984.64 lei - 20%
Preț: 560.93 lei - 20%
Preț: 731.97 lei - 20%
Preț: 563.29 lei - 20%
Preț: 403.00 lei - 20%
Preț: 793.92 lei - 20%
Preț: 324.19 lei - 20%
Preț: 733.68 lei - 20%
Preț: 336.86 lei - 20%
Preț: 327.36 lei - 20%
Preț: 573.45 lei - 20%
Preț: 558.53 lei - 20%
Preț: 850.42 lei - 20%
Preț: 560.93 lei - 20%
Preț: 560.93 lei - 20%
Preț: 631.96 lei - 20%
Preț: 568.70 lei - 20%
Preț: 488.90 lei - 20%
Preț: 293.24 lei
Preț: 398.95 lei
Preț vechi: 498.68 lei
-20%
Puncte Express: 598
Preț estimativ în valută:
70.53€ • 84.09$ • 61.17£
70.53€ • 84.09$ • 61.17£
Carte tipărită la comandă
Livrare economică 16-30 martie
Specificații
ISBN-13: 9783030944780
ISBN-10: 3030944786
Pagini: 219
Ilustrații: XIV, 219 p. 49 illus., 18 illus. in color.
Dimensiuni: 155 x 235 mm
Greutate: 0.34 kg
Ediția:1st ed. 2022
Editura: Springer International Publishing
Colecția Springer
Seriile Lecture Notes in Computer Science, Programming and Software Engineering
Locul publicării:Cham, Switzerland
ISBN-10: 3030944786
Pagini: 219
Ilustrații: XIV, 219 p. 49 illus., 18 illus. in color.
Dimensiuni: 155 x 235 mm
Greutate: 0.34 kg
Ediția:1st ed. 2022
Editura: Springer International Publishing
Colecția Springer
Seriile Lecture Notes in Computer Science, Programming and Software Engineering
Locul publicării:Cham, Switzerland
Cuprins
Answer Set Programming.- Modelling the Outlier Detection Problem in ASP(Q).- Multi-Agent Pick and Delivery with Capacities: Action Planning vs Path Finding.- Determining Action Reversibility in STRIPS Using Answer Set Programming with Quantifiers.- Functional Programming.- Functional Programming on Top of SQL Engines.- CircuitFlow: A Domain Specific Language for Dataflow Programming.- Languages, Methods and Tools.- Timed Concurrent Language for Argumentation: an Interleaving Approach.- Towards Dynamic Consistency Checking in Goal-directed Predicate Answer Set Programming.- Implementing Stable-Unstable Semantics with ASPTOOLS and Clingo.- Smart Devices and Large Scale Reasoning via ASP: Tools and Applications.- Declarative Solutions.- Decomposition-based Job-shop Scheduling with Constrained Clustering.- Modeling and Verification of Real-time Systems with the Event Calculus and s(CASP).- Parallel Declarative Solutions of Sequencing Problems using Multi-valued Decision Diagrams and GPUs.- Green Application Placement in the Cloud-IoT Continuum.