You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
In this 2013 winner of the prestigious R.R. Hawkins Award from the Association of American Publishers, as well as the 2013 PROSE Awards for Mathematics and Best in Physical Sciences & Mathematics, also from the AAP, readers will find many of the most significant contributions from the four-volume set of the Collected Works of A. M. Turing. These contributions, together with commentaries from current experts in a wide spectrum of fields and backgrounds, provide insight on the significance and contemporary impact of Alan Turing's work. Offering a more modern perspective than anything currently available, Alan Turing: His Work and Impact gives wide coverage of the many ways in which Turing's sc...
This book constitutes the refereed proceedings of the 33rd Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2007, held in Harrachov, Czech Republic in January 2007. The 69 revised full papers, presented together with 11 invited contributions were carefully reviewed and selected from 283 submissions. The papers were organized in four topical tracks.
This volume contains the proceedings of the 4th International Workshop on Distributed Algorithms, held near Bari, Italy, September 24-26, 1990. The workshop was a forum for researchers, students and other interested persons to discuss recent results and trends in the design and analysis of distributed algorithms for communication networks and decentralized systems. The volume includes all 28 papers presented at the workshop, covering current research in such aspects of distributed algorithm design as distributed combinatorial algorithms, distributed algorithms on graphs, distributed algorithms for new types of decentralized systems, distributed data structures, synchronization and load-balancing, distributed algorithms for control and communication, design and verification of network protocols, routing algorithms, fail-safe and fault-tolerant distributed algorithms, distributed database techniques, algorithms for transaction management and replica control, and other related topics.
This book constitutes the refereed proceedings of the 36th Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2010, held in Špindleruv Mlýn, Czech Republic, in January 2009. The 53 revised full papers, presented together with 11 invited contributions, were carefully reviewed and selected from 134 submissions. SOFSEM 2010 was organized around the following four tracks: Foundations of computer science, principles of software construction, Data, knowledge, and intelligent systems and Web science.
The question of the ‘structure’ of the human person is central to many mystical authors in the Christian tradition. This book focuses on the specific anthropology of a series of key authors in the mystical tradition in the medieval and early modern Low Countries. Their view is fundamentally different from the anthropology that has commonly been accepted since the rise of Modernity. This book explores the most important mystical authors and texts from the Low Countries including: William of Saint-Thierry, Hadewijch, Pseudo-Hadewijch, John of Ruusbroec, Jan van Leeuwen, Hendrik Herp, and the Arnhem Mystical Sermons. The most important aspects of mystical anthropology are discussed: the spiritual nature of the soul, the inner-most being of the soul, the faculties, the senses, and crucial metaphors which were used to explain the relationship of God and the human person. Two contributions explicitly connect the anthropology of the mystics to contemporary thought. This book offers a solid and yet accessible overview for those interested in theology, philosophy, history, and medieval literature.
Vols. for 1963- include as pt. 2 of the Jan. issue: Medical subject headings.
This book constitutes the refereed proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP 2001, held in Crete, Greece in July 2001. The 80 revised papers presented together with two keynote contributions and four invited papers were carefully reviewed and selected from a total of 208 submissions. The papers are organized in topical sections on algebraic and circuit complexity, algorithm analysis, approximation and optimization, complexity, concurrency, efficient data structures, graph algorithms, language theory, codes and automata, model checking and protocol analysis, networks and routing, reasoning and verification, scheduling, secure computation, specification and deduction, and structural complexity.
This is the first academic book on Dutch colonial aspirations and initiatives during WWII. Between the summers of 1941 and 1944, some 5,500 Dutch men and women left their occupied homeland to find employment in the so-called German Occupied Eastern Territories: Belarus, the Baltic countries and parts of Ukraine. This was the area designated for colonization by Germanic people. It was also the stage of the "Holocaust by Bullets," a centrally coordinated policy of exploitation and oppression and a ruthless anti-partisan war. This book seeks to answer why the Dutch decided to go there, how their recruitment, transfer and stay were organized, and how they reacted to this scene of genocidal violence. It is a close-up study of racial monomania, of empire-building on the old continent and of collaboration in Nazi-occupied Europe.