Erste Untersuchungen der Halswirbelsäule werden stets mit Hilfe von Röntgenaufnahmen durchgeführt, und in den meisten Fällen genügen diese als Grundlage für die Diagnose. Mißbildungen, Tumoren, und noch öfter Traumata, Rheuma und sogar ganz gewöhnliche Nackenschmerzen erfordern eine radiologische Untersuchung der Wirbelsäule. Die Auswertung jedoch ist schwierig. Nimmt man einen Halswirbel in die Hand, so stellt man fest, um welch komplexes Gebilde es sich hierbei handelt. Bei radiologischen Aufnahmen wird die Auswertung noch durch die sich überlappenden Knochenteile, Anhäufungen und die verschiedenen Blickwinkel erschwert. Das Buch von J.-F. Bonneville und F. Cattin stellt eine originelle Interpretationsmethode von Röntgenaufnahmen vor, die die Auswertung wesentlich erleichtert. Dieses Buch zeigt, daß zwei- bzw. dreidimensionale Computertomogramme eine ausgezeichnete Hilfe zum Verständnis von konventionellen Röntgenbildern sein können. Der Leser bekommt gleichsam Zugang zu jedem Einzelteil des Knochens, und von da an wird alles einfach, Überlappungen verschwinden, die in der Röntgenaufnahme verborgenen Tücken werden sichtbar, die Anatomie triumphiert, das Bild lebt. Die Halswirbelsäule von J.-F. Bonneville und F. Cattin ist unentbehrlich für jeden Radiologen in seiner täglichen Praxis, aber ebenso auch für Chirurgen, Rheumatologen und Physiotherapeuten, die sich für die Halswirbelsäule interessieren.

The proceedings of the fourth Vienna Development Method Symposium, VDM '91, are published here in two volumes. Previous VDM symposia were held in 1987 (LNCS 252), 1988 (LNCS 328), and 1990 (LNCS 428). The VDM symposia have been organized by the VDM Europe, formed in 1985 as an advisory board sponsored by the Commission of the European Communities. The VDM Europe working group consisted of reasearchers, software engineers, and programmers, all interested in prommoting the industrial usage of formal methods for software development. The fourth VDM symposium presented not only VDM but also a large number of other methods for formal software development. Volume 1 contains the conference contributions. It has four parts: contributions of invited speakers, papers, project reports, and tools demonstration abstracts. The emphasis is on methods and calculi for development, verification and verification tools support, experiences from doing developments, and the associated theoretical problems. Volume2 contains four introductory tutorials (on LARCH, Refinement Calculus, VDM, and RAISE) and four advanced tutorials (on ABEL, PROSPECTRA, THE B Method, and The Stack). They present a comprehensive account of the state of theart.

The last few years have borne witness to a remarkable diversity of formal methods, with applications to sequential and concurrent software, to real-time and reactive systems, and to hardware design. In that time, many theoretical problems have been tackled and solved, and many continue to be worked upon. Yet it is by the suitability of their industrial application and the extent of their usage that formal methods will ultimately be judged. This volume presents the proceedings of the first international symposium of Formal Methods Europe, FME'93. The symposium focuses on the application of industrial-strength formal methods. Authors address the difficulties of scaling their techniques up to industrial-sized problems, and their suitability in the workplace, and discuss techniques that are formal (that is, they have a mathematical basis) and that are industrially applicable. The volume has four parts: - Invited lectures, containing a lecture by Cliff B. Jones and a lecture by Antonio Cau and Willem-Paul de Roever; - Industrial usage reports, containing 6 reports; - Papers, containing 32 selected and refereedpapers; - Tool descriptions, containing 11 descriptions.

This volume presents the proceedings of the 2nd VDM-Europe Symposium held in Dublin, Ireland, September 12-16, 1988. VDM, the Vienna Development Method, is a formal method for software engineering. It is being applied to an increasing number of projects by companies throughout Europe and there is an active international research programme supporting this process. "VDM - The Way Ahead" is the second of a series of symposia sponsored by the Commission of the European Communities (CEC) and organised by VDM-Europe. The term "formal method" refers to mathematically formal software specification and production methods. These methods aim to increase the quality of software in two related ways: by improving the specification and by making verification during the software production process more effective and easier to audit. The symposium proceedings focus on five areas of interest: education and technology transfer, experience and use of VDM, tools and support environments, method development and foundation at work, the standardisation of VDM. The proceedings are of interest to all those concerned with the application of more rigorous approaches to software development and the associated theoretical foundations.

The Fifth Workshop on Specification of Abstract Data Types took place 1-4 September 1987 in Gullane, near Edinburgh. This book contains papers based on selected talks presented at the workshop. The algebraic specification of abstract data types has been a flourishing topic in computer science since 1974. The main goal of work in this area is to evolve a methodology to support the design and formal development of reliable software. The particular approach taken builds upon concepts from universal algebra and elementary category theory. The core of this work has now stabilized to a great extent and is mature enough to find application in real-life software engineering and to related topics such as concurrency, databases, and even hardware design. Such applications are becoming more feasible because of the emergence of integrated specification/development environments which include tools such as theorem provers based on fast term rewriting engines. Researchers are also exploring ways of widening the scope of the theory to make it applicable to (for example) higher-order functions and non-deterministic programs. Another trend is toward taking a more general view which allows superficially different approaches having the same general aims and methods to be unified.

The International Workshop CG '88 on "Computational Geometry" was held at the University of Würzburg, FRG, March 24-25, 1988. As the interest in the fascinating field of Computational Geometry and its Applications has grown very quickly in recent years the organizers felt the need to have a workshop, where a suitable number of invited participants could concentrate their efforts in this field to cover a broad spectrum of topics and to communicate in a stimulating atmosphere. This workshop was attended by some fifty invited scientists. The scientific program consisted of 22 contributions, of which 18 papers with one additional paper (M. Reichling) are contained in the present volume. The contributions covered important areas not only of fundamental aspects of Computational Geometry but a lot of interesting and most promising applications: Algorithmic Aspects of Geometry, Arrangements, Nearest-Neighbor-Problems and Abstract Voronoi-Diagrams, Data Structures for Geometric Objects, Geo-Relational Algebra, Geometric Modeling, Clustering and Visualizing Geometric Objects, Finite Element Methods, Triangulating in Parallel, Animation and Ray Tracing, Robotics: Motion Planning, Collision Avoidance, Visibility, Smooth Surfaces, Basic Models of Geometric Computations, Automatizing Geometric Proofs and Constructions.

This volume is the proceedings of the second International Conference on Database Theory (ICDT) held in Bruges, Belgium, August 31 - September 2, 1988. ICDT intends to provide a European forum for the international research community working on theoretical issues related to database and knowledge base systems. The proceedings of this conference contain all invited and accepted papers, which represent the latest results obtained in ongoing research in database theory worldwide. Most major themes of research in database theory are covered in ICDT '88: the relational model, logic and databases, object-oriented databases, deductive databases, conceptual models, analysis and design of data structures, query languages, concurrency control and updates and transactions.