You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
This volume contains papers presented at the BCS-FACS Workshop on Specification and Verification of Concurrent Systems held on 6-8 July 1988, at the University of Stirling, Scotland. Specification and verification techniques are playing an increasingly important role in the design and production of practical concurrent systems. The wider application of these techniques serves to identify difficult problems that require new approaches to their solution and further developments in specification and verification. The Workshop aimed to capture this interplay by providing a forum for the exchange of the experience of academic and industrial experts in the field. Presentations included: surveys, o...
In this text atlas of neuroimaging the author provides a review of the pathologies and diseases that affect the head, brain, skull base, face, spine, and cord. The case presentation format of this handbook covers the important clinical and neuropathological aspects of the disease process. The book contains 350 selected pathologies, represented in 750 high resolution MR images. It also covers the aspects of neurological disorders and the fundamental aspects of the physics of magnetic resonance, spectroscopy, as well as a review of MR techniques. Given its scope, this book is of interest to radiologists involved in MR interpretation, neuroradiologists seeking an up-to-date review, and all workers in the field of diagnostic and therapeutic neurology.
Many authors have alluded to the unique nature of Russia’s dual transition and its difficult task of simultaneously reforming its economy and polity. But there is in fact a third transition still far from completed that is of no less importance, the need to reconfigure central-regional relations and to create a stable and viable form of federalism. There are vast economic, demographic and political variations across the Russian federation. Therefore an understanding of regions, and the causes and consequences of cross-regional diversity, is a vitally important dimension of Russian politics that should not be overlooked. It is only by studying regional level politics that we can gain a full...
None