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
Action newsletter : Abonnez-vous dès maintenant à notre newsletter et bénéficiez de 10 % de réduction sur vos commandes en ligne jusqu’au 8 août 2025. Infos et inscription.
Formal Methods: Foundations and Applications
Formal Methods: Foundations and Applications
27th Brazilian Symposium, SBMF 2024, Vitória, Brazil, December 4–6, 2024, Proceedings
This book constitutes the refereed proceedings of the 27th Brazilian Symposium on Formal Methods: Foundations and Applications, SBMF 2024, held in Vitória, Brazil, during December 4¿6, 2024. The 8 full papers and 4 short papers included in this book were carefully reviewed and selected from 18 submissions. They were organized in topical sections as follows: Formal Analysis and Verification in Temporal and Symbolic Systems; Formal Semantics and Verification of UML Models; Formal Verification and Proof Techniques in Algorithms and Logics; and Formal Methods for Security and Privacy.
novembre 2024, env. 205 pages, Lecture Notes in Computer Science, Anglais
Springer International Publishing
978-3-031-78115-5
This book constitutes the refereed proceedings of the 27th Brazilian Symposium on Formal Methods: Foundations and Applications, SBMF 2024, held in Vitória, Brazil, during December 4¿6, 2024. The 8 full papers and 4 short papers included in this book were carefully reviewed and selected from 18 submissions. They were organized in topical sections as follows: Formal Analysis and Verification in Temporal and Symbolic Systems; Formal Semantics and Verification of UML Models; Formal Verification and Proof Techniques in Algorithms and Logics; and Formal Methods for Security and Privacy.
novembre 2024, env. 205 pages, Lecture Notes in Computer Science, Anglais
Springer International Publishing
978-3-031-78115-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
Transactions on Large-Scale Data- and Knowledge-Centered Systems LVIII
Springer, 2025
978-3-662-72115-5
env. 103.00 CHF
paraît en décembre
Superposition for Higher-Order Logic
Springer International Publishing, 2025
978-3-032-01669-0
env. 146.00 CHF
paraît en décembre
Logic-Based Program Synthesis and Transformation
35th International Symposium, LOPSTR 2025, Rende, Italy, September 9–10, 2025, Proceedings
Springer International Publishing, 2025
978-3-032-04847-9
env. 81.00 CHF
paraît en novembre
Document Analysis and Recognition – ICDAR 2025
19th International Conference, Wuhan, China, September 17–21, 2025, Proceedings, Part IV
Springer International Publishing, 2025
978-3-032-04626-0
env. 188.00 CHF
paraît en novembre
Document Analysis and Recognition – ICDAR 2025
19th International Conference, Wuhan, China, September 17–21, 2025, Proceedings, Part III
Springer International Publishing, 2025
978-3-032-04623-9
env. 188.00 CHF
paraît en novembre
Document Analysis and Recognition – ICDAR 2025
19th International Conference, Wuhan, China, September 17–21, 2025, Proceedings, Part V
Springer International Publishing, 2025
978-3-032-04629-1
env. 188.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
Document Analysis and Recognition – ICDAR 2025
19th International Conference, Wuhan, China, September 16–21, 2025, Proceedings, Part II
Springer International Publishing, 2025
978-3-032-04616-1
env. 188.00 CHF
paraît en novembre
Document Analysis and Recognition – ICDAR 2025
19th International Conference, Wuhan, China, September 16–21, 2025, Proceedings, Part I
Springer International Publishing, 2025
978-3-032-04613-0
env. 273.00 CHF
paraît en novembre
Autres titres sur ce thème
Smart Contracts und Decentralized Finance
NFT, Lending, DEX, Yield
Beck, C H, 2026
978-3-406-78678-5
env. 138.00 CHF
paraît en mars
Adaptive AI in Sensor Informatics
Methods, Applications, and Implications
978-0-443-36412-9
env. 255.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
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
env. 102.00 CHF
paraît en mars
Advanced Intelligence Methods for Data Science and Optimization
Elsevier, 2026
978-0-443-28940-8
env. 235.00 CHF
paraît en avril
Die Vierte Kränkung. Der Mensch im Schatten der Künstlichen Intelligenz
Random House Audio, 2026
978-3-7599-0113-2
env. 33.50 CHF
paraît en avril
Rhythms of Existence: From Cosmos to Human Experience
Springer EN, 2026
978-981-9518-95-1
env. 238.00 CHF
paraît en janvier
Quantum Machine Learning (QML): Platform, Tools and Applications: Volume 140
Elsevier, 2026
978-0-443-22382-2
env. 205.00 CHF
paraît en février
Precarious Futures
Crime, Technology and the Web
Springer International Publishing, 2026
978-3-030-86860-4
env. 168.00 CHF
livrable dans env. 20-45 jours
Surrogate Modeling and Optimization
Theories, Applications, and Limitations
Wiley, 2026
978-1-394-24581-9
env. 165.00 CHF
paraît en février
Consensus
Fueling Blockchain Innovation and DApp Expansion
Elsevier, 2026
978-0-443-40439-9
env. 235.00 CHF
paraît en janvier