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

Applications of Mathematics in Sciences, Engineering, and Economics

V. Y. Glizer and V. Turetsky, Robust Capture Pursuit Based on Differential Games.- A. Comaneci, Simplicial Fermat--Weber Problems are Dual to Minimum Cost Flow Problems.- M. Baumgartner, G. Schr¨oder, C. …

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

Algorithmic Aspects of Cloud Computing

A Federated Learning Approach for Predicting Marine Heat Waves.- Cooper: A Lightweight Event Recording and Visualization Framework for Data Center.- SPiomlicuyla Atiognesnts for Zero-Trust Kubernetes: A C…

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

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

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

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

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

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

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

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

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

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

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

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

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

Web and Wireless Geographical Information Systems

This LNCS conference volume constitutes the proceedings of the 22nd International Symposium on Web and Wireless Geographical Information Systems, W2GIS 2025, in Mexico City, Mexico, held during September …

sofort lieferbar

Buch

Bioinformatics Research and Applications

This two-set volume LNCS 15756 and 15767 constitutes the refereed proceedings of the 21st International Symposium on Bioinformatics Research and Applications, ISBRA 2025, held in Helsinki, Finland, during…

lieferbar innerhalb 2-3 Wochen

Buch