Symphosius – alle Bücher, CDs und LPs, Seite 5

Frontiers of Combining Systems

This open access book constitutes the refereed proceedings of the 15th International Symposium on Frontiers of Combining Systems, FroCoS 2025, held in Reykjavik, Iceland, during September 29--October 1, 2…

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

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

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

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

.- Symbolic Computation and Verification Methods in Maude..- Verifying Smart Contracts in Yul via Transformation to CHC by Interpreter Specialization..- Implementing a Many-Valued Semantics for Logic Prog…

lieferbar in mind. 4 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

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

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

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

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

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

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

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

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

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

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

Trefferliste "Symphosius" - alle Bücher, CDs und LPs