Dienstleistungen für
Corporate Books
Publishing Lösungen
Aktuelles
Schweizer Recht
Ausländisches Recht
Über unseren Shop
Practical Aspects of Declarative Languages
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 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.
März 2025, ca. 249 Seiten, Lecture Notes in Computer Science, Englisch
Springer International Publishing
978-3-031-84923-7
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.
März 2025, ca. 249 Seiten, Lecture Notes in Computer Science, Englisch
Springer International Publishing
978-3-031-84923-7
Weitere Titel der Reihe: Lecture Notes in Computer Science
Alle anzeigenConsolidated Ada 2022 Reference Manual. Volume 1 - Core Language
Derived from Sources for International Standard ISO/IEC 8652:2023 (E) and Technical Corrigendum 1
Springer International Publishing, 2026
978-3-031-83730-2
ca. 102.00 CHF
erscheint im März
Consolidated Ada 2022 Reference Manual. Volume 2 - Standard Libraries and ...
Derived from Sources for International Standard ISO/IEC 8652:2023 (E) and Technical Corrigendum 1
Springer International Publishing, 2026
978-3-031-83731-9
ca. 102.00 CHF
erscheint im März
Consolidated Ada 2022 Reference Manual. Volume 3 - Specialized Needs Annexes, ...
Derived from Sources for International Standard ISO/IEC 8652:2023 (E) and Technical Corrigendum 1
Springer International Publishing, 2026
978-3-031-83734-0
ca. 102.00 CHF
erscheint im März
3D Research Challenges in Cultural Heritage VI
DigitalTwin versus MemoryTwin
Springer International Publishing, 2026
978-3-032-05655-9
ca. 69.00 CHF
erscheint im Januar
Superposition for Higher-Order Logic
Springer International Publishing, 2025
978-3-032-01669-0
ca. 146.00 CHF
erscheint im Dezember
Model-Based Safety and Assessment
9th International Symposium, IMBSA 2025, Athens, Greece, September 24–26, 2025, Proceedings
Springer International Publishing, 2025
978-3-032-05072-4
ca. 81.00 CHF
erscheint im November
Bridging Regulatory Science and Medical Imaging Evaluation; and Distributed, ...
First International Workshop, BRIDGE 2025, and 6th International Workshop, DeCaF 2025, Held in Conjunction with MICCAI 2025, Daejeon, South Korea, September 23 and September 27, 2025, Proceedings
Springer International Publishing, 2025
978-3-032-05662-7
ca. 81.00 CHF
erscheint im November
Artificial Intelligence and Imaging for Diagnostic and Treatment Challenges in ...
Second Deep Breast Workshop, Deep-Breath 2025, Held in Conjunction with MICCAI 2025, Daejeon, South Korea, September 23, 2025, Proceedings
Springer International Publishing, 2025
978-3-032-05558-3
ca. 132.00 CHF
erscheint im November
Deep Generative Models
5th MICCAI Workshop, DGM4MICCAI 2025, Held in Conjunction with MICCAI 2025, Daejeon, South Korea, September 23, 2025, Proceedings
Springer International Publishing, 2025
978-3-032-05471-5
ca. 91.00 CHF
erscheint im November
Discovery Science
28th International Conference, DS 2025, Ljubljana, Slovenia, September 22–26, 2025, Proceedings
Springer International Publishing, 2025
978-3-032-05460-9
ca. 112.00 CHF
erscheint im November
Fundamentals of Computation Theory
25th International Symposium, FCT 2025, Wrocław, Poland, September 15–17, 2025, Proceedings
Springer International Publishing, 2025
978-3-032-04699-4
ca. 102.00 CHF
erscheint im November
Artificial Intelligence and Soft Computing
24th International Conference, ICAISC 2025, Zakopane, Poland, June 22–26, 2025, Proceedings, Part I
Springer International Publishing, 2025
978-3-032-03704-6
ca. 112.00 CHF
erscheint im Oktober
Weitere Titel zum Thema
Deep Learning Models towards Health Informatics Management
Foundations, Challenges and Opportunities
Taylor and Francis, 2026
978-1-032-39292-9
ca. 225.00 CHF
erscheint im Januar
Praxis der Teleportation
Anwendungen der virtuellen und erweiterten Realität in Wirtschaft und Wissenschaft
Springer Fachmedien Wiesbaden GmbH, 2026
978-3-658-48557-3
ca. 40.90 CHF
erscheint im Februar
C Programming for System, Network, and Cloud Engineers
Techniques for Processes, Memory, Network Applications and Linux Namespaces
Springer EN, 2026
979-8-8688-1804-2
ca. 83.00 CHF
erscheint im März
Signal Processing Roadmap
Technologies, Applications, and Future Directions
Elsevier, 2026
978-0-443-33172-5
ca. 255.00 CHF
erscheint im März
Embedded Systems in Automotive Applications
Elsevier, 2026
978-0-443-33861-8
ca. 299.00 CHF
erscheint im Januar
Raspberry Pi Assembly Language Programming
ARM Processor Coding
Springer EN, 2026
979-8-8688-1873-8
ca. 83.00 CHF
erscheint im Februar
Practical Ruby Gems
Installation, Distribution and Beyond
Springer EN, 2026
979-8-8688-1801-1
ca. 63.00 CHF
erscheint im Januar
Code Chronicles
The Art of Storytelling in Software
Elsevier, 2026
978-0-443-29248-4
ca. 235.00 CHF
erscheint im Mai
Blockchain Basics
A Non-Technical Introduction in 30 Steps
Springer EN, 2026
979-8-8688-1852-3
ca. 83.00 CHF
erscheint im Januar
Consolidated Ada 2022 Reference Manual. Volume 3 - Specialized Needs Annexes, ...
Derived from Sources for International Standard ISO/IEC 8652:2023 (E) and Technical Corrigendum 1
Springer International Publishing, 2026
978-3-031-83734-0
ca. 102.00 CHF
erscheint im März
A Brief History of Computing
Springer International Publishing, 2026
978-3-032-04254-5
ca. 63.00 CHF
erscheint im Januar
Consolidated Ada 2022 Reference Manual. Volume 1 - Core Language
Derived from Sources for International Standard ISO/IEC 8652:2023 (E) and Technical Corrigendum 1
Springer International Publishing, 2026
978-3-031-83730-2
ca. 102.00 CHF
erscheint im März