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

Brightening Tomorrow Together 2024

This book includes the proceedings of the Symposium and Industry Summit, June 20-21, 2024 at University of WindsorNegativity and pessimism seem to dominate the media in recent years, overshadowing the bri…

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

Logic-Based Program Synthesis and Transformation

Lecture Notes in Computer Science - Band 16117

This volume constitutes the proceedings of 35th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2025, held in Rende, Italy, during September 9--10, 2025.The 17 full pap…

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

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

Formal Methods: Foundations and Applications

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 pap…

lieferbar innerhalb 2-3 Wochen

Buch

Cellular Automata Technology

This book constitutes the refereed conference proceedings of the 4th Asian Symposium on Cellular Automata Technology, ASCAT 2025, held in Ranchi, India, during March 6--8, 2025.The 16 full papers included…

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

End-User Development

This book constitutes the refereed proceedings of the 10th International Symposium on End-User Development, IS-EUD 2025, held in Munich, Germany, during June 16--18, 2025.The 13 full papers and 8 short pa…

lieferbar innerhalb 2-3 Wochen

Buch

Trends in Functional Programming

This book constitutes the refereed proceedings of the 25th International Symposium on Trends in Functional Programming, TFP 2024, held in South Orange, NJ, USA, during January 10-12, 2024.The 10 full pape…

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

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

One Hundred Years of Game Theory

In the winter of 2021, the Swedish Nobel Foundation organized a Nobel symposium 'One Hundred Years of Game Theory' to commemorate the publication of famous mathematician Emile Borel's 'La théorie du jeu e…

lieferbar ab 31.1.2026.

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

One Hundred Years of Game Theory

In the winter of 2021, the Swedish Nobel Foundation organized a Nobel symposium 'One Hundred Years of Game Theory' to commemorate the publication of famous mathematician Emile Borel's 'La théorie du jeu e…

lieferbar ab 31.1.2026.

Buch

Green Approaches in Sustainable Aviation

Sustainable aviation is a long-term strategy to provide innovative solutions to the industry¿s environmental challenges. The International Symposium on Sustainable Aviation is a multi-disciplinary symposi…

lieferbar innerhalb 2-3 Wochen

Buch

Availability, Reliability and Security

This two-volume set LNCS 15998-15999 constitutes the proceedings of the ARES 2025 EU Projects Symposium Workshops, held under the umbrella of the 20th International conference on Availability, Reliability…

sofort lieferbar

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

From Data to Models and Back

This book constitutes the refereed proceedings of the 11th International Symposium on From Data to Models and Back, DataMod 2023, held in Eindhoven, The Netherlands during November 6-7, 2023.The 8 full pa…

lieferbar innerhalb 2-3 Wochen

Buch

Automated Technology for Verification and Analysis

The two-volume set 15054-15055 constitutes the refereed proceedings of the 22nd International Symposium on Automated Technology for Verification and Analysis, ATVA 2024, held in Kyoto, Japan, from October…

lieferbar innerhalb 2-3 Wochen

Buch

Trefferliste "Symposion" - alle Bücher, LPs, CDs und mehr