Knihobot

Bernd Fischer

    A companion to the works of Heinrich von Kleist
    Biomedical image registration
    Theoretical Aspects of Computing – ICTAC 2018
    Model Checking Software
    Cultural transformations of the public sphere
    A Concise History of Albania
    • This authoritative and up-to-date single-volume history charts the history of Albania and its people, within their Balkan and European contexts, from their ancient past, through to Albania's difficult transition from a brutal communism to an evolving democracy.

      A Concise History of Albania
    • The last decade has seen renewed interest in political theories of the public sphere, reacting to new challenges posed by globalization, communication technology, and intra- and international conflicts. However, the role of culture and aesthetics in the formation of the public sphere has received insufficient analytical attention. The essays in this volume explore different strategies for enriching the ongoing debates on this issue, ranging from historical case studies to theoretical examinations of cultural interdependencies and the aesthetic potential of literature and art. The contributions implicitly challenge Jürgen Habermas’ assumption that the public discourse about art and literature should be seen as a mere precursor to the emergence of the public sphere in the eighteenth century, which, from his point of view, is best discussed in the terminology of political theory. Topics range from the French Revolution’s exclusive social metaphors to Herder’s anticipation of virtual publics, from the distortions of public communication to revolutionary potentials of popular taste, and from postcolonial feuilletons to the global bio-political imaginaries evoked by mobile communication. The essays are intended for scholars and students in political theory and philosophy as well as in German, Latin American, and Modern Hebrew literature and culture.

      Cultural transformations of the public sphere
    • Model Checking Software

      22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings

      • 337 stránek
      • 12 hodin čtení

      This book constitutes the refereed proceedings of the 21st International Symposium on Model Checking Software, SPIN 2015, held in Stellenbosch, South Africa, in August 2015. The 18 papers presented – 14 regular papers and 4 tool or new idea papers – were carefully reviewed and selected from 27 submissions. They cover the field between theoretical advances and practical considerations and are organized in topical sections such as abstraction, refinement, translation; Büchi automata and hashing; embedded systems; heuristics and benchmarks; SAT/SMT- based approaches; software validation and verification.

      Model Checking Software
    • Theoretical Aspects of Computing – ICTAC 2018

      15th International Colloquium, Stellenbosch, South Africa, October 16–19, 2018, Proceedings

      • 550 stránek
      • 20 hodin čtení

      This book constitutes the refereed proceedings of the 15th International Colloquium on Theoretical Aspects of Computing, ICTAC 2018, held in Stellenbosch, South Africa, in October 2018. The 25 revised full papers presented together with two short and two long invited talks were carefully reviewed and selected from 59 submissions. The ICTAC conference aims at bringing together researchers and practitioners from academia, industry and government to present research and exchange ideas and experience addressing challenges in both theoretical aspects of computing and the exploitation of theory through methods and tools for system development. ICTAC also specifically aims to promote research cooperation between developing and industrial countries.

      Theoretical Aspects of Computing – ICTAC 2018
    • This book constitutes the refereed proceedings of the 4th International Workshop on Biomedical Image Registration, WBIR 2010, held in Lübeck, Germany, in July 2010. The 17 revised full papers and 7 revised poster papers presented were carefully reviewed and selected for inclusion in the book. The papers cover all areas of biomedical image registration and are organized in topical sections on biomedical applications, evaluation, methods of registration, and model based registration.

      Biomedical image registration