springer berlin heidelberg jul 1994 (57 risultati)

Taschenbuch. Condizione: Neu. Neuware -As a generic theorem prover, Isabelle supports a variety of logics. Distinctive features include Isabelle's representation of logics within a meta-logic and the use of higher-order unification to combine inference rules. Isabelle can be applied to reasoning in pure mathematics or verification of computer systems. This volume constitutes the Isabelle documentation. It begins by outlining theoretical aspects and then demonstrates the use in practice. Virtually all Isabelle functions are described, with advice on correct usage and numerous examples. Isabelle's built-in logics are also described in detail. There is a comprehensive bebliography and index. The book addresses prospective users of Isabelle as well as researchers in logic and automated reasoning.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 348 pp. Englisch.

Buch. Condizione: Neu. Neuware -The book contains a comprehensive account of the structure and classification of Lie groups and finite-dimensional Lie algebras (including semisimple, solvable, and of general type). In particular, a modern approach to the description of automorphisms and gradings of semisimple Lie algebras is given. A special chapter is devoted to models of the exceptional Lie algebras. The book contains many tables and will serve as a reference. At the same time many results are accompanied by short proofs. Onishchik and Vinberg are internationally known specialists in their field and well-known for their monograph 'Lie Groups and Algebraic Groups' (Springer-Verlag 1990). This Encyclopaedia volume will be immensely useful to graduate students in differential geometry, algebra and theoretical physics.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 260 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Seit Jahren hat das Internet in der Wissenschaftswelt als Netzwerk für den Daten- und Informationsaustausch große Bedeutung. Auch Firmen erkennen inzwischen den Nutzen eines Anschlusses ans Internet. Parallel zum Wachstum des Internet entstand ein sehr großes Informationsangebot, wodurch dem Benutzer die Auswahl der für ihn relevanten Information erschwert wurde. Das Buch bietet eine praxisorientierte Einführung ins Internet und seine wichtigsten nationalen und internationalen Dienste. Beispielsitzungen erläutern deren wesentliche Aspekte. Es eignet sich als Nachschlagewerk, aber auch als Informationsquelle über aktuelle Entwicklungen im Internet.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 392 pp. Deutsch.

Taschenbuch. Condizione: Neu. Neuware -In Grenzfragen wird die Medizin - und somit auch das Pflegepersonal - stets von neuem auf den Prüfstand gestellt, insbesondere auf der Intensivstation, bei der Betreuung Sterbender auf der Aids-Station, in der Gynäkologie ('Erlanger Baby'), bei der Erarbeitung von Pflegestandards in Klinik und Altenheim. Das Autorenteam setzt sich zusammen aus Schwestern, Pflegern, Ärzten, Theologen und Soziologen. Anhand von Beispielen geben sie Einblick in die Fachdiskussion zwischen Ethik und Medizin und verknüpfen dies mit dem arbeitsorganisatorischen Hintergrund pflegerischer Tätigkeit. Damit wird die Pflege ernst genommen im Spannungsfeld von Berufsausübung ('Burnout', Arbeitsbelastung) und ethischen Anforderungen im pflegerischen Alltag.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 280 pp. Deutsch.

Taschenbuch. Condizione: Neu. Neuware -- Nach Verletzungen kann eine Kontaktallergie z.B. in der Folge von Osteosynthesen entstehen oder klinisch manifestiert werden. Die medizinisch-fachliche und versicherungsrechtliche Diskussion um die neuen Berufskrankheiten Nr. 2108 bis 2110 hat seit deren Einführung an Aktualität noch zugenommen. Das Widerspruchsverfahren ist ein Beispiel dafür, daß sich das Informationsbedürfnis nicht auf Patienten beschränkt. Verfahrensabläufe und deren Ergebnisse dienen der fachlichen Orientierung der ärztlichen Gutachter und geben Hinweise auf sozialpolitische Entwicklungen. Die Transparenz und die Fragen der Qualitätssicherung gewinnen auch in Verbindung mit der Öffentlichkeitsarbeit eine zunehmende Bedeutung.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 344 pp. Deutsch.

Buch. Condizione: Neu. Neuware -Die Steuersysteme im 19. Jahrhundert entstanden im Gefolgeder neuen liberalen Grundlagenphilosophie von 1789 und dendamit verbundenen neuen Staatsordnungen. Sie l|sten diealten feudalen Abgaben und Dienste ab. Von Frankreichausgehend, entwickelte sich in den meisten mittel- unds}deurop{ischen Staaten der Typ der direkten objektivenErtragsteuern. Sie sollten die Individuen vor staatlicherSteuerwillk}r besonders gut sch}tzen. Wegen ihrerSchwerf{lligkeit gegen}ber [nderungen konnten diese Steuernjedochdie wirtschaftlichen und gesellschaftlichen Folgender Industrialisierung nur ungen}gend aufnehmen. DieErtragsteuern wurden abgel|st durch den revolution{r neuenTyp der englischen subjektiven Einkommensteuer, die bereits1799 als au~erordentliche Kriegssteuer entwickelt wordenwar. Die preu~ische Einkommensteuer von 1891 blieb f}rDeutschland bis heute richtungweisend. Die beweglicheEinkommensteuer pa~te sich den Wechseln derIndustrialisierung ebenso elastisch an wie den sich{ndernden Staatszwecken: vom liberalen Nachtw{chterstaatden es im w|rtlichen Sinne kaum gegeben hat, hin zumRechts-, Lenkungs- und Sozialstaat. Die Steuer wurde zueinem bevorzugten Instrument der Innenpolitik. DieStaatshaushalte zeigen diese [nderungen und diemilit{rischen Auseinandersetzungen der europ{ischen Staatenmit gro~er Deutlichkeit bei ihren Einnahmen und Ausgaben. 268 pp. Deutsch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book develops a theory of extrapolation spaces with applications to classical and modern analysis. Extrapolation theory aims to provide a general framework to study limiting estimates in analysis. The book also considers the role that optimal decompositions play in limiting inequalities incl. commutator estimates. Most of the results presented are new or have not appeared in book form before. A special feature of the book are the applications to other areas of analysis. Among them Sobolev imbedding theorems in different contexts including logarithmic Sobolev inequalities are obtained, commutator estimates are connected to the theory of comp. compactness, a connection with maximal regularity for abstract parabolic equations is shown, sharp estimates for maximal operators in classical Fourier analysis are derived. 180 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -In three chapters on Exponential Martingales, BMO-martingales, and Exponential of BMO, this book explains in detail the beautiful properties of continuous exponential martingales that play an essential role in various questions concerning the absolute continuity of probability laws of stochastic processes. The second and principal aim is to provide a full report on the exciting results on BMO in the theory of exponential martingales. The reader is assumed to be familiar with the general theory of continuous martingales. 108 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book is the fruit of lectures given during the symposium 'Proteolytic Enzymes and Wound Healing' at the Joint Meet ing of the Wound Healing Society and the European Tissue Repair Society held in Amsterdam, August 22-25, 1993. Look ing back, we can conclude with satisfaction that the meeting was a great success, with regard to both the number of partici pants and the scientific level. Enormous progress is being made in the field of wound heal ing and tissue repair. It was therefore of prime importance that one fundamental aspect in the healing of chronic wound- the proteolytic debridement of tissue necrosis - be given thorough attention during the above-mentioned symposium. Renowned authors dealt with the various aspects of proteoly tic enzymes and wound healing, so that a unique overview was given. The lectures were written up and arranged into the various chapters of this book, which should provide the reader with a practical guide in understanding and treating necrotic wounds. Wiete Westerhof, M. D., Ph. D. President of the Organizing Committee of the Joint Meeting of the Wound Healing Society and the European Tissue Repair Society Contents Pathobiology of Necrosis P. K. Das and W. Westerhof. . . 116 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -As a generic theorem prover, Isabelle supports a variety of logics. Distinctive features include Isabelle's representation of logics within a meta-logic and the use of higher-order unification to combine inference rules. Isabelle can be applied to reasoning in pure mathematics or verification of computer systems. This volume constitutes the Isabelle documentation. It begins by outlining theoretical aspects and then demonstrates the use in practice. Virtually all Isabelle functions are described, with advice on correct usage and numerous examples. Isabelle's built-in logics are also described in detail. There is a comprehensive bebliography and index. The book addresses prospective users of Isabelle as well as researchers in logic and automated reasoning. 348 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The present monograph is a continuation of Cyvin SJ, Brunvoll J and Cyvin (1991c), a reference to be found in Bibliography. Naturally, the previous volume is cited frequently here. For the sake of brevity, it is referred to as 'Volume I'. References to different chapters, sections or paragraphs are given like Vol. 1-1, 1-1.2 or 1-1.2.2, respectively. Also tables and equations in 'Volume I' are cited; the very last equation therein, for instance, is Vol. I-{9.9). The present text spans from references to organic syntheses or attempted organic syntheses - - to stringent mathematical theorems proved by graph-theoretical methods. Enumerations of coronoid systems is a substantial part of the work. Algebraic methods involving combinatorics and generating functions are employed on one hand, and computer programming on the other. The whole book is supposed to demonstrate a piece of mathematical chemistry, which can be characterized as lying on the 'interfaces between mathematics, chemistry and computer science', a formulation used for the MATH/CHEM/COMP Conferences; d. Cyvin SJ, Brunvoll and Cyvin (1989d) in Bibliography. Financial support to BNC from the Norwegian Council for Science and the Humanities is gratefully acknowledged. 316 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book is the proceedings of the Second Joint European-US Workshop on Applications of Invariance to Computer Vision, held at Ponta Delgada, Azores, Portugal in October 1993.The book contains 25 carefully refereed papers by distinguished researchers. The papers cover all relevant foundational aspects of geometric and algebraic invariance as well as applications to computer vision, particularly to recovery and reconstruction, object recognition, scene analysis, robotic navigation, and statistical analysis. In total, the collection of papers, together with an introductory survey by the editors, impressively documents that geometry, in its different variants, is the most successful and ubiquitous tool in computer vision. 532 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the final versions of a collection of papers presented at the Annual Conference of the European Association for Computer Science Logic, CSL '93, held at Swansea, UK in September 1993.The 21 full papers included were selected from a total of 62 submissions and essentially contribute to the whole area of computer science logic research. They are devoted to such topics as set constraints, lambda calculi, process algebras, program semantics, intuitionistic logics, fixed-point logics, the equivalence problem, Horn clauses, quantifiers, and proof tranformations. 356 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the proceedings of the 12th International Conference of the Entity-Relationship Approach, held in Arlington, Texas in December 1993; it contains the revised versions of 42 papers selected for presentation at the conference from a total of 87 submissions.The volume presents many of the most important results on the ERA published since the predecessor conference ER '92. It is organized in sections on object-oriented models, query languages, applications of the ER model, knowledge-based modeling, data modeling, schema integration, reuse and reengineering, integrating ER and object-orientation, conceptual clustering, modeling time and data semantics. 548 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains thoroughly refereed versions of the best papers presented at the 4th European Workshop on Modelling Automomous Agents in a Multi-Agent World, held July 29 - 31, 1992 in S. Martino al Cimino, Italy.The book opens with an introductory survey by the volume editors not only on the collection of papers but also on the history and present situation of Distributed Artificial Intelligence (DAI) and its interdisciplinary relations to social sciences, artificial life, and economics. The 19 technical papers are organized into sections on artificial life and reactive systems, economics and game theory, coordination and multi-agent planning, and DAI tools and applications. 364 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume comprises a collection of papers presented at the Workshop on Information Protection, held in Moscow, Russia in December 1993. The 16 thoroughly refereed papers by internationally known scientists selected for this volume offer an exciting perspective on error control coding, cryptology, and speech compression. In the former Soviet Union, research related to information protection was often shielded from the international scientific community. Therefore, the results presented by Russian researchers and engineers at this first international workshop on this topic are of particular interest; their work defines the cutting edge of research in many areas of error control, cryptology, and speech recognition. 136 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The biota of the earth is being altered at an unprecedented rate. We are witnessing wholesale exchanges of organisms among geographic areas that were once totally biologically isolated. We are seeing massive changes in landscape use that are creating even more abundant succes sional patches, reductions in population sizes, and in the worst cases, losses of species. There are many reasons for concern about these trends. One is that we unfortunately do not know in detail the conse quences of these massive alterations in terms of how the biosphere as a whole operates or even, for that matter, the functioning of localized ecosystems. We do know that the biosphere interacts strongly with the atmospheric composition, contributing to potential climate change. We also know that changes in vegetative cover greatly influence the hydrology and biochemistry ofa site or region. Our knowledge is weak in important details, however. How are the many services that ecosystems provide to humanity altered by modifications of ecosystem composition Stated in another way, what is the role of individual species in ecosystem function We are observing the selective as well as wholesale alteration in the composition of ecosystems. Do these alterations matter in respect to how ecosystems operate and provide services This book represents the initial probing of this central ques tion. It will be followed by other volumes in this series examining in depth the functional role of biodiversity in various ecosystems of the world. 556 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -In three chapters on Exponential Martingales, BMO-martingales, and Exponential of BMO, this book explains in detail the beautiful properties of continuous exponential martingales that play an essential role in various questions concerning the absolute continuity of probability laws of stochastic processes. The second and principal aim is to provide a full report on the exciting results on BMO in the theory of exponential martingales. The reader is assumed to be familiar with the general theory of continuous martingales.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 108 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book develops a theory of extrapolation spaces with applications to classical and modern analysis. Extrapolation theory aims to provide a general framework to study limiting estimates in analysis. The book also considers the role that optimal decompositions play in limiting inequalities incl. commutator estimates. Most of the results presented are new or have not appeared in book form before. A special feature of the book are the applications to other areas of analysis. Among them Sobolev imbedding theorems in different contexts including logarithmic Sobolev inequalities are obtained, commutator estimates are connected to the theory of comp. compactness, a connection with maximal regularity for abstract parabolic equations is shown, sharp estimates for maximal operators in classical Fourier analysis are derived.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 180 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book is the proceedings of the Second International Conference on Conceptual Structures, ICCS '94, held at College Park, Maryland, USA in August 1994.This proceedings presents, on an international scale, up-to- the-minute research results on theoretical and applicational aspects of conceptual graphs, particularly on the use of contexts in knowledge representation. The concept of contexts is highly important for all kinds of knowledge-intensive systems. The book is organized into sections on natural language understanding, rational problem solving, conceptual graph theory, contexts and canons, and data modeling. 348 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Digital signal processing has become more and more an integral part of observational seismology. While it offers unprecedented power in extracting information from seismic signals, it comes at the price of having to learn a variety of new skills. Dealing with digital seismic data requires at least a basic understanding of digital signal processing. Taking the calculation of true ground motion as the guiding problem, this course covers the basic theory of linear systems, the design and analysis of simple digital filters, the effect of sampling and A/D conversion and an introduction to spectral analysis of digital signals. It contains a number of examples and exercises that can be reproduced using the PITSA software package (Scherbaum and Johnson 1993) or similar programs. 176 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the final revised versions of the best papers presented at the First International Workshop on Higher-Order Algebra, Logic, and Term Rewriting (HOA '93), held in Amsterdam in September 1993. Higher-Order methods are increasingly applied in functional and logic programming languages, as well as in specification and verification of programs and hardware. The 15 full papers in this volume are devoted to the algebra and model theory of higher-order languages, computational logic techniques including resolution and term rewriting, and specification and verification case studies; in total they provide a competently written overview of current research and suggest new research directions in this vigourous area. 360 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This three-part monograph addresses topics in the areas of control systems, signal processing and neural networks. Procedures and results are determined which constitute the first successful synthesis procedure for associative memories by means of artificial neural networks with arbitrarily pre-specified full or partial interconnecting structure and with or without symmetry constraints for the connection matrix. 212 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -The biota of the earth is being altered at an unprecedented rate. We are witnessing wholesale exchanges of organisms among geographic areas that were once totally biologically isolated. We are seeing massive changes in landscape use that are creating even more abundant succes sional patches, reductions in population sizes, and in the worst cases, losses of species. There are many reasons for concern about these trends. One is that we unfortunately do not know in detail the conse quences of these massive alterations in terms of how the biosphere as a whole operates or even, for that matter, the functioning of localized ecosystems. We do know that the biosphere interacts strongly with the atmospheric composition, contributing to potential climate change. We also know that changes in vegetative cover greatly influence the hydrology and biochemistry ofa site or region. Our knowledge is weak in important details, however. How are the many services that ecosystems provide to humanity altered by modifications of ecosystem composition Stated in another way, what is the role of individual species in ecosystem function We are observing the selective as well as wholesale alteration in the composition of ecosystems. Do these alterations matter in respect to how ecosystems operate and provide services This book represents the initial probing of this central ques tion. It will be followed by other volumes in this series examining in depth the functional role of biodiversity in various ecosystems of the world.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 556 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This three-part monograph addresses topics in the areas of control systems, signal processing and neural networks. Procedures and results are determined which constitute the first successful synthesis procedure for associative memories by means of artificial neural networks with arbitrarily pre-specified full or partial interconnecting structure and with or without symmetry constraints for the connection matrix.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 212 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This volume contains thoroughly refereed versions of the best papers presented at the 4th European Workshop on Modelling Automomous Agents in a Multi-Agent World, held July 29 - 31, 1992 in S. Martino al Cimino, Italy.The book opens with an introductory survey by the volume editors not only on the collection of papers but also on the history and present situation of Distributed Artificial Intelligence (DAI) and its interdisciplinary relations to social sciences, artificial life, and economics. The 19 technical papers are organized into sections on artificial life and reactive systems, economics and game theory, coordination and multi-agent planning, and DAI tools and applications.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 364 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Digital signal processing has become more and more an integral part of observational seismology. While it offers unprecedented power in extracting information from seismic signals, it comes at the price of having to learn a variety of new skills. Dealing with digital seismic data requires at least a basic understanding of digital signal processing. Taking the calculation of true ground motion as the guiding problem, this course covers the basic theory of linear systems, the design and analysis of simple digital filters, the effect of sampling and A/D conversion and an introduction to spectral analysis of digital signals. It contains a number of examples and exercises that can be reproduced using the PITSA software package (Scherbaum and Johnson 1993) or similar programs.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 176 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This volume contains the final revised versions of the best papers presented at the First International Workshop on Higher-Order Algebra, Logic, and Term Rewriting (HOA '93), held in Amsterdam in September 1993. Higher-Order methods are increasingly applied in functional and logic programming languages, as well as in specification and verification of programs and hardware. The 15 full papers in this volume are devoted to the algebra and model theory of higher-order languages, computational logic techniques including resolution and term rewriting, and specification and verification case studies; in total they provide a competently written overview of current research and suggest new research directions in this vigourous area.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 360 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book is the proceedings of the Second Joint European-US Workshop on Applications of Invariance to Computer Vision, held at Ponta Delgada, Azores, Portugal in October 1993.The book contains 25 carefully refereed papers by distinguished researchers. The papers cover all relevant foundational aspects of geometric and algebraic invariance as well as applications to computer vision, particularly to recovery and reconstruction, object recognition, scene analysis, robotic navigation, and statistical analysis. In total, the collection of papers, together with an introductory survey by the editors, impressively documents that geometry, in its different variants, is the most successful and ubiquitous tool in computer vision.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 532 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This volume comprises a collection of papers presented at the Workshop on Information Protection, held in Moscow, Russia in December 1993. The 16 thoroughly refereed papers by internationally known scientists selected for this volume offer an exciting perspective on error control coding, cryptology, and speech compression. In the former Soviet Union, research related to information protection was often shielded from the international scientific community. Therefore, the results presented by Russian researchers and engineers at this first international workshop on this topic are of particular interest; their work defines the cutting edge of research in many areas of error control, cryptology, and speech recognition.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 136 pp. Englisch.