You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
None
There has been renewed and growing interest in exploring the significant role played by law in the centralization of power and sovereignty – right from the earliest point. This timely book serves as an introduction into state theory, providing an overview of the conceptual history and the interdisciplinary tradition of the continental European general theory of the state.
Ambient intelligence is the vision of a technology that will become invisibly embedded in our natural surroundings, present whenever we need it, enabled by simple and effortless interactions, attuned to all our senses, adaptive to users and context-sensitive, and autonomous. High-quality information access and personalized content must be available to everybody, anywhere, and at any time. This book addresses ambient intelligence used to support human contacts and accompany an individual's path through the complicated modern world. From the technical standpoint, distributed electronic intelligence is addressed as hardware vanishing into the background. Devices used for ambient intelligence ar...
Includes entries for maps and atlases.
In this critical introduction to the poetry and fiction of Johannes Bobrowski (1917-1965), David Scrase elucidates the literary subtleties of one of the most prominent writers to live and work in the German Democratic Republic. Despite the fact that Bobrowski won such prestigious accolades as the Heinrich Mann Prize and Charles Veillon Prize and held an important position in the literature of postwar Germany, very little English-language scholarship has been published about his work. Scrase fills this gap by exploring the heralded writer's novels, poems, and short stories. Contending that Bobrowski's writing can be understood only by those who appreciate the ethos that pervaded East Prussia ...
Gerhard Gentzen (1909–1945) is the founder of modern structural proof theory. His lasting methods, rules, and structures resulted not only in the technical mathematical discipline called “proof theory” but also in verification programs that are essential in computer science. The appearance, clarity, and elegance of Gentzen's work on natural deduction, the sequent calculus, and ordinal proof theory continue to be impressive even today. The present book gives the first comprehensive, detailed, accurate scientific biography expounding the life and work of Gerhard Gentzen, one of our greatest logicians, until his arrest and death in Prague in 1945. Particular emphasis in the book is put on...