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

Isabelle Chabloz,
TBTF & Finanzstabilität

Sieben Rechtsprofessorinnen aus sechs Schweizer Universitäten haben am 14. Januar 2025 an der ETH Zürich das Symposium TBTF & Finanzstabilität durchgeführt, um Stabilitätsfragen wie die Too Big To Fai…

lieferbar innerhalb 2-3 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 innerhalb 2-3 Wochen

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

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

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

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

Theoretical Aspects of Software Engineering

.- Program Verification..- Safeguarding Neural Network-Controlled Systems via Formal Methods: From Safety-by-Design to Runtime Assurance (Invited Talk) ..- Testing-Based Formal Verification with Program S…

lieferbar innerhalb 2-3 Wochen

Buch

Static Analysis

This book constitutes the refereed proceedings of the 31st International Static Analysis Symposium, SAS 2024, held in Pasadena, CA, USA, in October 2024.Static analysis is widely recognized as a fundament…

lieferbar innerhalb 2-3 Wochen

Buch

Frontiers of Combining Systems

Lecture Notes in Computer Science - Band 15979, Lecture Notes in Artificial Intelligence

This open access book constitutes the refereed proceedings of the 15th International Symposium on Frontiers of Combining Systems, FroCoS 2025, held in Reykjavik, Iceland, during September 29--October 1, 2…

lieferbar innerhalb 2-3 Wochen

Buch

Brightening Tomorrow Together 2024

This book includes the proceedings of the Symposium and Industry Summit, June 20-21, 2024 at University of WindsorNegativity and pessimism seem to dominate the media in recent years, overshadowing the bri…

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…

lieferbar ab 17.12.2025.

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

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

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

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

Superalloys 2024

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

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

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

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