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

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

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

Fundamentals of Computation Theory

Lecture Notes in Computer Science - Band 16106

This book constitutes the proceedings of the 25th International Symposium on Fundamentals of Computation Theory, FCT 2025, held in Wrocaw, Poland, during September 15--17, 2025.The 32 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

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

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

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

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

Bernstein at 100 - The Centennial Celebration at Tanglewood

(1)

Wir können nicht sicherstellen, dass die Bewertungen von solchen Verbrauchern stammen, die die Ware tatsächlich genutzt oder erworben haben.

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

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

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

From Data to Models and Back

Lecture Notes in Computer Science - Band 15556

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

Intelligent Technology for Power and Energy Systems

Lecture Notes in Networks and Systems - Band 1815

This book brings together breakthrough ideas and practical engineering insights, offering readers immediate access to innovative solutions that address today's most pressing challenges in power and energy…

lieferbar innerhalb 2-3 Wochen

Buch

From Data to Models and Back

Lecture Notes in Computer Science - Band 14618

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

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