springer berlin heidelberg springer berlin heidelberg sep 1987 (90 results)

Taschenbuch. Condition: Neu. Neuware -Grids are special families of tripotents in Jordan triple systems. This research monograph presents a theory of grids including their classification and coordinization of their cover. Among the applications given are - classification of simple Jordan triple systems covered by a grid, reproving and extending most of the known classification theorems for Jordan algebras and Jordan pairs - a Jordan-theoretic interpretation of the geometry of the 27 lines on a cubic surface - structure theories for Hilbert-triples and JBW\*-triples, the Jordan analogues of Hilbert-triples and W\*-algebras which describe certain symmetric Banach manifolds. The notes are essentially self-contained and independent of the structure theory of Jordan algebras and Jordan pairs. They can be read by anyone with a basic knowledge in algebraic geometry or functional analysis. The book is intended to serve both as a reference for researchers in Jordan theory and as an introductory textbook for newcomers to the subject.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 208 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -Classification of commuting non-selfadjoint operators is one of the most challenging problems in operator theory even in the finite-dimensional case. The spectral analysis of dissipative operators has led to a series of deep results in the framework of unitary dilations and characteristic operator functions. It has turned out that the theory has to be based on analytic functions on algebraic manifolds and not on functions of several independent variables as was previously believed. This follows from the generalized Cayley-Hamilton Theorem, due to M.S.Livsic: 'Two commuting operators with finite dimensional imaginary parts are connected in the generic case, by a certain algebraic equation whose degree does not exceed the dimension of the sum of the ranges of imaginary parts.' Such investigations have been carried out in two directions. One of them, presented by L.L.Waksman, is related to semigroups of projections of multiplication operators on Riemann surfaces. Another direction, which is presented here by M.S.Livsic is based on operator colligations and collective motions of systems. Every given wave equation can be obtained as an external manifestation of collective motions. The algebraic equation mentioned above is the corresponding dispersion law of the input-output waves. 120 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -This monograph is concerned with the equilibrium of linearly elastic cylinders. It gives an up-to-date and systematic treatment of extension, bending, torsion and flexure of cylinders, including the deformation of homogeneous and nonhomogeneous anisotropic elastic cylinders by loads distributed on their lateral surfaces. Minimum energy characterizations of the solutions are discussed. An analysis of Saint-Venant's principle, in the context for which it was originally intended, is also presented. Many of the results included have not appeared or been previously discussed in the literature, and illustrative applications are presented throughout.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 172 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -It is well known that there are close relations between classes of singularities and representation theory via the McKay correspondence and between representation theory and vector bundles on projective spaces via the Bernstein-Gelfand-Gelfand construction. These relations however cannot be considered to be either completely understood or fully exploited. These proceedings document recent developments in the area. The questions and methods of representation theory have applications to singularities and to vector bundles. Representation theory itself, which had primarily developed its methods for Artinian algebras, starts to investigate algebras of higher dimension partly because of these applications. Future research in representation theory may be spurred by the classification of singularities and the highly developed theory of moduli for vector bundles. The volume contains 3 survey articles on the 3 main topics mentioned, stressing their interrelationships, as well as original research papers.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 400 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -Some recent successes in value-distribution theory.- Bergman ¿ Szeg¿ type theory for CR structures.- Regular complex geodesics for the domain Dn=((z1, ., zn) n : z1 + . + zn 364 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -The past several years have witnessed a striking number of important developments in Complex Analysis. One of the characteristics of these developments has been to bridge the gap existing between the theory of functions of one and of several complex variables. The Special Year in Complex Analysis at the University of Maryland, and these proceedings, were conceived as a forum where these new developments could be presented and where specialists in different areas of complex analysis could exchange ideas. These proceedings contain both surveys of different subjects covered during the year as well as many new results and insights. The manuscripts are accessible not only to specialists but to a broader audience. Among the subjects touched upon are Nevanlinna theory in one and several variables, interpolation problems in Cn, estimations and integral representations of the solutions of the Cauchy-Riemann equations, the complex Monge-Ampère equation, geometric problems in complex analysis in Cn, applications of complex analysis to harmonic analysis, partial differential equations. 348 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -In October 1983 an informal meeting was organized in Le Cap d'Agde with the help of the BIGRE bulletin. Sixty people turned out to hear more than ten presentations on object-oriented programming. More important was their unanimous demand for other, more structured encounters. So, about one year later, the Object group was created by AFCET. A second workshop was organized in Brest, and again one year later in Paris, each time showing increased attendance and interest. The success of these meetings and the fact that similar activities were taking place in other European countries, especially Great Britain and Germany, led to the idea of an annual European Conference, providing a forum for theorists and practitioners interested in the object-oriented programming paradigm. It is impossible to acknowledge here all the people and organizations that welcomed with great enthusiasm the birth of the ECOOP conference and contributed to its organization. More than a hundred submissions were received and the program committee had the unpleasant task of turning down many valuable contributions. We hope, however, that the selection of papers for ECOOP'87 emphasizes the fundamental issues and problems of object-oriented programming and will point toward interesting future research directions. 284 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -Polynomial Hulls and linear measure.- Estimations, Par Noyaux, Des Solutions De L¿Equation u=f.- The heat equation and geometry for the -Neumann problem.- Extendibility of the Bergman kernel function.- b and Carleson type inequalities.- Boundary absolute continuity of functions in the ball algebra.- Subharmonic functions and minimal surfaces.- Proprietes de Recouvrement des Sous-Ensembles de la Frontiere d¿un Domaine Strictement Pseudo-Convexe.- Some properties of the canonical mapping of a complex space into its spectrum.- Scalar boundary invariants and the Bergman kernel.- Biholomorphic self-maps of domains.- Some N capacities and applications.- Splitting of slowly decreasing ideals in weighted algebras of entire functions.- Convolutors in spaces of holomorphic functions.- A remark on 'convolutors in spaces of holomorphic functions'.- Integral representations in the theory of the -Neumann problem.- Tents and interpolating sequences in the unit ball.- Balayage and polynomial hulls.- Convergence of formal power series and analytic extension. 332 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -Freeness of an action of a compact Lie group on a compact Hausdorff space is equivalent to a simple condition on the corresponding equivariant K-theory. This fact can be regarded as a theorem on actions on a commutative C\*-algebra, namely the algebra of continuous complex-valued functions on the space. The successes of 'noncommutative topology' suggest that one should try to generalize this result to actions on arbitrary C\*-algebras. Lacking an appropriate definition of a free action on a C\*-algebra, one is led instead to the study of actions satisfying conditions on equivariant K-theory - in the cases of spaces, simply freeness. The first third of this book is a detailed exposition of equivariant K-theory and KK-theory, assuming only a general knowledge of C\*-algebras and some ordinary K-theory. It continues with the author's research on K-theoretic freeness of actions. It is shown that many properties of freeness generalize, while others do not, and that certain forms of K-theoretic freeness are related to other noncommutative measures of freeness, such as the Connes spectrum. The implications of K-theoretic freeness for actions on type I and AF algebras are also examined, and in these cases K-theoretic freeness is characterized analytically. 380 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -This unusual book, richly illustrated with 29 colour illustrations and about 200 line drawings, explores the relationship between classical tessellations and three-manifolds. In his original and entertaining style, the author provides graduate students with a source of geometrical insight into low-dimensional topology. Researchers in this field will find here an account of a theory that is on the one hand known to them but here is 'clothed in a different garb' and can be used as a source for seminars on low-dimensional topology, or for preparing independent study projects for students, or again as the basis of a reading course.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 256 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -Dieses Buch ist aus Veranstaltungen der Autoren an der Universität-GH Duisburg entstanden. Neben der Einführung und den Grundlagen enthält das Buch die Gebiete 'Lineare Algebra' und 'Analysis', es enthält somit ungefähr den Stoff einer zweisemestrigen zweistündigen Vorlesung und soll das für wirtschaftswissenschaftliche Anwendungen wichtigste mathematische Instrumentarium auf einem anschaulichen Niveau vermitteln. Das Buch wendet sich vor allem an Studenten mit geringen mathematischen Vorkenntnissen. Es möchte helfen, die bei vielen Studenten der Wirtschaftswissenschaften vorhandene Abneigung gegen formale Methoden abzubauen. Zu diesem Zweck werden, soweit dies in einem Lehrtext dieses Umfanges möglich ist, die mathematischen Probleme und Verfahren anhand wirtschaftswissenschaftlicher Fragestellungen entwickelt oder mit deren Hilfe illustriert. Das Buch verzichtet weitgehend auf formale Beweisführungen und gibt anhand von Beispielen Plausibilitätsüberlegungen für Definitionen und Aussagen.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 376 pp. Deutsch.

Taschenbuch. Condition: Neu. Neuware -Einf}hrende Õbersicht }ber die verbreiteten chromatographischen Trennmethoden. Betont dabei die praktische Durchf}hrung der Trennung. Gleichbedeutend nebeneinander stehenD}nnschicht-, Papier-, Glas- und Fl}ssigchromatographie unddie zur Routine gewordene HPLC.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 292 pp. Deutsch.

Taschenbuch. Condition: Neu. Neuware -Für die Benennung chemischer Verbindungen hat die IUPAC (International Union of Pure and Applied Chemistry) Regeln geschaffen, die den Charakter von Standards haben und weitgehende internationale Verständlichkeit ren. Formelbild und Name einer chemischen Verbindung müssen nämlich in einer eindeutigen Beziehung zueinander stehen. Während einer naturwissenschaftlichen Ausbildung werden im allgemeinen nur in geringem Umfang Kenntnisse über die chemische Nomenklatur vermittelt, da von den in der Literatur vorhandenen zusammenfassenden Darstellungen nur sehr wenige in Deutsch abgefaßt sind. Es erschien deshalb notwendig, den im naturwissenschaftlichen Ausbildungsbereich Tätigen eine Gebrauchsanleitung in die Hand zu geben, dies um so mehr, als die Fülle des zu behandelnden Stoffes in der Hochschul-, Fachschul- und Berufsausbildung nur wenig Gelegenheit bietet, in die Benutzung solcher Regeln einzuweisen. Grundlage für diese Ausarbeitung sind die Verordnung zur Berufsausbildung von Chemielaboranten, der Rahmenlehrplan Chemielaborant und der Stoffplan der Fachschule, Fachrichtung Chemietechnik. Die vorliegende Zusammenfassung stellt eine nützliche Ergänzung der deutschsprachigen Literatur dar.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 240 pp. Deutsch.

Taschenbuch. Condition: Neu. Neuware -Moderne Informations- und Kommunikationstechnologien eröffnen neue Möglichkeiten für die Gewinnung und Analyse von Marketinginformationen und ihre Aufbereitung zur Entscheidungsunterstützung. Damit werden Perspektiven für ein wirksames Marketing durch Informations- und Kommunikationstechnologien geschaffen. Dieses Buch beschäftigt sich mit dieser Dimension der modernen Informations- und Kommunikationstechnologien im Marketing. Es wird versucht, eine Konzeption eines EDV-gestützten Marketing zu entwickeln. Dabei stehen die Einsatzmöglichkeiten in den Bereichen Datengewinnung, Datenanalyse und Entscheidungsunterstützung im Zentrum der Erörterung. Aufgezeigt werden zugleich die mit einem EDV-gestützten Marketing korrespondierenden organisatorischen Gestaltungspotentiale. 'EDV-gestützt' wird nicht nur im klassischen Sinne der elektronischen Datenverarbeitung interpretiert, sondern im Sinne von Compunication, d.h. einer Verknüpfung von Computer und Communication. Insofern wird eine informations- und kommunikationsorientierte Konzeption vorgestellt.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 388 pp. Deutsch.

Taschenbuch. Condition: Neu. Neuware -Dieses Buch bringt eine Einführung in die Katalogisierung für öffentliche Bibliotheken, der zweiten Auflage liegt die autorisierte Ausgabe der 'Regeln für öffentliche Bibliotheken, RAK-ÖB' von 1986 zugrunde. Der Stoff wird gemäß dem Prinzip, das die Autorin in ihrer praktischen Arbeit verwendet hat, dargestellt: 1) Voranstellung der theoretischen Grundlagen; diese sind durch viele Beispiele erläutert; 2) praktische Beispiele anhand von kopierten Haupttitelseiten mit umfangreichen Erläuterungen und Angabe der betreffenden Paragraphen. Die Beispiele zur Theorie und auch die praktischen Beispiele wurden weitgehend aus dem Bestand einer typischen öffentlichen Bibliothek ausgewählt. Neben den allgemeinen RAK-ÖB-Bestimmungen werden auch die Alternativregeln, die deutschsprachige Ansetzungen der Namen und Sachtitel zulassen, berücksichtigt. Die zweite Auflage wurde auf die Ausgabe von 1986 der Regeln ausgerichtet, dadurch ergaben sich Änderungen und Erweiterungen. Auch ein Abschnitt über die Katalogisierung von Bilderbüchern wurde aufgenommen. Ziel des Buches ist die Einführung der Bibliothekare der öffentlichen Bibliotheken in das neue Regelwerk. Es ist sowohl für Studenten als auch für Bibliothekare, die sich den Stoff selbst aneignen wollen, gedacht. Außerdem vermittelt das Buch den Bibliothekaren, die sich entweder für die allgemeinen RAK-ÖB-Regeln oder die Alternativregeln entscheiden müssen, einen Überblick, wo die Alternativregeln Anwendung finden und wieviel einfacher und praxisnäher sie sind.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 344 pp. Deutsch.

Taschenbuch. Condition: Neu. Neuware -Di e bestehenden Systeme zur Produkt i onspl anung und -steuerung sowi e di e betriebswirtschaftliche Literatur zur Materialwirtschaft und Produktions planung sind auf Fertigungsstrukturen ausgerichtet, die weitgehend denen des Maschinenbaus mit uberwiegender Werkstattfertigung und ausgepragter Stucklistenstruktur entsprechen. Die vorliegende Arbeit zielt dagegen mehr auf Probleme der MaterialfluB steuerung fur nach dem Fl ieBprinzip gestaltete Produktionssysteme. Dabei werden die Einheitlichkeit von Planung, Steuerung und Ruckmeldung und die vollstandige Verfolgung der logistischen Kette yom Auftragseingang bis zur Ausl i eferung in den Vordergrund geste 11 t. Es wi rd ei n durchgangi ger Lo sungsansatz entwickelt von der betriebswirtschaftlich-organisatorischen Pl anung der Materi a lfl uBsteuerung bi s zur EDV -techn i schen Umsetzung und Implementierungsstrategie. Die Arbeit entstand wahrend meiner Tatigkeit am Institut fur Wirtschafts i nformat i k an der Un i vers i tat des Saarl andes in Saarbrucken. Erfahrungen aus mehreren Projekten mit Industriepartnern bilden das Fundament fur die theoret i sche Gesta ltung des Organi sat i onsansatzes und sei ne Abbil dung in einem EDV-System. Mein besonderer Dank gilt meinem akademischen Lehrer, Herrn Professor Dr. A.-W. Scheer, fur die wissenschaftliche Betreuung und die wertvolle Unter stutzung. Ebenso danke ich Herrn Professor Dr. B. Tietz fur die Obernahme des Korreferates.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 236 pp. Deutsch.

Taschenbuch. Condition: Neu. Neuware -Dies ist der Tagungsband der 4. GI/ITG-Fachtagung 'Messung, Modellierung und Bewertung von Rechensystemen', Erlangen, 29. September-1. Oktober 1987. Tagungsinhalt ist der Austausch neuer Ideen und Erfahrungen bei der quantitativen Untersuchung von Rechensystemen. Dabei werden einerseits das volle methodische Spektrum - Meßinstrumentierung/Messung - Modellbildung/simulative und mathematische Modellanalyse - Bewertung und Synthese in leistungsorientierter bzw. leistungs-/zuverlässigkeitsorientierter Sicht abgedeckt sowie andererseits über praktische Erfahrungen beim Einsatz dieser Methoden und Techniken bei Entwurf, Implementierung/ Installierung und Betrieb einzelner und vernetzter Rechensysteme berichtet. Die Beiträge (13 in Englisch, 11 in Deutsch) behandeln Methoden und Techniken der Beschreibung von Systemen hinsichtlich ihrer Leistungsfähigkeit und Zuverlässigkeit: (Hard- und Software-) Meß- und Monitorsysteme, Charakterisierung von Systembelastungen, Erstellung und simulative/mathematische/hybride Analyse von Systemmodellen, Erfahrungen bei der Bewertung und Optimierung von Rechensystemen.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 404 pp. Deutsch.

Taschenbuch. Condition: Neu. Neuware -Dieses Buch präsentiert einen neuen konzeptionellen Rahmen und primär graphische Ausdrucksmittel für die benutzerorientierte Beschreibung von Arbeitsorganisationen mit interaktivem Rechnereinsatz. Arbeitsorganisationen werden als Rollengeflechte betrachtet, die in Kooperation mit den Rollenträgern entwickelt werden sollten. Drei Betrachtungsebenen werden unterschieden: Auf der Rollenebene steht die Beziehung zwischen Rollen und Personen als Rollenträgern im Vordergrund. Auf der Funktionsebene wird ihr statischer Aufbau aus personellen und automatisierten Funktionen sowie Positionen für die Aufbewahrung bzw. den Austausch von Objekten und Daten betrachtet. Die Aktionsebene erfaßt die Dynamik von Funktionen einschließlich Kontroll-, Objekt- und Datenfluß. Aufbauend auf einer Analyse bekannter graphischer Systembeschreibungssprachen werden Rollen-, Funktions- und Aktionsnetze (RFA-Netze) als neuartige, graphische Beschreibungssprache eingeführt und ausführlich an vielfältigen Beispielen erläutert. Sie spiegeln in ihrer graphischen Differenziertheit die genannten Ebenen und Aspekte wider, drücken Beziehungen zwischen den Konzepten aus und können für die kohärente, ausschnittweise Beschreibung von Systemen auf verschiedenen Detaillierungsstufen eingesetzt werden. Insbesondere können sie zur Formulierung von Benutzungsmodellen für die Mensch-Maschine-Interaktion verwendet werden.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 332 pp. Deutsch.

Taschenbuch. Condition: Neu. Neuware -Die DAGM veranstaltet seit 1978 jährlich an verschiedenen Orten ein wissenschaftliches Symposium mit dem Ziel, Aufgabenstellungen, Denkweisen und Forschungsergebnisse aus verschiedenen Gebieten der Mustererkennung vorzustellen, den Erfahrungs- und Ideenaustausch zwischen den Fachleuten anzuregen und den Nachwuchs zu fördern. Beiträge zum Symposium kommen nicht nur aus dem Inland, sondern aus dem gesamten deutschen Sprachraum und darüber hinaus. Die DAGM ist Mitglied der International Association for Pattern Recognition (IAPR). Der Tagungsband umfaßt 3 eingeladene Voträge und 77 begutachtete Beiträge, von diesen sind 49 dem Vortragsprogramm und 28 der Plakatausstellung zugeordnet.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 348 pp. Deutsch.

Taschenbuch. Condition: Neu. Neuware Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 708 pp. Deutsch.

Taschenbuch. Condition: Neu. Neuware -Im September 1987 fand zum sechsten Mal das Aachener Symposium für Signaltheorie statt. Ingenieure, Informatiker, Physiker und Mathematiker stellten dort ihre neuesten Forschungsergebnisse aus dem Bereich der Signaltheorie bzw. deren Anwendung vor. Das 6. ASST widmete sich schwerpunktmäßig den mehrdimensionalen Signalen und der Bildverarbeitung. Mit den Themenbereichen Theorie mehrdimensionaler Signale, Methodik, Bildcodierung, Technologie der Bildverarbeitung und Anwendungen gibt der vorliegende Band einen Überblick über den aktuellen Stand der Forschung auf dem immer mehr Bedeutung gewinnenden Gebiet der Bildverarbeitung.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 408 pp. Deutsch.

Taschenbuch. Condition: Neu. Neuware -Das Buch behandelt Kommunikationskonzepte, die auf die Verarbeitungsstrukturen und Interaktionsmuster verteilter transaktionsorientierter Systeme zugeschnitten sind. Neben einer ausführlichen Diskussion der vorgestellten Konzepte, werden die zu ihrer Implementierung notwendigen Protokolle und Strukturen beschrieben. Außerdem wird der vorgestellte Ansatz mit den Normungsvorschlägen der ISO bezüglich Synchronisation, Recovery und Commitment in Offenen Systemen verglichen. Es wird ein neues Adressierungskonzept vorgestellt, das die in verteilten transaktionsorientierten Systemen auftretenden Interaktionsformen in geeigneter Weise unterstützt. Darüberhinaus ist die beschriebene Kommunikationskomponente die erste, die Dienste zur Unterstützung geschachtelter Transaktionen zur Verfügung stellt. Das Ziel des Buches ist es, die speziellen Kommunikationsbedürfnisse verteilter transaktionsorientierter Systeme aufzuzeigen und auf diese Bedürfnisse zugeschnittene Konzepte, Dienste und Protokolle zu erarbeiten. Dieses Buch ist die erste Publikation, die die oben beschriebene Thematik so umfassend und in dieser Tiefe darstellt.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 240 pp. Deutsch.

Taschenbuch. Condition: Neu. Neuware -Dieses Buch beschreibt in verständlicher Weise die Grundlagen zum Teil neuartiger erkenntnistheoretischer Überlegungen in den modernen Naturwissenschaften und die daraus resultierenden Konsequenzen für die moderne Medizin (Konzeption und Wandlung des Wissenschaftsbegriffs, Rolle des Beobachters, Aspekte einer evolutionären Erkenntnislehre, erkenntnistheoretische Konsequenzen aus einem holographischen Modell der Gehirnfunktion, Bedeutung konkret begründeter ganzheitlicher Denkansätze und systemtheoretischer Betrachtungen, Prinzip der Selbstorganisation und Komplementaritätsprinzip). Zahlreiche Beispiele veranschaulichen das Thema. Das Buch will zum Nachdenken über Zusammenhänge und Probleme anregen, zu denen die Routine des klinischen Alltags sonst nur wenig Zeit läßt.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 160 pp. Deutsch.

Taschenbuch. Condition: Neu. Neuware -Aufgabe der staatlIehen Förderung der Umsetzung im Rahmen des Pro grammes 'Humanisierung des Arbeitslebens (HdA)' ist es unter anderem, den Prozeß der Vermittlung von Erkenntnissen zur menschengerechten Gestaltung von automatisierten Systemen zu beschleunigen. Die Huma nisierung des Arbeitslebens muß mit den technischen und organisato rischen Entwicklungen und den Ansprüchen der arbeitenden Menschen an die Gestaltung von Arbeit und Technik Schritt halten. Dies geschieht wirkungsvol I dadurch, - daß Informationen handlungsorientiert für die einzelnen Planun- und Entscheidungsträger aufbereitet, vermittelt und verbreitet werden und - daß schließlich Anstöße gegeben werden, bei den Trägern der Umset zung solche eigenständigen Formen und Wege zu entwickeln. Um dies effektiv und schnell im Bereich der flexiblen Automatisierung erreichen zu können, wurde ab 1982 das 'Beratungszentrum Industriero boter (BZI)' vom Bundesminister für Forschung und Technologie (BMFT) im Rahmen des Programms 'Humanisierung des Arbeitslebens (HdA)' ge fördert. Da während der Tätigkeiten des Zentrums erkannt wurde, daß am Markt vorhandene Planungsunterlagen sich fast ausschließlich mit der reinen technischen Planung beschäftigen, wurde die vorliegende Planungsvorgehensweise erstellt. Diese Vorgehensweise soll Planern einen Leitfaden geben, um flexible Automatisierung nicht nur rein technisch zu planen, sondern bei diesen Planungstätigkeiten auch die menschengerechte Gestaltung der Systeme zu berücksichtigen. Damit kann ein direkter Beitrag zur Humanisierung und somit zur Verbesse rung der Arbeitszufriedenheit geleistet werden.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 324 pp. Deutsch.

Taschenbuch. Condition: Neu. Neuware -Die dritte Osterreichische Artificial-Intelligence-Tagung fand vom 22.-25. September 1987 an der Technischen Universitiit Wien statt. Das Programm zeigt aktuelle Forschungsthemen und priisentiert Forschungseinrichtungen, die sich methodisch und aus Anwendersicht mit der Artificial Intelligence auseinandersetzen. 1985 veransta1tete die Osterreichische Gesellschaft fiir Artificial Intelligence ihre erste Tagung an der Universitiit Wien. 1986 wurde die Tagung gemeinsam mit unserer deutschen Schwestergesellschaft, dem FachausschuB 1.2 'Kunstliche Intelligenz und Mustererken nung' der Gesellschaft fUr Informatik, organisiert und in Ottenstein (Niederosterreich) abge halten . Fur 1987 wurde wieder Wien mit der Technischen Universitiit Wien als Veranstal tungsort gewiihlt, da hier das Interesse an der Artificial Intelligence sowoh1 seitens der Stu denten als auch seitens der Informatikinstitute in letzter Zeit stark zunahm. Zu den 17 - von 28 eingereichten - Tagungsbeitriigen selbst ist zu sagen, daB sie fast alle Teilgebiete der AI behandeln: Bildverstehen, Problemlosen, Wissensrepriisentation, Naturlichsprachige Systeme, Knowledge Engineering, Anwendung von Expertensystemen und Logische Programmierung. Wir mochten die Gelegenheit nutzen, allen zu danken, die zu dieser Tagung beigetragen haben. Dies nicht deshalb, weil es ublich ist, sondern weil ohne die freiwillige Mitarbeit von Mitgliedern der Osterreichischen Gesellschaft fiir Artificial Intelligence im Programmkomitee und bei der Organisation - Gerhard Friedrich, Markus Kommenda, Johannes Kuntner, Wolf gang Nejdl, Wolfgang Slany, Markus Stumptner - die Tagung nicht hiitte stattfinden konnen.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 196 pp. Deutsch.

Taschenbuch. Condition: Neu. Neuware -Dieses Buch stellt eine Methodik zum systematischen Entwurf korrekter Mikroprogramme vor. Behandelt werden sämtliche Phasen der Firmwareentwicklung: das Erstellen einer formalen Beschreibung der Anforderungen, Techniken zur hierarchischen Organisation des Entwurfs, die Mikroprogrammierung in einer geeigneten höheren Mikroprogrammiersprache, sowie formale Techniken zur Überprüfung der Korrektheit des Entwurfs. Damit wird erstmals eine Firmwareverifikationsmethode vorgestellt, die sowohl für beliebige Mikroarchitekturen einsetzbar ist als auch eine inkrementelle und modulare Verifikation des Entwurfs ermöglicht. Besonderes Gewicht wurde sowohl auf eine präzise mathematische Durchdringung des Firmwareentwurfs als auch auf die praktische Anwendbarkeit der Entwurfsmethode gelegt. Sämtliche Konzepte und Techniken werden an Hand eines Emulationsbeispiels illustriert. Der Text enthält ein einführendes Kapitel, das sowohl die Grundbegriffe aus dem Bereich der Mikroprogrammierung als auch die verwendeten mathematischen Begriffsbildungen zusammenfaßt. Die beiden Hauptteile behandeln jeweils den Entwurf sowie die Verifikationsmethodik. In Anhängen werden ausführliche Entwurfs- und Verifikationsbeispiele gegeben. Das Buch bietet sowohl dem Entwickler größerer Mikroprogramme als auch dem Ersteller von Firmwareentwicklungswerkzeugen einen geeigneten Rahmen zur Beherrschung der Komplexität von Mikroarchitekturen. Für Studenten der Informatik veranschaulicht der Text die Relevanz mathematischer Modellbildungen in einem konkreten Anwendungesgebiet.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 340 pp. Deutsch.

Taschenbuch. Condition: Neu. Neuware -Beim Kaltfließpressen hängt je nach Verfahren und Umformbedingungen die Werkzeuglebensdauer vom Verschleiß oder dem Bruch von Werkzeug-Aktivelementen ab. Von besonderer Bedeutung für das wenig erforschte Bruchverhalten eines Werkzeugs ist neben der beanspruchungsgerechten konstruktiven Auslegung eine anforderungsorientierte Wärmebehandlung. In diesem Band wird deshalb der Einfluß ausgewählter Wärmebehandlungen auf den Werkzeugbruch untersucht. In einem ersten Schritt wurden die im Bereich der Sekundärhärte gefügebedingt eingestellten mechanischen Eigenschaften in Laborversuchen (quasistatische Biege- und Stauchversuche, Umlaufbiegeversuche und Bruchmechanikversuche) ermittelt und Bruchmerkmale rasterelektronenmikroskopisch beurteilt. Diese Ergebnisse wurden mit betriebsnahen Standmengenversuchen beim Voll-Vorwärts-Fließpressen unter Fertigungsbedingungen verknüpft, in denen Werkzeuge bis zum vollständigen Versagen durch Ermüdungsquerbruch beansprucht wurden. Die Rißausbreitung konnte mit zerstörungsfreien Prüfverfahren verfolgt werden. Eine bruchmechanische Analyse ermöglicht die Beschreibung der Werkzeuggeschichte und mittels richtiger Übertragung der Ergebnisse aus dem Labor eine qualitative Lebensdauerabschätzung der Werkzeuge.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 168 pp. Deutsch.

Taschenbuch. Condition: Neu. Neuware -mit breitem Kontakt der Serosa heilen kann.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 136 pp. Deutsch.

Taschenbuch. Condition: Neu. Neuware -Diagnostisches Problemlösen ist der bisher erfolgreichste Anwendungsbereich von Expertensystemen. Nach einer ausführlichen Einführung in Expertensysteme werden aus Erfahrungen mit existierenden Diagnostik-Systemen und psychologischen Studien über medizinische Diagnostik Richtlinien zur Entwicklung von Werkzeugen (Shells) für heuristische Diagnostik abgeleitet. Der Hauptteil des Buches beschäftigt sich mit der Konkretisierung und Implementierung dieser Mechanismen in dem Shell MED2 zur Entwicklung medizinischer und technischer Diagnostik-Systeme, was anhand von Beispielwissensbasen illustriert wird. Der Leser bekommt mit dem Buch eine exemplarische Einführung in Expertensysteme, den Stand der Forschung bei diagnostischem Problemlösen und eine Bedienungsanleitung für lauffähige Software zur Entwicklung von heuristischen Diagnostik-Expertensystemen.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 268 pp. Deutsch.

Taschenbuch. Condition: Neu. Neuware -Der Band enthält die Referate und Diskussionsbeiträge der 21. Jahrestagung der Österreichischen Gesellschaft für Unfallchirurgie in Salzburg über die Verletzungen des Schultergelenks. Der Kongreßbericht gibt einen umfassenden Überblick über funktionelle Anatomie, Diagnostik sowie Indikation und Technik verschiedener Behandlungsmethoden, Spätergebnisse, Wiederherstellung und Rehabilitation. Ein Nachschlagewerk für jeden unfallchirurgisch tätigen Arzt bei der Behandlung von Verletzungen des Schultergelenks.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 512 pp. Deutsch.