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

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

Model Checking Software

This book constitutes the refereed proceedings of the 31st International Symposium on Model Checking Software, SPIN 2025, held in Hamilton, ON, Canada, during May 7--8, 2025.The 9 full papers included in …

lieferbar innerhalb 2-3 Wochen

Buch

Fundamentals of Computation Theory

This book constitutes the proceedings of the 25th International Symposium on Fundamentals of Computation Theory, FCT 2025, held in Wroc¿aw, Poland, during September 15--17, 2025.The 32 full papers include…

lieferbar innerhalb 2-3 Wochen

Buch

Dependable and Secure Computing

Communications in Computer and Information Science - Band 2697

This book constitutes the refereed proceedings of the 14th Latin-American Symposium on Dependable and Secure Computing, LADC 2025, which took place in Valparaiso, Chile, during October 27-31, 2025.The 17 …

lieferbar ab 4.2.2026.

Buch

Intelligent Technology for Future Transportation

This book constitutes the refereed proceedings of the First International Symposium on Intelligent Technology for Future Transportation, ITFT 2024, held in Helsinki, Finland, during October 19-21, 2024.Th…

lieferbar innerhalb 2-3 Wochen

Buch

Algorithmics of Wireless Networks

This book constitutes the refereed proceedings of the 20th International Symposium on Algorithmics of Wireless Networks, ALGOWIN 2024, held in Egham, UK, in September 2024.The 14 full papers presented her…

lieferbar innerhalb 2-3 Wochen

Buch

NASA Formal Methods

This book constitutes the proceedings of the 17th International Symposium on NASA Formal Methods, NFM 2025, held in Hampton Roads, VA, USA in June 2025.The 20 full papers and 4 short papers presented in t…

lieferbar innerhalb 2-3 Wochen

Buch

Explorations in the History and Heritage of Machines and Mechanisms

This book gathers the latest advances in the field of history of science and technology, as presented by leading international researchers at the 8th International Symposium on History of Machines and Mec…

lieferbar innerhalb 2-3 Wochen

Buch

Great Reset-Opportunity or Threat?

This book gathers revised papers presented at the 2024 International Symposium of the Business Systems Laboratory, held in Palermo, Italy on January 11¿12, 2024.In the last four years, the world has seen …

lieferbar innerhalb 2-3 Wochen

Buch

End-User Development

.- Automation, Sustainability, and Smart Environments..- An EUD Approach to Creating Feasible and Energy-saving Automations for Smart Homes..- End-User Customization of Trigger-Action Rules through Fine-T…

lieferbar innerhalb 2-3 Wochen

Buch

Automated Technology for Verification and Analysis

This book constitutes the refereed proceedings of the 23rd International Symposium on Automated Technology for Verification and Analysis, ATVA 2025, held in Bengaluru, India, from October 27--31, 2025.The…

lieferbar innerhalb 2-3 Wochen

Buch

National Academies of Sciences Engineering and Medicine, Transportation Research Board, Consensus and Advisory Studies Division
Global Pathways to Net-Zero

The climate crisis poses a threat to life on the planet, with human health, ecosystem, and economic impacts globally. These impacts are projected to worsen in the future, as greenhouse gas emissions conti…

lieferbar innerhalb 2-3 Wochen

Buch

Sustainable Aviation Innovations, Advancements, and Destinations

Sustainable aviation involves developing long-term strategies to address the challenges faced by the aviation industry. The International Symposium on Sustainable Aviation is a multidisciplinary conferenc…

lieferbar innerhalb 2-3 Wochen

Buch

Management, Innovation and Entrepreneurship in Challenging Global Times

Management, Innovation and Entrepreneurship in Challenging Global Times begins to address the need for a response to unprecedented global situations that require large-scale cooperation as well as individ…

lieferbar innerhalb 2-3 Wochen

Buch

Practical Aspects of Declarative Languages

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…

lieferbar innerhalb 2-3 Wochen

Buch

String Processing and Information Retrieval

.- New perspectives on the Burrows--Wheeler Transform (Keynote)..- Scaling genomic reuse: hypothesis and algorithms for k-mer collections (Keynote)..- Succinct Dynamic Data Structures (25 years on) (Keyno…

lieferbar innerhalb 2-3 Wochen

Buch

Algorithmic Aspects of Cloud Computing

.- ALGOCLOUD 2024..- Innovating Medical Record Keeping with Blockchain, RSA-Encrypted NFTs, and Smart Contracts..- Towards 2-Resilient Local Failover in Destination-Based Routing..- Dynamic Accountable St…

lieferbar innerhalb 2-3 Wochen

Buch

Water Resources Management and Water Pollution Control

This book features select peer-reviewed proceedings from the 6th International Symposium on Water Pollution and Treatment (ISWPT 2023). It comprises articles written by researchers, practitioners, policym…

lieferbar innerhalb 2-3 Wochen

Buch

From Data to Models and Back

This book constitutes revised selected papers of the 12th International Symposium on From Data Models and Back, DataMod 2024, held in Aveiro, Portugal, during November 4--5, 2024.The 9 full papers include…

lieferbar innerhalb 2-3 Wochen

Buch