Alexander Knapp – författare

Ernest Bloch left his native Switzerland to settle in the United States in 1916. One of the great twentieth-century composers, he was influenced by a range of genres and styles - Jewish, American and Swiss - and his works reflect his lifelong struggle with his identity. Drawing on firsthand recollections of relatives and others who knew and worked with the composer, this collection is the most comprehensive study to date of Bloch's life, musical achievement and reception. Contributors present the latest research on Bloch's works and compositional practice, including studies of his Avodath Hakodesh (Sacred Service), violin pieces such as Nigun, the symphonic Schelomo, and the opera Macbeth. Setting the quality and significance of Bloch's output in its historical and cultural contexts, this book provides scholarly analyses as well as a full chronology, list of online resources, catalogue of published and unpublished works, and selected further reading.

This book constitutes the refereed proceedings of the 22nd International Conference on Software Engineering and Formal Methods, SEFM 2024, held in Aveiro, Portugal, during November 6–8, 2024. The 23 full papers included in this book were carefully reviewed and selected from 68 submissions.

This Festschrift, dedicated to Wolfgang Reif on the occasion of his 65th birthday, collects contributions written by many of his closest research colleagues and many of his former students. After obtaining his PhD in Karlsruhe in 1991, Wolfgang was appointed professor in Ulm in 1994 and then moved on to a chair in Augsburg in 2000.

This book constitutes the refereed proceedings of the Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and the 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, held in Pisa, Italy, in September 2016.The 11 full papers and 4 short papers presented together with one invited talk were carefully reviewed and selected from 24 submissions. They are organized in the following sections: automated verification techniques; model-based system analysis; and applications and case studies.

This book constitutes the thoroughly refereed post-proceedings of the 9th International Workshop on Radical Innovations of Software and Systems Engineering in the Future, RISSEF 2002, held in Venice, Italy, in October 2002. The 24 revised full papers presented were carefully reviewed and selected from the 36 invited workshop presentations. The authors evaluate all major paradigms and conceptual issues in software and systems design and analysis, especially regarding their potential for modifications to cope with future needs.