Logo
DE | FR
Practical Aspects of Declarative Languages
Télécharger la couverture
Practical Aspects of Declarative Languages

Practical Aspects of Declarative Languages

27th International Symposium, PADL 2025, Denver, CO, USA, January 20–21, 2025, Proceedings
Livre (broché)env. 82.00 CHF
livrable dans env. 20-45 jours

This book constitutes the refereed proceedings of the 27th International Symposium on Practical Aspects of Declarative Languages, PADL 2025, held in Denver, CO, USA, during January 20-21, 2025. The 15 full papers included in this book were carefully reviewed and selected from 26 submissions. The accepted papers span a range of topics related to functional and logic programming, including some novel applications of Answer Set Programming, language extensions, runtime monitoring, program transformations, type-checking, and applications of declarative programming techniques to artificial intelligence and machine learning, among others.

mars 2025, env. 249 pages, Lecture Notes in Computer Science, Anglais
Springer International Publishing
978-3-031-84923-7

Autres titres de la collection: Lecture Notes in Computer Science

Afficher tout
3D Research Challenges in Cultural Heritage VI
DigitalTwin versus MemoryTwin
Springer International Publishing, 2026
978-3-032-05655-9
env. 69.00 CHF
paraît en janvier
Superposition for Higher-Order Logic
Springer International Publishing, 2025
978-3-032-01669-0
env. 146.00 CHF
paraît en décembre

Autres titres sur ce thème

Praxis der Teleportation
Anwendungen der virtuellen und erweiterten Realität in Wirtschaft und Wissenschaft
Springer Fachmedien Wiesbaden GmbH, 2026
978-3-658-48557-3
env. 40.90 CHF
paraît en février
Practical Ruby Gems
Installation, Distribution and Beyond
Springer EN, 2026
979-8-8688-1801-1
env. 63.00 CHF
paraît en janvier
A Brief History of Computing
Springer International Publishing, 2026
978-3-032-04254-5
env. 63.00 CHF
paraît en janvier
Structural Decision Diagrams in Digital Test
Theory and Applications
Springer International Publishing, 2025
978-3-031-44736-5
env. 262.00 CHF
livrable dans env. 20-45 jours
The Cambridge Handbook of Behavioural Data Science
Cambridge Academic, 2026
978-1-108-94056-6
env. 99.00 CHF
paraît en avril
3D Research Challenges in Cultural Heritage VI
DigitalTwin versus MemoryTwin
Springer International Publishing, 2026
978-3-032-05655-9
env. 69.00 CHF
paraît en janvier
Demystifying Probability and Statistics for Data Scientists with R
Taylor and Francis, 2026
978-1-03-272955-8
env. 196.00 CHF
livrable dans env. 10-20 jours
Blockchain Basics
A Non-Technical Introduction in 30 Steps
Springer EN, 2026
979-8-8688-1852-3
env. 83.00 CHF
paraît en janvier