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

Formal Methods: Foundations and Applications

Lecture Notes in Computer Science - Band 16363

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

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

Leonard Bernstein (1918-1990)

Marin Alsop conducts Bernstein - The Complete Naxos Recordings

Kelley Nassief, Jennifer Johnson, Morgan State University Choir, Washington Chorus, Baltimore Symphony Orchestra, Bournemouth Symphony Orchestra, Sao Paulo Symphony Orchestra, Marin Alsop

lieferbar innerhalb 1-2 Wochen

8 CDs, DVD

NASA Formal Methods

Lecture Notes in Computer Science - Band 15682

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

Rites, Rituals and Festivals as Instruments of Stability of Royal Power

Königtum, Staat und Gesellschaft früher Hochkulturen - 4,7

Rituals and festivals have always been fascinating subjects of debate for scholars, sparking curiosity and inspiring countless discussions. While much has been said and written on these topics, this publi…

sofort lieferbar

Buch

Smart Computing and Systems

This book constitutes the refereed proceedings of the 9th Global Symposium on Smart Computing and Systems, G3S 2025, held in Beni Mellal, Morocco, during November 27--29, 2025.The 30 full papers included …

lieferbar innerhalb 2-3 Wochen

Buch

Superalloys 2024

The Minerals, Metals & Materials Series

The 15th International Symposium on Superalloys (Superalloys 2024) highlights technologies for lifecycle improvement of superalloys. In addition to the traditional focus areas of alloy development, proces…

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

Great Reset-Opportunity or Threat?

Springer Proceedings in Business and Economics

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

Lecture Notes in Computer Science - Band 15713

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

Cellular Automata Technology

Communications in Computer and Information Science - Band 2499

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

Automated Technology for Verification and Analysis

Lecture Notes in Computer Science - Band 16145

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

Cellular Automata Technology

Communications in Computer and Information Science - Band 2801

This book constitutes the refereed conference proceedings of the 5th Asian Symposium on Cellular Automata Technology, ASCAT 2026, held in Calicut, India, during February 25--27, 2026.The 20 full papers in…

lieferbar innerhalb 2-3 Wochen

Buch

Bernstein at 100 - The Centennial Celebration at Tanglewood

Audra McDonald, Midori, Yo-Yo Ma, Susan Graham, Thomas Hampson, Nadine Sierra, Boston Symphony Orchestra, Andris Nelsons, Christoph Eschenbach, Michael Tilson Thomas, Keith Lockhart

lieferbar in mind. 4 Wochen

Blu-ray Disc

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

String Processing and Information Retrieval

Lecture Notes in Computer Science - Band 16073

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

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

Ritual Performance in the Viking Age

The performance of rituals is a key component in understanding the culture of Late Iron-Age and Viking-Age Scandinavia, which was marked by tremendous social and religious transformations. New approaches …

lieferbar in mind. 4 Wochen

Buch

Algorithmic Aspects of Cloud Computing

Lecture Notes in Computer Science - Band 15455

This book constitutes the refereed proceedings of the 9th International Symposium on Algorithmic Aspects of Cloud Computing, ALGOCLOUD 2024, held in London, UK, during September 2024.The 9 full papers and…

lieferbar innerhalb 2-3 Wochen

Buch