Welcome to our book review site go-pdf.online!
You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
Current Catalog
First multi-year cumulation covers six years: 1965-70.
Unfoldings
In this book the authors introduce unfoldings, an approach to model checking which alleviates the state explosion problem by means of concurrency theory. They offer an introduction to the basics of the method and detail an unfolding-based algorithm for model checking concurrent systems against properties specified as formulas of linear temporal logic (LTL). The book will be of value to researchers and graduate students engaged in automatic verification and concurrency theory.
Modern Nordic Plays
None
Soldier for Christ
Rector's assistant Owen Mathias, a young and average sensualist, gradually stumbles on the considerable connections his church in Kobe, Japan, has to atrocities committed by Unit 731, Japan's biological warfare research center in Harbin, Manchuria, during World War II. Mathias's discoveries toss him into theodicy's deepest pit, savaging his faith and pinballing him among the vapid convictions of his rector, the pieties of ex-pat parishioners, the bitter doubts of an American missionary couple, the placid sexuality of his Japanese girlfriend, and the fey manipulations of Japanese witnesses trying to reveal and contain and explain the story. The Great Hanshin Earthquake in Kobe in 1995 underscores the theological writhings Mathias undergoes and his emergence as an ambivalent and comic soldier for Christ.
The Making of a New Science
This book explains the development of theoretical computer science in its early stages, specifically from 1965 to 1990. The author is among the pioneers of theoretical computer science, and he guides the reader through the early stages of development of this new discipline. He explains the origins of the field, arising from disciplines such as logic, mathematics, and electronics, and he describes the evolution of the key principles of computing in strands such as computability, algorithms, and programming. But mainly it's a story about people – pioneers with diverse backgrounds and characters came together to overcome philosophical and institutional challenges and build a community. They collaborated on research efforts, they established schools and conferences, they developed the first related university courses, they taught generations of future researchers and practitioners, and they set up the key publications to communicate and archive their knowledge. The book is a fascinating insight into the field as it existed and evolved, it will be valuable reading for anyone interested in the history of computing.
Integrated Formal Methods
This book constitutes the refereed proceedings of the Second International Conference on Integrated Formal Methods, IFM 2000, held in Dagstuhl, Germany in November 2000. The 22 revised full papers presented together with the abstracts of two invited talks were carefully reviewed and selected from 58 submissions. The papers are grouped together in topical sections on linking and extending notations, methodology, foundation of one formalism by another, semantics, and verification and validation.
Theory Is Forever
This commemorative book celebrates the 70th birthday of Arto Kustaa Salomaa, one of the most influential researchers in theoretical computer science. The 24 invited papers by leading researchers in the area address a broad variety of topics in theoretical computer science and impressively reflect the breadth and the depth of Arto Salomaa's scientific work.
Proof, Language, and Interaction
This collection of essays reflects the breadth of research in computer science. Following a biography of Robin Milner it contains sections on semantic foundations; programming logic; programming languages; concurrency; and mobility.
The Fish Lands
The late medieval German trade with the North Atlantic islands, in the margins of the Hanseatic trade network, has received only limited scholarly attention. Merchants from predominantly Hamburg and Bremen established direct trade relations with these islands in the late 15th century, and managed to control the international trade with Iceland, the Faroes and Shetland for much of the 16th century. However, the Hanseatic commercial infrastructure was absent in the North Atlantic, which forced these merchants to develop new trade strategies. Besides a critical re-evaluation of the economic and political conditions, this volume offers a comprehensive study of the organisation of the trade and the methods used to establish and maintain networks between islanders and German merchants. Moreover, it analyses the role and socio-economic position of the communities of merchants with the North Atlantic in their home towns. The book shows that the North Atlantic trade was anything but insignificant. It was a dynamic and integral part of the trade network of the northern German cities, and its study is highly relevant for the economic history of Northern Europe.
