Symposium – Bücher, CDs, LPs und mehr, Seite 5

Augmented and Virtual Reality in Mathematics Education

Augmented and virtual reality (AR/VR) are technologies of increasing importance in our society. In the field of mathematics education, these innovative technologies may offer a wide range of opportunities…

lieferbar innerhalb 2-3 Wochen

Buch

Intelligent Distributed Computing XVI

This book presents selected contributions to the 16th Symposium on Intelligent Distributed Computing (IDC'23) held from September 13 to 15, 2023, at the HAW Hamburg, Germany. This unique collection of pap…

lieferbar innerhalb 2-3 Wochen

Buch

Advances in the Mathematical Sciences

The book features the research talks and poster presentations delivered at the 2022 AWM (Association for Women in Mathematics) Research Symposium which was held at The Institute for Mathematics and Its Ap…

lieferbar innerhalb 2-3 Wochen

Buch

AI Verification

This LNCS volume constitutes the proceedings of the Second International Symposium, SAIV 2025, in Zagreb, Croatia, during July 2025.The scope of the topics was broadly categorized into two groups. The fir…

lieferbar innerhalb 2-3 Wochen

Buch

Distributed Autonomous Robotic Systems

This book of the SPAR series contains 39 scientific articles presented in the Distributed Autonomous Robotic Systems conference organized in November 28-30, 2022, in Montbéliard, France.The contributions …

lieferbar innerhalb 2-3 Wochen

Buch

Business Modeling and Software Design

This book constitutes the refereed proceedings of the 15h International Symposium on Business Modeling and Software Design, BMSD 2025, which took place in Milan, Italy, during July 1-3, 2025.The 9 full pa…

lieferbar innerhalb 2-3 Wochen

Buch

Intelligent Distributed Computing XVII

This book includes the scientific outcome of the 17th Annual International Symposium on Intelligent Distributed Systems (IDC2024) which was hosted by the University of Brighton, United Kingdom, 18-19 Sept…

lieferbar innerhalb 2-3 Wochen

Buch

Static Analysis

This book constitutes the refereed proceedings of the 32nd International Static Analysis Symposium, SAS 2025, held in Singapore, Singapore, in October 2025.The 15 papers included here were carefully revie…

lieferbar innerhalb 2-3 Wochen

Buch

Programming Languages and Systems

.- Type Systems, Safety, and Verification. .- Memory Safety: Uniqueness as Separation. .- Fair Termination for Resource-Aware Active Objects. .- A Formal Foundation for Equational Reasoning on Probabilist…

lieferbar innerhalb 2-3 Wochen

Buch

Geotechnical Lessons Learnt-Building and Transport Infrastructure Projects

This book presents the select proceedings of the 26th Annual Symposium organized by the Sydney Chapter of the Australian Geomechanics Society (AGS). The symposium brought together key stakeholders of the …

lieferbar innerhalb 2-3 Wochen

Buch

Static Analysis

This book constitutes the refereed proceedings of the 31st International Static Analysis Symposium, SAS 2024, held in Pasadena, CA, USA, in October 2024.Static analysis is widely recognized as a fundament…

lieferbar innerhalb 2-3 Wochen

Buch

Isabelle Chabloz,
TBTF & Finanzstabilität

Sieben Rechtsprofessorinnen aus sechs Schweizer Universitäten haben am 14. Januar 2025 an der ETH Zürich das Symposium TBTF & Finanzstabilität durchgeführt, um Stabilitätsfragen wie die Too Big To Fai…

lieferbar innerhalb 2-3 Wochen

Buch

Model-Based Safety and Assessment

This book LNCS 15755 constitutes the proceedings of the 9th International Symposium on Model-Based Safety and Assessment, IMBSA 2025, held in Athens, Greece, in September 24-26, 2025.The 28 full papers we…

lieferbar innerhalb 2-3 Wochen

Buch

Algorithmic Game Theory

This volume constitutes the refereed proceedings of 18th International Symposium on Algorithmic Game Theory, SAGT 2025, held in Bath, UK, during September 2--5, 2025.The 26 full papers included in this bo…

lieferbar innerhalb 2-3 Wochen

Buch

Theoretical Aspects of Software Engineering

.- Program Verification..- Safeguarding Neural Network-Controlled Systems via Formal Methods: From Safety-by-Design to Runtime Assurance (Invited Talk) ..- Testing-Based Formal Verification with Program S…

lieferbar innerhalb 2-3 Wochen

Buch

Cyberspace Safety and Security

This book constitutes the proceedings of the 15th International Symposium on Cyberspace Safety and Security, CSS 2025, held in Hangzhou, China, on February 24, 2025.The 28 full papers were presented in th…

lieferbar ab 5.1.2026.

Buch

Advancements in Fluid Power Technology: Sustainability, Electrification, and Digitalization

This open access book contains contributions from the Global Fluid Power Society (GFPS) PhD Symposium 2024. It reflects the collaborative efforts of researchers who are dedicated to pushing the boundaries…

lieferbar innerhalb 2-3 Wochen

Buch

Empowering Digital Transformation

This book contains selected papers from the 2025 Greek Marketing Academy and the Global Alliance of Marketing and Management Associations Joint Symposium (GMA-GAMMA2025) held from July 24 to 27, 2025, in …

lieferbar innerhalb 2-3 Wochen

Buch

Trends in Functional Programming

This book constitutes revised selected papers from the 26th International Symposium on Trends in Functional Programming, TFP 2025, held in Oxford, UK, during January 13--16, 2025.The 20 full papers and 2 …

lieferbar innerhalb 2-3 Wochen

Buch

Isabelle Chabloz,
TBTF & Finanzstabilität

Sieben Rechtsprofessorinnen aus sechs Schweizer Universitäten haben am 14. Januar 2025 an der ETH Zürich das Symposium TBTF & Finanzstabilität durchgeführt, um Stabilitätsfragen wie die Too Big To Fai…

lieferbar innerhalb 2-3 Wochen

Buch