Klaus Schneider

Klaus Klemp

Roland Meyer

Matthias Wagner K

Heiner Boehncke

Sandra Danicke

Renate Flagmeier

Cosima Schneider

Visitors were forewarned, a hand-written sign announcing: "The museum testifies to the thousand year history, work and labour of our ancestors. The exhibition extends for over 5000 m2." From the outset, it was a utopian undertaking. Not without reason does the lama monastery Shangri-La from James Hilton's novel Lost Horizon serve as namesake to this museum. Pietro Benzi (1931 - 2014) maintained the project from 1965 onwards. He collected what they no longer wanted, what had become antiquated or gone out of fashion: 2.7 million everyday objects, many of which were household effects, religious kitsch, knick-knacks, shoes and plastic toys. This photographic essay takes the viewer on a journey inside his unsystematic collection.

The Museum Beyond the Bridge

Shangri-La

Bruce Henderson

Heidi Keller

Exploration and play behaviour form the subject of this book, in which a wide range of research activities, both theoretical and practical, are presented from various fields. In particular, the emphasis on applications (for example, in the development of software) demonstrates the integrated approach to basic and applied research. The authors come from many different countries and represent various theoretical approaches, enabling the reader to acquire an up-to-date overview of the field and thus form an opinion of his/her own regarding this field of research.

Curiosity and Exploration

This book is a solid foundation of the most important formalisms used for specification and verification of reactive systems. In particular, the text presents all important results on m-calculus, w-automata, and temporal logics, shows the relationships between these formalisms and describes state-of-the-art verification procedures for them. It also discusses advantages and disadvantages of these formalisms, and shows up their strengths and weaknesses. Most results are given with detailed proofs, so that the presentation is almost self-contained. Includes all definitions without relying on other material Proves all theorems in detail Presents detailed algorithms in pseudo-code for verification as well as translations to other formalisms

Formal Methods and Algorithms

Verification of Reactive Systems

Jens Brandt

This book contains the refereed proceedings of the 20th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2007, held in Kaiserslautern, Germany, September 2007. Among the topics of this volume are formal semantics of specification, modeling, and programming languages, specification and verification of hardware and software, formalization of mathematical theories, advances in theorem prover technology, as well as industrial application of theorem provers.

20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings

Theorem Proving in Higher Order Logics

Aaron, Faust, Don Quijote, Orpheus, Salome, Luther, Casanova, Napoleon, John F. Kennedy ... und mehr als 1500 Figuren in 6300 Werken der programmatischen Instrumentalmusik auffindbar gemacht in diesem ungewöhnlichen Lexikon. Der 2. Band des "Lexikons Programmmusik" enthält Verweise auf rund 6300 Werke der Instrumentalmusik, die sich auf Gestalten der Geschichte, Weltliteratur und Mythologie beziehen. In alphabetischer Folge werden über 1500 Figuren (von Aaron bis Zyklop) und die dazu gehörigen Kompositionen verzeichnet. So findet man Musik zu literarischen, mythologischen und biblischen Figuren wie Faust, Don Quijote, Orpheus oder Salome ebenso wie zu Personen der neueren Geschichte, zum Beispiel Luther, Casanova, Napoleon oder John F. Kennedy. Darüber hinaus enthält das Buch zahlreiche Dichter, Maler und andere Künstler, die als Gesamtpersönlichkeit oder mit Einzelwerken Komponisten zu musikalischen Schöpfungen angeregt haben. Verlagsangaben, ein Figurenverzeichnis sowie ein Komponistenregister erleichtern den Zugriff auf diese Sparte instrumentaler "Programmmusik".

Figuren und Personen

Lexikon Programmusik / Lexikon Programmusik, Band 2

From Employability Towards Capability

Instrumentalmusik kann als absolute Musik sich selbst genügen. Sie kann aber auch etwas "darstellen", z. B. den Verlauf eines Flusses (Smetana: Die Moldau), ein Kind beim Einschlummern (Schumann: Kinderszenen) oder dramatische Ereignisse an der Frankfurter Börse (Telemann: Ouverture "La Bourse"). Der Benutzer findet in diesem Lexikon eine breite Titelauswahl programmatischer Musikstücke, und zwar - dies ist das Neue - nach ihren "Inhalten" aufbereitet, so dass sich zu jedem Thema die entsprechenden Werke auffinden lassen. Mit 147 alphabetisch geordneten Stichwörtern (z. B. Abend, Geheimnis, Karneval, Regen, Zeit ...) und rund 12.000 Einzelnachweisen liegt hier ein Musiklexikon ganz neuer Art vor. Die Werkauswahl reicht vom 16. Jahrhundert bis in die Gegenwart und berücksichtigt Instrumentalmusik aller Besetzungen. Dabei werden nicht nur ganze Kompositionen nachgewiesen, sondern auch Teile aus Werken, z. B. einzelne Sätze oder charakteristische Abschnitte. Ein Komponistenregister unterstützt den Benutzer bei der Recherche.

Stoffe und Motive der Instrumentalmusik vom 16. Jahrhundert bis zur Gegenwart

Lexikon Programmusik / Lexikon Programmusik, Band 1

Das Buch beschreibt eine Existenz, die bereits zu Beginn morbi­de Züge aufzeigt. Dies führt zu einem rastlosen, gehetzten Leben, voller Angst und Zweifel. Ein Junge, durch eine Veranlagung in die Rolle eines Außenseiters gedrängt, versteht erst nach Jahr­zehnten, als erwachsener Mensch, sich, seine Zeit und die Gesell­schaft, in der er lebt. Eine Geschichte, die sich so oder so ähnlich, immer wieder ereignet. Ein Spiegel für Menschen, die unbedacht durch ihre Zeit treiben, sich plagen ihr Glück zu finden und dabei überse­hen, dass Glück nur ein abstraktes Ideal verkörpert, das es in ei­ner Existenz, die im Beginn gleich ihr Ende impliziert, gar nicht ge­ben kann. Was bleibt ist die Hoffnung, die sich in der endlichen Zeit eines Lebens weit wertvoller erweist, als ihre Erfüllung.

Niemand ist vor seinem Ende glücklich

Memento mori

eine Studie zur Gottesvorstellung des religiösen Platonismus

Die schweigenden Götter

Mit etwa 8.600 Instrumentalkompositionen von 2.900 Komponisten werden in diesem Lexikon erstmals Werke aus dem Bereich "Musik über Musik" in übersichtlicher Form nachgewiesen. Zu allen Zeiten haben sich Komponisten mit der Musik ihrer Vorgänger oder Zeitgenossen auseinandergesetzt. Das Ergebnis waren Variationen, Fantasien, Paraphrasen oder ähnliche Werke, die sich auf bereits vorhandenes Material stützen. Im 20. Jahrhundert wurde die künstlerische Verarbeitung komplexer: Motivsplitter, rhythmische Strukturen oder formale Eigenheiten einer Fremdkomposition ergaben nun den Anlass neuen Komponierens. Auch Stilimitationen ("à la manière de ...") oder Gedenkkompositionen ("Tombeau", "Hommage à ...") gehören dazu. Dabei spielen Zitate oder die vertonten Buchstaben des zu ehrenden Musiker-Kollegen eine besondere Rolle: So enthält das Lexikon allein 270 Vertonungen des berühmten B-A-C-H-Themas. Ebenso kann Bearbeitungen ein eigenschöpferischer Wert zukommen, wenn sie eine Interpretation des Originals darstellen, wie beispielsweise Schönbergs Orchesterbearbeitung des g-Moll-Klavierquartetts von Johannes Brahms. Schließlich können auch bestimmte Instrumente oder Musiziersituationen selbst zum Gegenstand der Reflexion werden. Für Musiker, Musikredakteure, Wissenschaftler, Programmgestalter, Lehrer und Studenten bietet das Buch eine einzigartige Materialbasis und stellt damit eine ideale Ergänzung zum "Lexikon Programmmusik" dar, dem es in der Aufmachung und inhaltlichen Konzeption folgt. Ein Nachschlagewerk zum Thema - Musik über Komponisten und Einzelwerke - Variationen "über ein Thema von ..."- Hommagen, spezielle Bearbeitungen - Musik über Volksliedthemen und traditionelle Melodien - Stilimitationen - Musik über das Musizieren Klaus Schneider war von 1969 bis 1993 Leiter der Öffentlichen Musikbibliothek in Hannover. Er entwickelte ein Regelwerk für Musikbibliotheken und Rundfunkarchive zur inhaltsbezogenen Katalogisierung von Noten und Tonträgern.

Klaus Schneider

Books

Your next favorite book is out there