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

Model Checking Software

Lecture Notes in Computer Science - Band 15945

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

Buch

Model Checking Software

This book constitutes the refereed proceedings of the 30th International Symposium on Model Checking Software, SPIN 2024, held in Luxembourg City, Luxembourg, during April 10-11, 2024.The 9 full papers, 3…

lieferbar innerhalb 2-3 Wochen

Buch

Alan Pichanick
Plato's Politics of Passion

An original reading of three Platonic dialogues concerned with the soul, tyranny, self-knowledge, and the beautiful.Guided by the question "What is Socratic self-knowledge," this study begins wi…

lieferbar ab 1.10.2025.

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

Algorithmic Game Theory

Lecture Notes in Computer Science - Band 15953

This volume constitutes the refereed proceedings of 18th International Symposium on Algorithmic Game Theory, SAGT 2025, held in Bath, UK, during September 2--5, 2025.The 26 full papers included in this bo…

lieferbar in mind. 4 Wochen

Buch

Logic-Based Program Synthesis and Transformation

Lecture Notes in Computer Science - Band 16117

This volume constitutes the proceedings of 35th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2025, held in Rende, Italy, during September 9--10, 2025.The 17 full pap…

lieferbar ab 23.10.2025.

Buch

Empowering Digital Transformation

This book contains selected papers from the 2025 Greek Marketing Academy and the Global Alliance of Marketing and Management Associations Joint Symposium (GMA-GAMMA2025) held from July 24 to 27, 2025, in …

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

Bus

The Unknown Secretary

Am Anfang war das Chaos - Einige Zeit später wurde im Himmel, wo die Engel herrschten, ein großes Symposium abgehalten, ein herrliches Fest. Alle waren glücklich und amüsierten sich prächtig, bis Luzifer…

lieferbar innerhalb 1-2 Wochen

LP

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 innerhalb von 3 Tagen

Blu-ray Disc

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

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

Research Developments in Sustainable Aviation

Sustainable aviation is a long-term strategy aimed at providing innovative solutions to the challenges facing the aviation industry. The International Symposium on Sustainable Aviation is a multi-discipli…

lieferbar innerhalb 2-3 Wochen

Buch

Regeneration of Complex Capital Goods

This open access book compiles the groundbreaking research conducted by the Collaborative Research Center (CRC) 871, centered around the "Regeneration of Complex Capital Goods." This comprehensi…

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

This book constitutes the refereed proceedings of the 34th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2024, held in Milan, Italy, during September 9¿10, 2024.The 1…

lieferbar innerhalb 2-3 Wochen

Buch

Great Reset-Opportunity or Threat?

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

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

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…

lieferbar ab 17.12.2025.

Buch

Trefferliste "Symposium" - alle Bücher, CDs, LPs und mehr