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

Distributed Autonomous Robotic Systems

This book of the SPAR series contains 40 scientific articles presented at the 17th International Symposium on Distributed Autonomous Robotic Systems. The conference was held October 27--30, 2024, on Roose…

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 12.3.2026.

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

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

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

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

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

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

Formal Methods: Foundations and Applications

This book constitutes the refereed proceedings of the 28th Brazilian Symposium on Formal Methods: Foundations and Applications, SBMF 2025, held in Recife, Brazil, during December 3--5, 2025.The 12 full pa…

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

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 19.2.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

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

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

Transforming Construction: Advances in Fiber Reinforced Concrete

This volume highlights the latest advances, innovations, and applications in the field of fiber-reinforced concrete (FRC) and textile-reinforced concrete (TRC), as presented by scientists and engineers at…

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

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 19.2.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

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

Socio-emotional and cognitive development in learning

Dortmunder Symposium der Empirischen Bildungsforschung - Band 9

This volume examines the question of whether the central educational goals of promoting cognitive development on the one hand and socio-emotional development on the other are in conflict, or whether they …

sofort lieferbar

Buch