86 Ergebnisse - Zeige 1 von 20.

Fulfillment in Christ presents an original, contemporary treatment of one of the most challenging parts of Catholic theology. Germain Grisez and Russell Shaw offer a radical rethinking of fundamental moral theology in the light of Vatican II and in response to the current turmoil in that field.

Keine Beschreibung.

Keine Beschreibung.

Keine Beschreibung.

A Grammar of Consent

Over the past several decades the field of Quaternary ecology has undergone a fundamental change in perspective. Paleoecologists, who were formerly con­ cerned with biostratigraphic questions, have increasingly begun to develop and test explicitly ecological hypotheses. Literature emphasizing the con­ tributions of paleoecology to contemporary issues in ecology is growing, but many of the key papers are published in journals not traditionally ...

High-level Petri nets are now widely used in both theoretical analysis and practical modelling of concurrent systems. The main reason for the success of this class of net models is that they make it possible to obtain much more succinct and manageable de­ scriptions than can be obtained by means of low-level Petri nets-while, on the other hand, they still offer a wide range of analysis methods and tools. The step from low-level nets to high-le...

Keine Beschreibung.

The approach described in [JonSl, JonS3a, JonS3b] set out to extend operation decom­ position methods for sequential programs - such as are used in VDM [Jon90] - to cover concurrent shared-variable systems. The essential step in [JonSl] was to recognise that 1 inter/erence had to be specified. This is necessary in order to achieve a notion of compo­ sitionality - contrast [Owi75]. Rather than the many erudite definitions of composition­ ality ...

If ever a major study of the history of science should have acted like a sudden revolution it is this book, published in two volumes in 1905 and 1906 under the title, Les origines de la statique. Paris, the place of publication, and the Librairie scientifique A. Hermann that brought it be enough of a guarantee to prevent a very different out, could seem to outcome. Without prompting anyone, for some years yet, to follow up the revolutionary vi...

Evidence-based medicine is recognizing a spiritual component in healing especially when it comes to alcohol addiction. This book brings together more than thirty contributors and reflects this change by focusing on the 12-step model of recovery.

Keine Beschreibung.

The origin of stars is one of the principle mysteries of nature. During the last two decades advances in technology have enabled more progress to be made in the quest to understand stellar origins than at any other time in history. The study of star formation has developed into one of the most important branches of mod­ ern astrophysical research. A large body of observational data and a considerable literat ure now exist concerning this topic...

As the field of bioethics has matured, increasing attention is being paid to how bioethical issues are treated in different moral and religious traditions and in different parts of the world. It is often difficult, however, to get accurate information about these matters. The Bioethics Yearbook Series provides interested parties with analyses of how such issues as new reproductive techniques, abortion, maternal-fetal conflicts, care of serio...

In this book, we talk about many of the tools and techniques of qual­ ity. These tools are easy to learn. So you can better see where the tools of quality fit in your service business, we will first talk about what it takes to become a quality organization. THE NEED In many manufacturing industries worldwide, quality is a major strat­ egy for gaining the competitive edge. Quality in the Japanese auto indus­ try, for example, means the quality ...

Die Erkrankungsrisiken f}r Schlaganf{lle, Herzinfarkte und Krebs sind in europ{ischen L{ndern sehr unterschiedlich. Der Zusammenhang zwischen Risikofaktoren wie Rauchen, Alkohol- konsum, falscher Ern{hrung und Lebenserwartung in verschie- denen Regionen f}hrt zu einer gesundheitspolitischen Dis- kussion um Vorsorgeuntersuchungen und Pr{vention.

With the increasing awareness of environmental problems, there is a growing desire for a de¬tailed understanding of superficial deposits in general, and glacial deposits in particular

Examines the relationship of a major Soviet writer and his environment.

It is many years since Landin, Burge and others showed us how to apply higher order techniques and thus laid some foundations for modern functional programming. The advantage of higher order descriptions - that they can be very succinct and clear - has been percolating through ever since. Current research topics range from the design, implementation and use of higher order proof assistants and theorem provers, through program specification and...

In recent years a vast literature has been produced on the feasibility of Artificial Intelligence (AI). The topic most frequently discussed is the concept of intelligence, with efforts to demonstrate that it is or is not transferable to the computer. Only rarely has attention been focused on the concept of the artificial per se in order to clarify what kind, depth and scope of performance (including intelligence) it could support. Apart from t...