Зображення обкладинки

Practical Aspects of Declarative Languages 27th International Symposium, PADL 2025, Denver, CO, USA, January 20–21, 2025, Proceedings /

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 acc...

Повний опис

Збережено в:

Бібліографічні деталі
Співавтор:	SpringerLink (Online service)
Інші автори:	Erdem, Esra (Редактор), Vidal, Germán (Редактор)
Формат:	Електронний ресурс eКнига
Мова:	Англійська
Опубліковано:	Cham : Springer Nature Switzerland : Imprint: Springer, 2025.
Редагування:	1st ed. 2025.
Серія:	Lecture Notes in Computer Science, 15537
Предмети:	Programming languages (Electronic computers). Application software. Expert systems (Computer science). Computer science. Computer engineering. Computer networks . Programming Language. Computer and Information Systems Applications. Knowledge Based Systems. Theory of Computation. Computer Engineering and Networks.
Онлайн доступ:	https://doi.org/10.1007/978-3-031-84924-4
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!

Схожі ресурси

Practical Aspects of Declarative Languages 26th International Symposium, PADL 2024, London, UK, January 15–16, 2024, Proceedings /
Опубліковано: (2023)

Practical Aspects of Declarative Languages 25th International Symposium, PADL 2023, Boston, MA, USA, January 16–17, 2023, Proceedings /
Опубліковано: (2023)

CLOUD Computing – CLOUD 2024 17th International Conference, Held as Part of the Services Conference Federation, SCF 2024, Bangkok, Thailand, November 16–19, 2024, Proceedings /
Опубліковано: (2025)

Economics of Grids, Clouds, Systems, and Services 20th International Conference, GECON 2024, Rome, Italy, September 26–27, 2024, Proceedings /
Опубліковано: (2025)

Machine Intelligence and Emerging Technologies First International Conference, MIET 2022, Noakhali, Bangladesh, September 23-25, 2022, Proceedings, Part II /
Опубліковано: (2023)

Intelligent Transport Systems 7th EAI International Conference, INTSYS 2023, Molde, Norway, September 6-7, 2023, Proceedings /
Опубліковано: (2024)

IoT as a Service 9th EAI International Conference, IoTaaS 2023, Nanjing, China, October 27-29, 2023, Proceedings /
Опубліковано: (2025)

Sensor Systems and Software 13th EAI International Conference, S-Cube 2022, Dalian, China, December 7-9, 2022, Proceedings /
Опубліковано: (2023)

Verification, Model Checking, and Abstract Interpretation 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20–21, 2025, Proceedings, Part I /
Опубліковано: (2025)

Verification, Model Checking, and Abstract Interpretation 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20–21, 2025, Proceedings, Part II /
Опубліковано: (2025)

Tools and Methods of Program Analysis 6th International Conference, TMPA 2021, Tomsk, Russia, November 25–27, 2021, Revised Selected Papers /
Опубліковано: (2024)

Innovative Intelligent Industrial Production and Logistics 5th International Conference, IN4PL 2024, Porto, Portugal, November 21–22, 2024, Proceedings, Part I /
Опубліковано: (2025)

Innovative Intelligent Industrial Production and Logistics 5th International Conference, IN4PL 2024, Porto, Portugal, November 21–22, 2024, Proceedings, Part II /
Опубліковано: (2025)

Advances in ICT Research in the Balkans 10th Balkan Conference in Informatics, BCI 2024, Craiova, Romania, September 4-6, 2024, Proceedings /
Опубліковано: (2025)

Distributed Computing and Intelligent Technology 21st International Conference, ICDCIT 2025, Bhubaneswar, India, January 8–11, 2025, Proceedings /
Опубліковано: (2025)

Economics of Grids, Clouds, Systems, and Services 19th International Conference, GECON 2022, Izola, Slovenia, September 13–15, 2022, Proceedings /
Опубліковано: (2023)

Cloud Computing, Big Data & Emerging Topics 11th Conference, JCC-BD&ET 2023, La Plata, Argentina, June 27–29, 2023, Proceedings /
Опубліковано: (2023)

Chinese Computational Linguistics 22nd China National Conference, CCL 2023, Harbin, China, August 3–5, 2023, Proceedings /
Опубліковано: (2023)

Internet of Things. Advances in Information and Communication Technology 6th IFIP International Cross-Domain Conference, IFIPIoT 2023, Denton, TX, USA, November 2–3, 2023, Proceedings, Part I /
Опубліковано: (2024)

Internet of Things. Advances in Information and Communication Technology 6th IFIP International Cross-Domain Conference, IFIPIoT 2023, Denton, TX, USA, November 2–3, 2023, Proceedings, Part II /
Опубліковано: (2024)

Wireless Rechargeable Sensor Networks for Internet of Things Theories and Technical Paradigms /
за авторством: Lin, Chi, та інші
Опубліковано: (2025)

Service-Oriented and Cloud Computing 11th IFIP WG 6.12 European Conference, ESOCC 2025, Bolzano, Italy, February 20–21, 2025, Proceedings /
Опубліковано: (2025)

Operations Research and Enterprise Systems 11th International Conference, ICORES 2022, Virtual Event, February 3–5, 2022, and 12th International Conference, ICORES 2023, Lisbon, Portugal, February 19-21, 2023, Revised Selected Papers /
Опубліковано: (2024)

Conceptual Knowledge Structures Second International Joint Conference, CONCEPTS 2025, Cluj-Napoca, Romania, September 8–12, 2025, Proceedings /
Опубліковано: (2025)

Expert systems : principles and programming /
за авторством: Giarratano, Joseph C.
Опубліковано: (1998)

Expert systems : principles and programming /
за авторством: Giarratano, Joseph C.
Опубліковано: (1998)

Expert systems : principles and programming /
за авторством: Giarratano, Joseph C.
Опубліковано: (1998)

Applications of Evolutionary Computation 28th European Conference, EvoApplications 2025, Held as Part of EvoStar 2025, Trieste, Italy, April 23–25, 2025, Proceedings, Part II /
Опубліковано: (2025)

Applications of Evolutionary Computation 28th European Conference, EvoApplications 2025, Held as Part of EvoStar 2025, Trieste, Italy, April 23–25, 2025, Proceedings, Part I /
Опубліковано: (2025)

Deep Learning Models A Practical Approach for Hands-On Professionals /
за авторством: Gamba, Jonah
Опубліковано: (2024)

Distributed Ledger Technology 7th International Symposium, SDLT 2023, Brisbane, QLD, Australia, November 30 – December 1, 2023, Revised Selected Papers /
Опубліковано: (2024)

Foundations of Information and Knowledge Systems 13th International Symposium, FoIKS 2024, Sheffield, UK, April 8–11, 2024, Proceedings /
Опубліковано: (2024)

Algorithmic Aspects of Cloud Computing 7th International Symposium, ALGOCLOUD 2022, Potsdam, Germany, September 6, 2022, Revised Selected Papers /
Опубліковано: (2023)

Algorithmic Aspects of Cloud Computing 8th International Symposium, ALGOCLOUD 2023, Amsterdam, The Netherlands, September 5, 2023, Revised Selected Papers /
Опубліковано: (2024)

Algorithmic Aspects of Cloud Computing 9th International Symposium, ALGOCLOUD 2024, London, UK, September 2–3, 2024, Revised Selected Papers /
Опубліковано: (2025)

Reasoning Web. Declarative Artificial Intelligence: Knowledge, Rules, Logic 19th International Summer School 2023 Oslo, Norway, September 21–24, 2023, Tutorial Lectures /
Опубліковано: (2025)

Internet of Things 7th IFIP WG 5.5 International Cross-Domain Conference, IFIPIoT 2024, Nice, France, November 6–8, 2024, Proceedings /
Опубліковано: (2025)

Internet of Things. 7th IFIPIoT 2024 International IFIP WG 5.5 Workshops GRAAL4IoT 2024, STAND4IoT 2024, Posters, Nice, France, November 6–8, 2024, Proceedings /
Опубліковано: (2025)

Innovations for Community Services 25th International Conference, I4CS 2025, Munich, Germany, June 11–13, 2025, Proceedings /
Опубліковано: (2025)

Ad Hoc Networks 14th EAI International Conference, AdHocNets 2023, Hanoi, Vietnam, November 10-11, 2023, Proceedings /
Опубліковано: (2024)