springer berlin heidelberg apr 1992 (89 résultats)

Taschenbuch. Etat : Neu. Neuware -Those interested in the relationships between psychological and physiological functions will again and again be impressed by the fact that great individual differences and large situational variability are manifested in psychophysiological data. Psychophysiology from a differential perspective has been an enduring theme throughout the history of personality and temperament research. However, the present book is the first to bear the word differential in its title. Actually, this monography is not only concerned with psychophysiological personality research, but with a much broader program of systematic investigation. Multivariate research methodology permits one to operationalize physiological response profiles, both with regard to lasting differences between persons and the discrimination of situations. In order to determine functional relationships between person characteristics and situational demands, that is, to determine the processes of stimulus-response mediation, one first needs to systemize these various sources of variance in assessment models and subsequently partition the observed covariance. A series of the author's own investigations in the Hamburg and Freiburg laboratories shows just how fruitful this research approach can be.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 416 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -Modern Methods in Analytical Acoustics considers topics fundamental to the understanding of noise, vibration and fluid mechanisms. The series of lectures on which this material is based began by some twenty five years ago and has been developed and expanded ever since. Acknowledged experts in the field have given this course many times in Europe and the USA. Although the scope of the course has widened considerably, the primary aim of teaching analytical techniques of acoustics alongside specific areas of wave motion and unsteady fluid mechanisms remains. The distinguished authors of this volume are drawn from Departments of Acoustics, Engineering of Applied Mathematics in Berlin, Cambridge and London. Their intention is to reach a wider audience of all those concerned with acoustic analysis than has been able to attend the course.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 760 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -Es bleiben nicht viele Wege und nicht viel Zeit, die sich immer deutlicher ab zeichnende globale Gefahrdung, vor der seit nun tiber 30 lahren gewarnt wird, abzuwenden. Oberstes Gebot muB eine bewuBtere Nutzung des nicht vermehr baren Naturraums sein, die auf sparsamen und schonenden Umgang mit den Ressourcen ausgerichtet ist, urn die Auswirkungen der bisherigen Schaden zu begrenzen und ktinftige Schaden moglichst gering zu halten. Dazu benotigen wir Bestandsaufnahmen, urn Ursachen, Art und AusmaB der Schadigungen abschatzen zu konnen. So, wie der Kriminologe versucht, die Hintergrtinde der des weltweiten Tat und den Tathergang zu ermitteln, mtissen die Auswirkungen fahrlassigen Umganges mit der Erde systematisch studiert werden. Bereits die bisher vorgenommenen Untersuchungen zu den Veranderungen auf unserem Planeten lieBen erkennen, daB die gesamte Erde als 'Tatort' zu betrachten ist. Die Erfassungsmethoden fUr die Umweltveranderungen wurden laufend verfei nert, aber das AusmaB und die Geschwindigkeit der Veranderungen haben sich kaum verringert. Zu viele, im einzelnen vielleicht unscheinbare Einzeltaten summieren sich zu den inzwischen untibersehbaren globalen Folgen. GroBe Hoffnungen werden nun z. B. an die neue Weltklimakonvention ge kntipft. Doch was kann der einzelne zur Verbesserung der Situation beitragen Wir denken, nur wenn jeder einzelne bei sich anfangt, in seiner unmittelbaren Umgebung, in seinem personlichen Verantwortungsbereich alles Handeln kri tisch zu prtifen und auf umweltschadigende Handlungen weitgehend zu ver zichten, kann es gelingen, die Folgen zu begrenzen.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 316 pp. Deutsch.

Taschenbuch. Etat : Neu. Neuware -In diesem Buch wird dargelegt, wie die bew{hrten Methoden der Betriebsfestigkeit in der Konstruktionspraxis f}r einen rechnerischen Betriebsfestigkeits-Nachweis genutzt werden k|nnen und unter welchen Voraussetzungen und mit welchem Grad der Verl{~lichkeit sie anwendbar sind. Der Begriff Be- triebsfestigkeit wird dabei als Oberbegriff verstanden, der die Begriffe Dauerfestigkeit und Zeitfestigkeit als Sonder- f{lle einschlie~t. Das Thema wird, zugunsten einer sinnf{lligen Gliederung des Stoffs, allein nach dem traditionellen Nennspannungs-Konzept abgehandelt, aber Querverweise auf die neueren Betrachtungs- weisen nach dem Kerbgrund-Konzept oder nach dem Bruchmecha- nik-Konzept werden gegeben. Ausf}hrlich dargestellt wird auch, wie das Konzept eines Betriebsfestigkeits-Nachweises in die Konstruktionspraxis umzusetzen ist. Diese Darstellung orientiert sich an einer aufgezeigten Leitlinie der abzuhan- delnden Teilaufgaben sowie an Erfordernissen einer neuzeit- lichen Konstruktionsmethodik. Unmittelbar anwendungsrelevante Informationen werden in der erforderlichen Ausf}hrlichkeit dargeboten, jedoch unter Ver- zicht auf weitergehende Einzelheiten und theoretische Her- leitungen zu den experimentellen und rechnerischen Verfah- ren. Sachfragen werden vom Autor so beantwortet, da~ keine widerspr}chlichen Ansichten und Befunde unbewertet nebenein- anderstehen und den Leser verunsichern.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 216 pp. Deutsch.

Taschenbuch. Etat : Neu. Neuware -Das vorliegende Buch enth{lt die Proceedings einer Tagung der Konferenz der Akademien der Wissenschaften in der Bundesrepublik Deutschland. Ziel der Tagung war es, M|glich- keiten, Hindernisse und Chancen der Zusammenarbeit zwischen Industrie und Wissenschaft sowie die Rolle der Politik, Gesetzgebung und ffentlichkeit grunds{tzlich zu diskutieren und neue Anregungen unter Ber}cksichtigung der besonderen aktuellen Situation in Deutschland zu geben. In dem Buch wurden Diskussionsbeitr{ge von Vertretern von Wissenschaftsinstitutionen, der forschenden Industrie, den Medien und Wissenschaftsphilosophen mit aufgenommen. Dabei ging es nicht nur um Formen der Forschungsf|rderung, sondern auch um die Darstellung der Zusammenarbeit von Wissenschaft und Industrie im Lichte der ffentlichkeit.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 124 pp. Deutsch.

Taschenbuch. Etat : Neu. Neuware -Das vorliegende Buch ist eine gelungene Synthese aus der komplexeren Grundlagenwissenschaft - ohne deren Mitwirken die Mechanismen des Herzversagens nicht verstehbar w{ren -, unmittelbarer klinischer Entscheidungshilfe (Diagnostik/Differentialdiagnostik) und zeitgem{~en Therapieempfehlungen. Der Einstieg in die Thematik geschieht mit der Darstellung der unkomplizierteren diagnostischen Schritte, die auch das Bem}hen um rationale Entscheidungsfindung beinhalten. Die in sich schon kompliziertere Differentialtherapie wird anhand von Stufenpl{nen geordnet und im Spiegel aktueller Literatur begr}ndet. Der bew{hrte ']berblick f}r die Praxis' bietet dem Leser kapitelweise das Wesentliche zurschnellen Orientierung an. Dieses Buch d}rfte gegenw{rtig die beste ]bersicht vermitteln }ber die im {rztlichen Alltag relevanten Probleme bei der Herzinsuffizienz. F}r [rzte und PJ-Studenten der genannten Fachgebiete in Klinik und Praxis MonographieSpringer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 280 pp. Deutsch.

Taschenbuch. Etat : Neu. Neuware -Die vorliegende Arbeit entstand während meiner Tätigkeit als wissenschaftlicher Mitarbeiter am Institut für Steuerungs technik der werkzeugmaschinen und Fertigungseinrichtungen der Universität Stuttgart. Mein besonderer Dank gilt Herrn Professor Dr. - Ing. A. Storr, der durch seine eingehende Durchsicht und die damit verbundenen wertvollen Hinweise ganz wesentlich zu dem Gelingen der Arbeit beigetragen hat. Herrn Prof. Dr. - Ing. R. Lauber danke ich für die Übernahme des Mitberichts. Allen Mitarbeitern der Gruppe 2. 1, insbesondere Herrn Dipl. Ing. J. Schneider, sowie Herrn Dr. - Ing. M. Härdtner danke ich für Anregungen und Diskussionen während meiner Insti tutszeit. Gregor Diehl - 7 - Inhaltsverzeichnis 5 Abkürzungen Formelzeichen und Symbole 6 1 Einleitung 7 1. 1 Problemstellung 7 1. 2 9 Begriffsdefinitionen 1. 2. 1 Stellglied, Aktor, Aktorik 9 1. 2. 2 10 Fehler, Störung, Ausfall 1. 2. 3 Diagnosesystem, Diagnose, Überwachung, Fehl- lokalisierung und -anzeige, Reaktion 10 1. 2. 4 Überwachungsmethode, Überwachungsverfahren 11 1. 2. 5 Diagnosebereiche an einer Fertigungseinrichtung 11 Z Stand der Technik 13 2. 1 Fehleranalyse an Fertigungseinrichtungen 13 2. 2 Folgerungen aus der Stördatenanalyse 18 2. 3 Verfahren zur Überwachung und Diagnose von steuerungsexternen Fehlern 19 2. 3. 1 Bekannte Überwachungs verfahren 20 2. 3. 2 Lösungen aus sicherheitsgerichteten Bereichen 24 2. 3. 2. 1 25 Programmtechnische Verfahren 2. 3. 2. 2 25 Gerätetechnische Verfahren 2. 3. 3 Bewertung der Verfahren zur Fehlererkennung und -diagnose sowie von Lösungen aus der - cherheitstechnik 27 2.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 160 pp. Deutsch.

Taschenbuch. Etat : Neu. Neuware -Die in diesem Buch beschriebene Arbeit ist im Umfeld dernat}rlichsprachlichen Beschreibung von Bildfolgenangesiedelt, einemTeilbereich des Aufgabengebietes'Kopplung von bildverstehenden und sprachverstehendenSystemen'. In diesem Bereich hat man sich bisher nur mit derErkennung und Beschreibung von Objekten sowie derenr{umlichen Relationen und Bewegungen, also mitraum-zeitlichen Aspekten, besch{ftigt. Diese Beschr{nkungwird hier }berwunden. Unter der Annahme, da~ das beobachteteVerhalten zielgerichtet ist, kann unter Zuhilfenahme vongeeigneten Verarbeitungsverfahren und von Hintergrundwissenmehr Information aus Szenenfolgen extrahiert werden als nur}ber Eigenschaften und Bewegungen von Objekten. Es k|nnenintentionale Entit{ten wie Pl{ne, Intentionen, Interaktionenzwischen mehreren Akteuren, das Fehlschlagen von Pl{nensowie dessen Ursachen erkannt werden.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 184 pp. Deutsch.

Taschenbuch. Etat : Neu. Neuware -Dieser Band 2 der Reihe Mikrocomputer-Forum f}r Bildung undWissenschaft enth{lt die }berarbeiteten Beitr{ge zum 3.CIP-Status-Kongre~ im Produktionstechnischen Zentrum der TUund der Fraunhofer-Gesellschaft, Berlin 1989. DieNutzanwendung des Computer-Investitionsprogramms wurde unterreger Beteiligung der Wissenschaftsverwaltungen und derIndustrie von allen Fachrichtungen der Hochschulen allerBundesl{nder eindrucksvoll dokumentiert.Das vielseitige Vortragsprogramm bot neben eingeladenenVortr{gen sowie Hochschul-Softwarem{rkten undProduktvorstellungen der DV-Industrie Gespr{chskreise undRahmenveranstaltungen zu folgenden Themenbereichen:Softwareb|rsen, Hochschul- und Standardsoftware; MethodikLern- und Autorensysteme; Vernetzung; Betriebssysteme;Ingenieurwissenschaften, Architektur und Design; Rechtsund Wirtschaftswissenschaften; Medizin; CIP - kontrovers ;Multimedia f}r die Lehre Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 780 pp. Deutsch.

Taschenbuch. Etat : Neu. Neuware -Ökologie und Ökonomie: Ihre Integration stellt eine wichtige Aufgabe für Ingenieure heute und in der Zukunft dar. Das Buch liefert eine zusammenfassende Darstellung der Analyse, Bewertung und Nutzung ökologischer Systeme durch den Menschen und seine Technik. Die Notwendigkeit der Einpassung ökonomischer Nutzung in die ökologischen Potentiale und die Grenzen dieser Nutzung werden deutlich gemacht. Der Leser erkennt sehr schnell, daß alle Systeme, auch Ökosysteme, nach relativ einfachen gemeinsamen Grundprinzipien arbeiten, daß jedes aber doch seine besondere Struktur hat, seine eigenen Schwachstellen und Nutzungsoptionen. Der Autor hat das Buch in einer Weise verfaßt, die auch dem Nichtfachmann die Problematik der Nutzung von ökologischen Systemen aufzeigt.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 284 pp. Deutsch.

Taschenbuch. Etat : Neu. Neuware -In dem vorliegenden zweiten Band der Lindauer Texte zur psychotherapeutischen Fort- und Weiterbildung werden 19 Referate der beiden Leitthemen der 4l. Lindauer Psychotherapiewochen und ein erster Bericht tiber ein Projekt zur empiri schen Weiterbildungsforschung in Lindau einem groBeren Leserkreis vorgestellt. Mit den Texten zum Leitthema 'Liebe und Psychotherapie' solI zu einer mog lichst offenen Auseinandersetzung mit den vielfaItigen Aspekten der Liebe, wie sie sich uns in der psychotherapeutischen Situation darstellen, angeregt werden. Die Formen zwischenmenschlicher Beziehungen und die Spielarten der Liebesbeziehungen gehOren zu zentralen Bereichen der psychotherapeutischen Erkundungen und Erfahrungen. Die allgemeinen Problemkreise von Liebe in Partnerschaft und Familie, Liebe und Sex, Liebe und HaG wurden in den Vortragen durch spezifische psychoanalytische Themen wie Selbstliebe, Objektliebe, Ubertragungsliebe, erotisierende Ubertragung, Scham und Perversion und die ent sprechenden theoretischen Konzepte vertieft und durch das Betrachten von ge schlechtstypischen Ubertragungs- und Gegentibertragungsphanomenen und der Semantik der Geschlechter erweitert. Nicht zuletzt geht es in den Texten auch urn behandlungstechnische Fragen zur Abstinenz in der Psychotherapie oder urn die Moglichkeiten einer liebevollen Begegnung in Abstand und Nahe und schlieBlich urn die Liebe zur eigenen Profession. Mit den Texten zum Leitthema 'Der Korper in der Psychotherapie' wird eine Entwicklung angesprochen, die in Lindau schon seit Beginn der 50er Jahre konti nuierlich verfolgt wurde und die auf den vieWiltigen positiven Erfahrungen korper orientierter psychotherapeutischer Behandlungsansatze basiert.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 308 pp. Deutsch.

Taschenbuch. Etat : Neu. Neuware -Die Forschungs- und Entwicklungsaufgaben der Informations- und Kommunikationstechnik werden immer vielschichtiger und komplexer. Vor diesemHintergrund veranstaltete die Deutsche Physikalische Gesellschaft, die Gesellschaft f}r Informatik und die Informationstechnische Gesellschaft im VDE eine Fachtagung, auf der grundlagenorientierte und anwendungsbezogene Schwerpunkte er|rtert wurden. Das breite Themenangebot reicht von Neuen Rechnerprinzipien und Materialien }ber Algorithmen und Architekturen bis hin zum Wissenschaftlichen Rechnen (Computational Science) und zur Simulation von Modellen und Prozessen.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 340 pp. Deutsch.

Buch. Etat : Neu. Neuware -Der D'Ans - Lax ist ein Standardwerk für Naturwissenschaftler; er bietet wichtiges Zahlenmaterial für die tägliche Arbeit. Die vierte Auflage wurde komplett überarbeitet und alle Werte sind nun in SI-Einheiten angegeben. Der erste Band enthält generelle physikalisch-chemische Informationen, der dritte Band wird der Anorganischen Chemie gewidmet sein. Die behandelten Themen wurden nicht verändert, allerdings sind einige Umrechnungstabellen entfallen (z.B. Logarithmentafeln), da heute Taschenrechner weitverbreitet sind. Daten für moderne spektroskopische Methoden wurden zusätzlich aufgenommen.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 792 pp. Deutsch.

Buch. Etat : Neu. Neuware -Flumes Rechtsgeschäft stellt einen Klassiker der Rechtswissenschaft dar und ist ein Standardinstrument für alle, die sich intensiver mit den Kerngebieten des Allgemeinen Teils des Bürgerlichen Rechts beschäftigen wollen und interessiert sind an der dogmatischen Durchdringung der zentralen Figur des Rechtsgeschäfts. Es gibt kein Problem aus dem Bereich der Rechtsgeschäftslehre, das in diesem Buch nicht eingehend behandelt wird. Die Fülle des Materials wird systematisch dargestellt und überzeugt aus der Tradition juristischer Lehren und der im Mittelpunkt des Systems stehenden Werte der Selbstbestimmung und Selbstverantwortung. 'Allen Studenten der Jurisprudenz ist die Lektüre dieses Buches anzuraten. In einer Zeit, in der auch in der Ausbildung die 'technische Fertigkeit', das 'Handwerkszeug' im Vordergrund steht, kann der Wert eines Buches, das Rechtstradition und Rechtskultur vermittelt, gar nicht hoch genug veranschlagt werden.' #Juristische Rundschau#1Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 1004 pp. Deutsch.

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the proceedings of the thirdInternational Workshop on Computer Aided Verification, CAV'91, held in Aalborg, Denmark, July 1-4, 1991. The objectiveof this series of workshops is to bring together researchersand practitioners interested in the development and use ofmethods, tools and theories for automatic verification of(finite) state systems. The workshop provides a uniqueopportunity for comparing the numerous verification methodsand associated verification tools, and the extent to whichthey may be utilized in application design. The emphasis isnot only on new research results but also on the applicationof existing results to real verification problems.The papers in the volume areorganized into sections onequivalence checking, model checking, applications, toolsfor process algebras, the state explosion problem, symbolicmodel checking, verification and transformation techniques,higher order logic, partial order approaches, hardwareverification, timed specification and verification, andautomata. 504 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware 388 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Those interested in the relationships between psychological and physiological functions will again and again be impressed by the fact that great individual differences and large situational variability are manifested in psychophysiological data. Psychophysiology from a differential perspective has been an enduring theme throughout the history of personality and temperament research. However, the present book is the first to bear the word differential in its title. Actually, this monography is not only concerned with psychophysiological personality research, but with a much broader program of systematic investigation. Multivariate research methodology permits one to operationalize physiological response profiles, both with regard to lasting differences between persons and the discrimination of situations. In order to determine functional relationships between person characteristics and situational demands, that is, to determine the processes of stimulus-response mediation, one first needs to systemize these various sources of variance in assessment models and subsequently partition the observed covariance. A series of the author's own investigations in the Hamburg and Freiburg laboratories shows just how fruitful this research approach can be. 416 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume collects the papers accepted for presentation atthe Second European Conference on Computer Vision, held inSanta Margherita Ligure, Italy, May 19-22, 1992. Sixteenlong papers, 41 short papers and 48 posters were selectedfrom 308 submissions.The contributions are structured into 14 sections reflectingthe major research topics in computer vision currentlyinvestigated worldwide. The sections are entitled: features,color, calibration and matching, depth, stereo-motion,tracking, active vision, binocular heads, curved surfacesand objects, reconstruction and shape, recognition, andapplications. 932 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -From Gauss to G|del, mathematicians have sought an efficientalgorithm to distinguish prime numbers from compositenumbers. This book presents a random polynomial timealgorithm for the problem. The methods used are fromarithmetic algebraic geometry, algebraic number theory andanalyticnumber theory. In particular, the theory of twodimensional Abelian varieties over finite fields isdeveloped.The book will be of interest to both researchers andgraduate students in number theory and theoretical computerscience.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 152 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The purpose of this book is to analyse and discuss a seriesof topics related with environmental conservation, land-useplanning and management and impact prevention as seen fromthe perspective of the Earth Sciences, but with an inte-grated, interdisciplinary approach.The contributions included in the book intend to give anoverview of existing problems and trends and to point outcertain lines along which work and/or actions will be par-ticularly needed in the near future. In short, they intendto show where we stand now with regard to those problems andin what direction we should move.Readers will find particularly useful the brief presentationof a variety of important environmental earth science top-ics, the description of the present state of the art and thesuggestions for methodological approaches to solve differentproblems, as well as the guidelines for action presentedthroughout the book. 568 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -This volume collects the papers accepted for presentation atthe Second European Conference on Computer Vision, held in Santa Margherita Ligure, Italy, May 19-22, 1992. Sixteen long papers, 41 short papers and 48 posters were selected from 308 submissions. The contributions are structured into 14 sections reflecting the major research topics in computer vision currently investigated worldwide. The sections are entitled: features, color, calibration and matching, depth, stereo-motion, tracking, active vision, binocular heads, curved surfaces and objects, reconstruction and shape, recognition, and applications. 932 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -This volume includes a selection of papers presented at the GAMM/ IFIP-Workshop on IIStochastic Optimization: Numerical Methods and ll Technical Applications , held at the Federal Armed Forces Univer sity Munich, May 29-31, 1990. The objective of this meeting was to bring together scientists from Stochastic Programming and from those Engineering areas, where Mathematical Programming models are common tools, as e.g. Optimal structural Design, Power Dispatch, Acid Rain Abatement etc . Hence, the aim was to discuss the effects of taking into account the in herent randomness of some data of these problems, i.e. considering Stochastic Programming instead of Mathematical Programming models in order to get solutions being more reliable, but not more expen sive. An international programme committe2 was formed which included H.A. Eschenauer (Germany) P. Kall (Switzerland) K. Marti (Germany, Chairman) J. Mayer (Hungary) G.I. Schueller (Austria) Although the number of participants had to be small for technical reasons, the area covered by the lectures during the workshop was rather broad. It contains theoretical insight into stochastic pro gramming problems, new computational approaches, analyses of known solution methods, and applications in such very different technical fields as ecology, energy demands, and optimal reliability of me chanical structures. In particular, the applied presentation also pointed to several open methodological problems.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 196 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -Declarative programming languages are based on sound mathematical foundations which means that they offer many advantages for software development. These advantages include their powerful descriptive capabilities, the availability of program analysis techniques and the potential for parallel execution. This volume contains the proceedings of a seminar and workshop organised by the Esprit Basic Research Action Phoenix in collaboration with the Esprit Basic Research Action Integration. Both these groups have been closely involved in investigating the foundations of declarative programming and the integration of various language paradigms, as well as the developing aspects of related technology. The main aim of the seminar and workshop was to provide a forum for the results of this work, together with contributions from other researchers in the same field. These papers cover a variety of important technical areas such as foundations and languages, program transformation and analysis, integrated approaches, implementation techniques, abstract machines and programming methodology. The resulting volume provides an in-depth picture of current research into declarative programming. It will be of special interest to researchers in programming languages and methodology, students of artificial intelligence and anyone involved in industrial research and development.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 336 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -This volume contains the proceedings of the thirdInternational Workshop on Computer Aided Verification, CAV'91, held in Aalborg, Denmark, July 1-4, 1991. The objectiveof this series of workshops is to bring together researchersand practitioners interested in the development and use ofmethods, tools and theories for automatic verification of(finite) state systems. The workshop provides a uniqueopportunity for comparing the numerous verification methodsand associated verification tools, and the extent to whichthey may be utilized in application design. The emphasis isnot only on new research results but also on the applicationof existing results to real verification problems.The papers in the volume areorganized into sections onequivalence checking, model checking, applications, toolsfor process algebras, the state explosion problem, symbolicmodel checking, verification and transformation techniqueshigher order logic, partial order approaches, hardwareverification, timed specification and verification, andautomata.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 504 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -This volume contains the proceedings of the Fourth Workshopon Languages andCompilers for Parallel Computing, held in Santa Clara, California, in August1991. The purpose of the workshop, held every year since 1988, is to bring together the leading researchers on parallel programming language designand compilation techniques for parallel computers. The papers in this book cover several important topics including: (1) languages and structures to represent programs internally in the compiler, (2) techniques to analyzeand manipulate sequential loops in order to generate a parallel version, (3)techniques to detect and extract fine-grain parallelism, (4) scheduling and memory-management issues in automatically generated parallel programs, (5) parallel programming language designs, and (6) compilation of explicitly parallel programs. Together, the papers give a good overview of the research projects underway in 1991 in this field.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 436 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -Architectures and tools are two important considerations in the construction of interactive computer systems. The former is concerned with the optimal structural organisation of systems and the latter with the effective support of the design and management of user interfaces. They are regarded as the areas of research most likely to contribute to the development of existing interactive systems, in particular by providing improved architectures capable of supporting new styles of interaction and more sophisticated software tools to improve productivity. This volume combines the proceedings of two workshops held in York and Glasgow which concentrated on architectures and tools respectively. In doing so it addresses the problems of user interface construction from two complementary viewpoints and provides alternative perspectives on many of the central issues. Some of the papers are published in expanded form to provide a more comprehensive coverage of the topics and two additional papers have been included which offer a useful insight into issues raised by the workshops. The papers address formal and theoretical concerns as well as academic and commercial ones. Specific topics covered include novel-input models, architectures for real-time systems and object-oriented user interface tools for X-widgets, NeWS- and Smalltalk-based applications. The papers also include presentations of new tools and architectural designs. Building Interactive Systems: Architectures and Tools provides the most extensive recent account of research into the relationship between architectures and tools in the construction of interactive computer systems and will be of interest to researchers, postgraduate students and software developers.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 256 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -Designers and operators of rotating machinery have to deal with the effects of machine vibration and wear. The increasing demands for quieter machine operation, longer machine life and a greater efficiency of operation have led to the use of sophisticated design aids. Research into rotating machinery is therefore of substantial and increasing importance. Rotordynamics '92 provides a record of some of the most recent research methods and results relating to the design and operation of rotating machinery. The conference is international in character and draws on research from a wide range of respected sources.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 448 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 388 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -The purpose of this book is to analyse and discuss a seriesof topics related with environmental conservation, land-useplanning and management and impact prevention as seen fromthe perspective of the Earth Sciences, but with an integrated, interdisciplinary approach.The contributions included in the book intend to give anoverview of existing problems and trends and to point outcertain lines along which work and/or actions will be particularly needed in the near future. In short, they intendto show where we stand now with regard to those problems andin what direction we should move.Readers will find particularly useful the brief presentationof a variety of important environmental earth science topics, the description of the present state of the art and thesuggestions for methodological approaches to solve differentproblems, as well as the guidelines for action presentedthroughout the book.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 568 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the proceedings of the Fourth Workshopon Languages andCompilers for Parallel Computing, held in Santa Clara, California, in August1991. The purpose of the workshop, held every year since 1988, is to bring together the leading researchers on parallel programming language designand compilation techniques for parallel computers. The papers in this book cover several important topics including: (1) languages and structures to represent programs internally in the compiler, (2) techniques to analyzeand manipulate sequential loops in order to generate a parallel version, (3)techniques to detect and extract fine-grain parallelism, (4) scheduling and memory-management issues in automatically generated parallel programs, (5) parallel programming language designs, and (6) compilation of explicitly parallel programs. Together, the papers give a good overview of the research projects underway in 1991 in this field. 436 pp. Englisch.