Domaines
Étudier le droit
Littérature
Bases de données
Services pour
Corporate Books
Solutions d'édition
Actualités
Qui sommes-nous?
Thèmes
En savoir plus
Droit suisse
Droit étranger
À propos de notre boutique
Recent Trends in Algebraic Development Techniques
Recent Trends in Algebraic Development Techniques
27th IFIP WG 1.3 International Workshop, WADT 2024, Enschede, The Netherlands, July 8, 2024, Revised Selected Papers
Publié par:Țuțu, Ionuț
This book constitutes the thoroughly refereed post-conference proceedings of the 27th IFIP WG 1.3 International Workshop on Algebraic Development Techniques, WADT 2024, held in Enschede, The Netherlands, on July 8, 2024. The 6 full papers presented in this volume were carefully reviewed and selected from 11 submissions. The contributed presentations covered a wide range of topics on the algebraic approach to system specification: from foundations of algebraic-specification languages to institutions and knowledge representation, to graph transformations, rewrite rules, process algebra, and bialgebraic frameworks, to many-logics modal systems and quantum process calculi, and to several applications to code synthesis and maintainability.
mai 2025, env. 135 pages, Lecture Notes in Computer Science, Anglais
Springer International Publishing
978-3-031-88929-5
This book constitutes the thoroughly refereed post-conference proceedings of the 27th IFIP WG 1.3 International Workshop on Algebraic Development Techniques, WADT 2024, held in Enschede, The Netherlands, on July 8, 2024. The 6 full papers presented in this volume were carefully reviewed and selected from 11 submissions. The contributed presentations covered a wide range of topics on the algebraic approach to system specification: from foundations of algebraic-specification languages to institutions and knowledge representation, to graph transformations, rewrite rules, process algebra, and bialgebraic frameworks, to many-logics modal systems and quantum process calculi, and to several applications to code synthesis and maintainability.
mai 2025, env. 135 pages, Lecture Notes in Computer Science, Anglais
Springer International Publishing
978-3-031-88929-5
Autres titres de la collection: Lecture Notes in Computer Science
Afficher toutConsolidated 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
env. 102.00 CHF
paraît en mars
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
env. 102.00 CHF
paraît en mars
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
env. 102.00 CHF
paraît en mars
Superposition for Higher-Order Logic
Springer International Publishing, 2025
978-3-032-01669-0
env. 146.00 CHF
paraît en décembre
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
env. 81.00 CHF
paraît en novembre
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
env. 91.00 CHF
paraît en novembre
Discovery Science
28th International Conference, DS 2025, Ljubljana, Slovenia, September 22–26, 2025, Proceedings
Springer International Publishing, 2025
978-3-032-05460-9
env. 112.00 CHF
paraît en novembre
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
env. 102.00 CHF
paraît en novembre
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
env. 112.00 CHF
paraît en octobre
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
env. 81.00 CHF
paraît en octobre
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
env. 132.00 CHF
paraît en octobre
3D Research Challenges in Cultural Heritage VI
DigitalTwin versus MemoryTwin
Springer International Publishing, 2025
978-3-032-05655-9
env. 69.00 CHF
paraît en octobre
Autres titres sur ce thème
Generative AI-Driven Application Development with Java
Leveraging Large Language Models in Modern Java Applications
Springer EN, 2026
979-8-8688-1608-6
env. 52.90 CHF
paraît en janvier
Python Practice Lab
Learn How to Code through Interactive Examples
University Presses, 2026
978-0-691-24360-3
env. 43.50 CHF
paraît en mars
Descriptional Complexity of Formal Systems
26th IFIP WG 1.02 International Conference, DCFS 2025, Loughborough, UK, July 22–24, 2025, Proceedings
Springer International Publishing, 2025
978-3-031-97099-3
env. 159.00 CHF
livrable dans env. 20-45 jours
Thinking Programs
Logical Modeling and Reasoning About Languages, Data, Computations, and Executions
Springer International Publishing, 2025
978-3-031-99704-4
env. 96.00 CHF
paraît en septembre
Designing Accessible Websites and Applications
A Modern Approach to a More Accessible Web
Springer EN, 2026
979-8-8688-2003-8
env. 83.00 CHF
paraît en janvier
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
env. 102.00 CHF
paraît en mars
Formal Methods, Informally
How to Write Programs That Work
Cambridge Academic, 2026
978-1-009-42102-7
env. 65.00 CHF
paraît en janvier
Die Welt der VBA-Objekte
Was integrierte Anwendungen leisten
Springer Fachmedien Wiesbaden GmbH, 2025
978-3-658-48095-0
env. 66.00 CHF
livrable dans env. 20-45 jours
The Semantic Web: ESWC 2024 Satellite Events
Hersonissos, Crete, Greece, May 26–30, 2024, Proceedings, Part II
Springer International Publishing, 2025
978-3-031-78954-0
env. 82.00 CHF
livrable dans env. 20-45 jours
Verified Software. Theories, Tools and Experiments
16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14–15, 2024, Revised Selected Papers
Springer International Publishing, 2025
978-3-031-86694-4
env. 70.00 CHF
livrable dans env. 20-45 jours
SOFSEM 2025: Theory and Practice of Computer Science
50th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2025, Bratislava, Slovak Republic, January 20–23, 2025, Proceedings, Part II
Springer International Publishing, 2025
978-3-031-82696-2
env. 92.00 CHF
livrable dans env. 20-45 jours
Trends in Functional Programming
25th International Symposium, TFP 2024, South Orange, NJ, USA, January 10–12, 2024, Revised Selected Papers
Springer International Publishing, 2025
978-3-031-74557-7
env. 82.00 CHF
livrable dans env. 20-45 jours