Dienstleistungen für
Corporate Books
Publishing Lösungen
Aktuelles
Schweizer Recht
Ausländisches Recht
Über unseren Shop
Newsletteraktion: Abonnieren Sie jetzt unseren Newsletter und sichern Sie sich bis zum 8. August 2025 10% Rabatt auf Ihre Onlinebestellungen. Infos und Anmeldung.
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.
November 2024, ca. 205 Seiten, Lecture Notes in Computer Science, Englisch
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.
November 2024, ca. 205 Seiten, Lecture Notes in Computer Science, Englisch
Springer International Publishing
978-3-031-78115-5
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
Transactions on Large-Scale Data- and Knowledge-Centered Systems LVIII
Springer, 2025
978-3-662-72115-5
ca. 103.00 CHF
erscheint im Dezember
Superposition for Higher-Order Logic
Springer International Publishing, 2025
978-3-032-01669-0
ca. 146.00 CHF
erscheint im Dezember
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
ca. 81.00 CHF
erscheint im November
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
ca. 188.00 CHF
erscheint im November
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
ca. 188.00 CHF
erscheint im November
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
ca. 188.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
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
ca. 188.00 CHF
erscheint im November
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
ca. 273.00 CHF
erscheint im November
Weitere Titel zum Thema
Radio Frequency and Microwave Design for Next Generation Wireless Applications
Taylor and Francis, 2026
978-1-032-82121-4
ca. 345.00 CHF
erscheint im Januar
Surrogate Modeling and Optimization
Theories, Applications, and Limitations
Wiley, 2026
978-1-394-24581-9
ca. 165.00 CHF
erscheint im Februar
A Gentle Introduction to Quantum Machine Learning
Springer EN, 2026
978-981-9512-83-6
ca. 55.90 CHF
erscheint im Januar
Blockchain Basics
A Non-Technical Introduction in 30 Steps
Springer EN, 2026
979-8-8688-1852-3
ca. 83.00 CHF
erscheint im Januar
Advanced Intelligence Methods for Data Science and Optimization
Elsevier, 2026
978-0-443-28940-8
ca. 235.00 CHF
erscheint im April
The Deep Learning Revolution
University Presses, 2026
978-0-262-54499-3
ca. 23.90 CHF
erscheint im Februar
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
Machine Learning and Big Data-enabled Biotechnology
Wiley-VCH, 2026
978-3-527-35474-0
ca. 178.00 CHF
erscheint im Februar
Multiscale Financial Data Analytics And Machine Learning
Ingram Publishers Services, 2026
978-981-1295-96-6
ca. 149.00 CHF
erscheint im Juni
Mastering Retrieval-Augmented Generation
Advanced Techniques and Production-Ready Solutions for Enterprise AI
Springer EN, 2026
979-8-8688-1807-3
ca. 76.00 CHF
erscheint im Januar
Nachhaltiges Software-Engineering
Wie Softwareentwicklung Investitionen und Zukunft sichert
Springer, 2026
978-3-662-72156-8
ca. 65.00 CHF
erscheint im Januar
Embedded Systems in Automotive Applications
Elsevier, 2026
978-0-443-33861-8
ca. 299.00 CHF
erscheint im Januar