springer us springer us aug 1993 (13 Ergebnisse)

Buch. Zustand: Neu. Neuware -There are several theories of programming. The first usable theory, often called 'Hoare's Logic', is still probably the most widely known. In it, a specification is a pair of predicates: a precondition and postcondition (these and all technical terms will be defined in due course). Another popular and closely related theory by Dijkstra uses the weakest precondition predicate transformer, which is a function from programs and postconditions to preconditions. lones's Vienna Development Method has been used to advantage in some industries; in it, a specification is a pair of predicates (as in Hoare's Logic), but the second predicate is a relation. Temporal Logic is yet another formalism that introduces some special operators and quantifiers to describe some aspects of computation. The theory in this book is simpler than any of those just mentioned. In it, a specification is just a boolean expression. Refinement is just ordinary implication. This theory is also more general than those just mentioned, applying to both terminating and nonterminating computation, to both sequential and parallel computation, to both stand-alone and interactive computation. And it includes time bounds, both for algorithm classification and for tightly constrained real-time applications.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 260 pp. Englisch.

Buch. Zustand: Neu. Neuware -This book provides an account of those parts of contemporary set theory of direct relevance to other areas of pure mathematics. The intended reader is either an advanced-level mathematics undergraduate, a beginning graduate student in mathematics, or an accomplished mathematician who desires or needs some familiarity with modern set theory. The book is written in a fairly easy-going style, with minimal formalism. In Chapter 1, the basic principles of set theory are developed in a 'naive' manner. Here the notions of 'set', 'union', 'intersection', 'power set', 'rela tion', 'function', etc., are defined and discussed. One assumption in writing Chapter 1 has been that, whereas the reader may have met all of these 1 concepts before and be familiar with their usage, she may not have con sidered the various notions as forming part of the continuous development of a pure subject (namely, set theory). Consequently, the presentation is at the same time rigorous and fast.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 208 pp. Englisch.

Buch. Zustand: Neu. Neuware -Based on lectures given at Claremont McKenna College, this text constitutes a substantial, abstract introduction to linear algebra. The presentation emphasizes the structural elements over the computational - for example by connecting matrices to linear transformations from the outset - and prepares the student for further study of abstract mathematics. Uniquely among algebra texts at this level, it introduces group theory early in the discussion, as an example of the rigorous development of informal axiomatic systems.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 260 pp. Englisch.

Buch. Zustand: Neu. Neuware -About This Book This book is meant to be used by beginning graduate students. It covers basic material needed by any student of algebra, and is essential to those specializing in ring theory, homological algebra, representation theory and K-theory, among others. It will also be of interest to students of algebraic topology, functional analysis, differential geometry and number theory. Our approach is more homological than ring-theoretic, as this leads the to many important areas of mathematics. This ap student more quickly proach is also, we believe, cleaner and easier to understand. However, the more classical, ring-theoretic approach, as well as modern extensions, are also presented via several exercises and sections in Chapter Five. We have tried not to leave any gaps on the paths to proving the main theorem- at most we ask the reader to fill in details for some of the sideline results; indeed this can be a fruitful way of solidifying one's understanding.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 244 pp. Englisch.

Buch. Zustand: Neu. Neuware -Drawing on the TEACCH program's twenty years of experience in clinical services, education, and research, this volume synthesizes some of the most important theory and data related to the early identification and intervention in autism and related disorders. Chapters addressing clinical aspects, parental concerns, and legal issues will be useful in helping professionals understand and implement state-of-the-art services for young children and their families.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 300 pp. Englisch.

Buch. Zustand: Neu. Neuware -BY H. KOPETZ A real-time computer system must provide the intended service in two di mensions: the functional (value) dimension and the temporal dimension. The verification of a real-time system implementation is thus necessarily more com plex than the verification of a non-real-time system which has to be checked in the value dimension only. Since the formal verification techniques of temporal properties have not yet matured to the point where these techniques can be used in practical system development, systematic design and testing are the only alternatives for the development of dependable real-time systems. At present, up to and more than fifty percent of the development eff'ort of complex real-time computer systems is spent on testing. The test activities are thus a significant cost element in any real-time system project. The attack on this cost element has to proceed from two fronts: the design for testability and the development of a systematic test methodology supported by an appropriate tool set. This book covers both of these topics.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 164 pp. Englisch.

Buch. Zustand: Neu. Neuware -In any study of hermit crabs, correct identification to species level is of considerable importance. Whereas a number of identification guides to this group have been published during the last 50 years, none can be considered comprehensive enough for identifying all species inhabiting the Northeastern Atlantic Ocean and Mediterranean sea. The present guide is the first of its kind to provide taxonomic keys to all known species from these regions. Detailed illustrations, synonyms, taxonomic descriptions and distributions are given for all species belonging to the Diogenidae and Paguridae; these families include the majority of the species. The various specialized terms used in hermit crab taxonomy are fully explained and illustrated and a comprehensive bibliography is provided to papers relevant to the regions.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 194 pp. Englisch.

Buch. Zustand: Neu. Neuware -This easy-to-follow manual describes tested procedures used to prepare biological samples for scanning and transmission electron microscopy, as well as methods for cytochemistry, immunocytochemistry, and scientific photography. The work is structured to clearly define testing objectives, necessary materials, procedural steps, and expected results; a list of references and trouble shooting techniques round out the text.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 272 pp. Englisch.

Buch. Zustand: Neu. Neuware -Three days in Madison have thoroughly modified my view on clostridial neurotoxins. While still realizing the numerous activating, modifying and protective inputs, I cannot judge the meaningfulness of the meeting impartially. Neither may the reader expect a complete summary of all presentations. Collected in this volume, they speak for themselves without requiring an arbiter. Instead I shall write down my very personal opinions as a researcher who has studied clostridial neurotoxins for nearly 25 years. Comparable conferences have been rare during this time. A comprehensive symposium 4 on C. botulinum neurotoxins has been organized at Ft. Detrick. International conferences on tetanus have been held regularly under the auspices of the Wodd Health Organization. One or maximally two days of these meetings have been devoted to tetanus toxin and its actions whereas the sponsor and the majority of the participants have been interested mainly in epidemiology, prevention and treatment of tetanus as a disease (see refs. 5,6). Some aspects of clostridial neurotoxins have been addressed in the context of bacterial toxins, in particular in the biennial European workshops. 1-3,7,8 The Madison meeting differed from the previous ones in three aspects. First, it covered both tetanus and botulinum neurotoxins. The fusion was justified because of their huge similarities in primary structure, in their mode of action and in their cellular targets. Second, the meeting was not limited to toxins but drew some lines on which modern neurobiology might proceed.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 712 pp. Englisch.

Buch. Zustand: Neu. Neuware -This is Robert Fried's third book on the crucial role of breathing and hyperventilation in our emotional and physical health. The first, The Hyperventilation Syndrome (1987), was a scholarly monograph, and the second, The Breath Connection (1990a), was a popular version for the lay reader. This book combines the best features of both and extends Dr. Fried's seminal work to protocols for clinical psychophysiology and psy chiatry. Hoping to avoid misunderstanding, he has taken systematic care to introduce relevant electrical, physiological, and psychological concepts in operational language for the widest possible professional audience. Any clinician not thoroughly experienced in respiratory psycho physiology and biofeedback will leave these pages with profound new insight and direction into an aspect of our liveswhich we innocently take for granted as 'common sense'-the role of breathing in health and illness. Einstein viewed such common sense as 'that set of prejudices we acquired prior to the age of eighteen.' I am impressed that Dr. Fried mirrors Einstein's uncanny genius in not accepting the obvious breathing is not 'common sense' but, rather, is a pivotal psycho physiological mechanism underlying all aspects of life.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 404 pp. Englisch.

Buch. Zustand: Neu. Neuware -This Handbook is a new comprehensive reference of the methodologies (field, laboratory and desk work) for using radionuclides, primarily 137Cs and210Pb, to establish rates and spatial patterns of soil redistribution within the landscape and determine the geochronology of sediment deposits. It is based on the recent developments made by a global network of research scientists working on soil erosion and sedimentation research using environmental radionuclides.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 730 pp. Englisch.

Buch. Zustand: Neu. Neuware - Nature is totally amoral! There are at least 3-4 million people in France alone who suffer from arterial hypertension, and whose cardiovascular system is submitted day and night to both a haemodynamic and hormonal stress. In all cases, the vasculature hypertrophies as does the myocardium. This growth process is obviously mainly detrimental at the outset since it lowers compliance of the arteries and makes them stiffer. In contrast, myocardial hypertrophy is initially beneficial since the growth process multiplies the number of contractile units and by so doing improves external work. In addition, according to Starling's law, wall stress is lowered. Growth factors playa major role in this amoral process as a trigger for hypertrophy at the vascular level, and very likely at the level of the myocardium. Another major point of interest is the role of growth factors as determinants of restenosis after angioplasty and also of atherogenesis. Several chapters in this book are directly or indirectly concerned with this problem which is far from being purely academic since several groups are currently trying to control these processes by gene transfer. Certainly, one of the major clinical questions arising from such studies is why restenosis is not more frequent in clinical practice. After de-endotheliazation, the biologist would predict on the basis of recent studies on growth factors, and in contrast with current clinical opinion, that hypertrophy would occur in all cases with more or less complete restenosis.

Buch. Zustand: Neu. Neuware -A Practitioner's Handbook for Real-Time Analysis: Guide to Rate Monotonic Analysis for Real-Time Systems contains an invaluable collection of quantitative methods that enable real-time system developers to understand, analyze, and predict the timing behavior of many real-time systems. The methods are practical and theoretically sound, and can be used to assess design tradeoffs and to troubleshoot system timing behavior. This collection of methods is called rate monotonic analysis (RMA).The Handbook includes a framework for describing and categorizing the timing aspects of real-time systems, step-by-step techniques for performing timing analysis, numerous examples of real-time situations to which the techniques can be applied, and two case studies.A Practitioner's Handbook for Real-Time Analysis: Guide to Rate Monotonic Analysis for Real-Time Systems has been created to serve as a definitive source of information and a guide for developers as they analyze and design real-time systems using RMA. The Handbook is an excellent reference, and may be used as the text for advanced courses on the subject. 712 pp. Englisch.