You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
The two open access volumes LNCS 14574 and 14575 constitute the proceedings of the 27th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2024, which took place in Luxembourg in April 2024. The 24 full papers included in this book were carefully reviewed and selected from 79 submissions. They were organized in topical sections as follows: Part I: Infinite games; categorical semantics; automata and synthesis; Part II: Types and programming languages; logic and proofs; infinite-state systems.
This book critically examines how a Hero is made, sustained, and even deformed, in contemporary cultures. It brings together diverse ideas from philosophy, mythology, religion, literature, cinema, and social media to explore how heroes are constructed across genres, mediums, and traditions. The essays in this volume present fresh perspectives for readers to conceptualize the myriad possibilities the term ‘Hero’ brings with itself. They examine the making and unmaking of the heroes across literary, visual and social cultures —in religious spaces and in classical texts; in folk tales and fairy tales; in literature, as seen in Heinrich Böll’s Und Sagte Kein Einziges Wort, Thomas Brüss...
The completely revised basic work presents itself at the state of the art. The numerous explanations on sustainable building systems are brought together in the new chapter "Energy Concepts". The technical content is condensed according to the facts and contexts relevant to architects and civil engineers. The extensive illustration section with detailed drawings for pictorial commentary on the text has been revised and updated. The "Bean" thus remains an indispensable basic work for keeping pace with the dynamic technological development, the increasing demands for comfort and the requirements for an economical and environmentally friendly use of energy in technical building.
None
None