Product Type
Condition
Binding
Collectible Attributes
Seller Location
Seller Rating
Published by Springer Berlin Heidelberg Jul 1990, 1990
ISBN 10: 3540527850ISBN 13: 9783540527855
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -These are notes of lectures on Nevanlinna theory, in the classical case of meromorphic functions, and the generalization by Carlson-Griffith to equidimensional holomorphic maps using as domain space finite coverings of C resp. Cn. Conjecturally best possible error terms are obtained following a method of Ahlfors and Wong. This is especially significant when obtaining uniformity for the error term w.r.t. coverings, since the analytic yields case a strong version of Vojta's conjectures in the number-theoretic case involving the theory of heights. The counting function for the ramified locus in the analytic case is the analogue of the normalized logarithmetic discriminant in the number-theoretic case, and is seen to occur with the expected coefficient 1. The error terms are given involving an approximating function (type function) similar to the probabilistic type function of Khitchine in number theory. The leisurely exposition allows readers with no background in Nevanlinna Theory to approach some of the basic remaining problems around the error term. It may be used as a continuation of a graduate course in complex analysis, also leading into complex differential geometry. 184 pp. Englisch.
Published by Springer Berlin Heidelberg Jul 1990, 1990
ISBN 10: 3540527451ISBN 13: 9783540527459
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The central theme of this volume is commutative algebra, with emphasis on special graded algebras, which are increasingly of interest in problems of algebraic geometry, combinatorics and computer algebra. Most of the papers have partly survey character, but are research-oriented, aiming at classification and structural results. 168 pp. Englisch.
Published by Springer Berlin Heidelberg Jul 1990, 1990
ISBN 10: 3540527680ISBN 13: 9783540527688
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The volume is devoted to the interaction of modern scientific computation and classical function theory. Many problems in pure and more applied function theory can be tackled using modern computing facilities: numerically as well as in the sense of computer algebra. On the other hand, computer algorithms are often based on complex function theory, and dedicated research on their theoretical foundations can lead to great enhancements in performance. The contributions - original research articles, a survey and a collection of problems - cover a broad range of such problems. 228 pp. Englisch.
Published by Springer Berlin Heidelberg Jul 1990, 1990
ISBN 10: 3540528113ISBN 13: 9783540528111
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The central topics of this volume are enumerative geometry and intersection theory. The contributions are original (refereed) research papers. 316 pp. Englisch.
Published by Springer Berlin Heidelberg Jul 1990, 1990
ISBN 10: 3540527729ISBN 13: 9783540527725
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -These proceedings contain research and survey papers from many subfields of recursion theory, with emphasis on degree theory, in particular the development of frameworks for current techniques in this field. Other topics covered include computational complexity theory, generalized recursion theory, proof theoretic questions in recursion theory, and recursive mathematics. 408 pp. Englisch.
Published by Springer Berlin Heidelberg Jul 1990, 1990
ISBN 10: 3540527702ISBN 13: 9783540527701
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -These proceedings contain original (refereed) research articles by specialists from many countries, on a wide variety of aspects of Navier-Stokes equations. Additionally, 2 survey articles intended for a general readership are included: one surveys the present state of the subject via open problems, and the other deals with the interplay between theory and numerical analysis. 252 pp. Englisch.
Published by Springer Berlin Heidelberg Jul 1990, 1990
ISBN 10: 3540523901ISBN 13: 9783540523901
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Die Geschwindigkeit der in der DDR ablaufenden Umwälzungen hat uns bisher den Atem stocken lassen. Zu den Neuerungen gehört u.a. die Möglichkeit zur freien und kritischen Meinungsäußerung. Sechs bekannte und kritisch für ihr Land engagierte Wissenschaftler geben einen Überblick über ihren Wissenschaftszweig; die letzten 40 Jahre, die Gegenwart und die Perspektiven, das Ist, das Soll, das 'Kann' und das 'Muß'. Wir erleben eine weder von Partei noch Zensur bearbeitete Information aus Insiderkreisen, welche uns überhaupt erst ermöglicht, abzumessen, was 'in dem anderen Deutschland' innerhalb wichtiger Wissenschaftszweige geschehen ist. Darüber hinaus erfahren wir, welche Vorstellungen über die Entwicklung in den nächsten Jahren bestehen bzw. welche gravierenden bestehenden Probleme von wissenschaftlicher Seite her angegangen werden können. Dem Interessierten bieten die Einmischungen - DDR neben der Aufklärung Grundlagen zur wissenschaftlich-gesellschaftlichen Diskussion und zum Dialog. 96 pp. Deutsch.
Published by Springer Berlin Heidelberg Jul 1990, 1990
ISBN 10: 3540523561ISBN 13: 9783540523567
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -'Specification and transformation of programs' is short for a methodology of software development where, from a formal specification of a problem to be solved, programs correctly solving that problem are constructed by stepwise application of formal, semantics-preserving transformation rules. The approach considers programming as a formal activity. Consequently, it requires some mathematical maturity and, above all, the will to try something new. A somewhat experienced programmer or a third- or fourth-year student in computer science should be able to master most of this material - at least, this is the level I have aimed at. This book is primarily intended as a general introductory textbook on transformational methodology. As with any methodology, reading and understanding is necessary but not sufficient. Therefore, most of the chapters contain a set of exercises for practising as homework. Solutions to these exercises exist and can, in principle, be obtained at nominal cost from the author upon request on appropriate letterhead. In addition, the book also can be seen as a comprehensive account of the particular transformational methodology developed within the Munich CIP project. 516 pp. Englisch.
Published by Springer Berlin Heidelberg Jul 1990, 1990
ISBN 10: 3540528490ISBN 13: 9783540528494
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book deals withthe presentation and systematic design of mathematical proofs, including correctness proofs of algorithms. Its purpose is to show how completeness of argument, an important constraint especially for the correctness of algorithms, can be combined with brevity. The author stresses that the use of formalism is indispensible for achieving this. A second purpose of the book is to discuss matters of design. Rather than addressing psychological questions, the author deals with more technical questions like how analysis of the shape of the demonstrandum can guide the design of a proof. This technical rather than psychological view of heuristics together with the stress on exploiting formalism effectively are two key features of the book. The book consists of two independently readable parts. One part includes a number of general chapters discussing techniques for clear exposition, the use of formalism, the choice of notations, the choice of what to name and how to name it, and so on. The other part consists of a series of expositional essays, each dealing with a proof or an algorithm and illustrating the use of techniques discussed in the more general chapters. 196 pp. Englisch.
Published by Springer Berlin Heidelberg Jul 1990, 1990
ISBN 10: 3540526641ISBN 13: 9783540526643
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Project planning, scheduling, and control are regularly used in business and the service sector of an economy to accomplish outcomes with limited resources under critical time constraints. To aid in solving these problems, network-based planning methods have been developed that now exist in a wide variety of forms, cf. Elmaghraby (1977) and Moder et al. (1983). The so-called 'classical' project networks, which are used in the network techniques CPM and PERT and which represent acyclic weighted directed graphs, are able to describe only projects whose evolution in time is uniquely specified in advance. Here every event of the project is realized exactly once during a single project execution and it is not possible to return to activities previously carried out (that is, no feedback is permitted). Many practical projects, however, do not meet those conditions. Consider, for example, a production process where some parts produced by a machine may be poorly manufactured. If an inspection shows that a part does not conform to certain specifications, it must be repaired or replaced by a new item. This means that we have to return to a preceding stage of the production process. In other words, there is feedback. Note that the result of the inspection is that a certain percentage of the parts tested do not conform. That is, there is a positive probability (strictly less than 1) that any part is defective. 260 pp. Englisch.
Published by Springer Berlin Heidelberg Jul 1990, 1990
ISBN 10: 3540526595ISBN 13: 9783540526599
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The aim of the present proceedings volume is to discuss recent advances in the mathematical representation of engineering, socio-technical and socio-economical systems as well as in the optimization of their performance. The papers presented are extended versions of about 100 lectures (plenary lectures as well as lectures of the parallel sessions) of the conference. All papers include original researching results of the authors. Some have the character of a survey. 976 pp. Englisch.
Published by Springer Berlin Heidelberg Jul 1990, 1990
ISBN 10: 3540522662ISBN 13: 9783540522669
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book
Taschenbuch. Condition: Neu. Neuware -Mit der vorliegenden Studie zur Kurzgruppentherapie solI zu zwei wichtigen Fragen der Psychotherapieforschung beigetra gen werden. Einrnal gilt es zu kUiren, inwieweit Kurzgruppen therapien nachweisliche Veriinderungen in Personen hervorru fen kOnnen oder nicht, zum anderen solI die Studie ein Beitrag zur Verbesserung des psychotherapeutischen Angebots fUr die BevOlkerung sein. Psychotherapie ist bis heute nach wie vor ein Gut, das oberen Schichten der BevOlkerung zugutekommt, wiih rend weniger bemittelte Schichten kaum Zugang dazu haben. Kurzgruppen sind zwar keine U)sung dieses Problems, kOnnen aber doch einen wichtigen Baustein in der Gesundheitsfiirsorge bilden. Thtsiichlich gibt es in den Industrieliindern eine Ten denz, derartige psychische Heilverfahren in grOBerem Umfang einzusetzen. Derzeit finden sich Kurzgruppentherapien vorwie gend in Mfentlichen Institutionen, infolge der Weiterentwick lung von Theorie und Technik sollten aber diese Methoden auch in den niedergelassenen Praxen immer mehr Verwendung finden, sofern klare Indikationen, ProzeBabliiufe und Effekte aufgezeigt werden kOnnen. 1m 1. Abschnitt der Arbeit wird versucht, den derzeitigen Wis sensstand zur Kurzgruppentherapie darzustellen. Neben der EinfUhrung in die Problematik der Entwicklung von psycho therapeutischen Konzepten solI hier auch all denen eine Orien tierungshilfe geboten werden, die sich im Rahmen ihrer prakti schen therapeutischen Tiitigkeit in Zukunft mit Kurzgruppen therapien beschiiftigen wollen. Die Orientierung erfolgte nicht an einem starren theoretischen Modell, sondern es wurde ver sucht, der tatsiichlichen Wirklichkeit von angewandten Kurz gruppentherapien mit ihrem jeweiligen theoretischen Hinter grund gerecht zu werden und die Diskussion urn das Dogma der 'wahren' Psychotherapie in den Hintergrund zu stellen. 260 pp. Deutsch.
More buying choices from other sellers on AbeBooks
New offers from US$ 60.64
Published by Springer Berlin Heidelberg Jul 1990, 1990
ISBN 10: 3540515062ISBN 13: 9783540515067
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Die 'angewandte Verhaltensmedizin' stellt die klinische Wei-terentwicklung verhaltensmedizinischer Grundlagenarbeitendar, deren Anwendungsbezug bislang weitgehend auf klin. La-bors oder universit{re Einzelprojekte begrenzt blieb. Siebesch{ftige sich mit der Integration dieser Arbeiten in dieRegelversorgung der Krankenbehandlung und Rehabilitation.Sie stellterstmals eine systematische Aufarbeitung der Er-fahrungen therapeutisch t{tiger Praktiker aus ambulanten undstation{ren verhaltensmedizinisch arbeitenden Einrichtungenvor, deren Arbeiten sich wegen ihrer konzeptionellen, wis-senschaftlichen und therapeutisch-klinischen Stringenzinder Praxis bew{hrt haben. 488 pp. Deutsch.
Published by Springer Berlin Heidelberg Jul 1990, 1990
ISBN 10: 354052620XISBN 13: 9783540526209
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Abriß der theoretischen Grundlagen magnetisch-induktiver Meßgeräte. Diskussion der Störeinflüsse, Darstellung der Konzepte der Signalverarbeitung und Ansätze für die Energieeinsparung: Dieses Buch liefert den notwendigen Überblick und eine Fülle von Anregungen für Ingenieure, Physiker und Chemiker, die die Methode einsetzen wollen; es ist aber auch als Einführung für Studenten geeignet. 184 pp. Deutsch.
Published by Springer Berlin Heidelberg Jul 1990, 1990
ISBN 10: 3540518703ISBN 13: 9783540518709
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Fertigungsverfahren, Vorrichtungen und Werkzeugmaschinen werden in diesem Buch komplett und integriert behandelt und durch eine große Zahl von Berechnungs- und Konstruktionsbeispielen illustriert, besonders detailliert für alle wichtigen Baugruppen moderner Werkzeugmaschinen. Der Fachmann findet erstmals vollständige Unterlagen für Auslegung und Berechnung von Vorschub- und Hauptantrieben für NC-Werkzeugmaschinen sowie von hydrostatischen Führungen und Lagerungen. Dem Student wird ein bewußt kompakt gehaltenes, auf die praktische Verwertbarkeit ausgerichtetes Buch in die Hand gegeben. Dem praktizierenden Ingenieur ist es ein wertvolles Nachschlagwerk mit einer Fülle nützlicher Konstruktionsdetails. 392 pp. Deutsch.
Published by Springer Berlin Heidelberg Jul 1990, 1990
ISBN 10: 3540514341ISBN 13: 9783540514343
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -In den Bereichen Laser/Optoelektronik/Mikrowellen werden Forschungsergebnisse in rasantem Tempo in technische Entwicklungen und Anwendungen umgesetzt. Der seit 1973 alle 2 Jahre in München veranstaltete internationale Kongreß gibt, in Verbindung mit der bedeutendsten internationalen Fachmesse der Optoelektronik einen Überblick über den aktuellen Stand in Forschung, Technik und Medizin. In Fortsetzung dieser Tradition vermittelt der 9. Internationale Kongreß LASER 89 neue Erkenntnisse aus Grundlagenforschung, Entwicklung und praxisbezogener Anwendung. Zur Abdeckung des breiten Interessenspektrums von Forschern, Ingenieuren, Ärzten und Anwendern wurde der Kongreß in unterschiedliche Darbietungsebenen strukturiert. Die Vorträge, die sich mit medizinischen Anwendungen befassen, wurden in folgende Themengruppen gegliedert: Laser-Photobiologie/Laser-Photobiology; Photodynamische Therapie/PDT; Laserbiostimulation/Low Power Laser; Laser in der Chirurgie/Laser in Surgery; Laser in Angioplastie/Laser in Angioplasty; Laser in HNO/Laser in ENT; Laser in Zahn- und Kieferchirurgie/Laser in Oral and Dental Surgery; Physikalisch-Technische Grundlagen/Basic Science; Laser in der Urologie/Laser in Urology; Laser-Lithotripsie/ Laser-Lithotripsy; Laser in der Gynäkologie/Laser in Gynecology; Laser in der Neurochirurgie/Laser in Neurosurgery; Laser in der Dermatologie/Laser in Dermatology; Laser in der Ophtalmologie/Laser in Ophtalmology. 524 pp. Englisch, Deutsch.
Published by Springer Berlin Heidelberg Jul 1990, 1990
ISBN 10: 3540522565ISBN 13: 9783540522560
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Die vorliegende, mit dem Carl-Ludwig-Schleich-Preis 1988 der Deutschen Gesellschaft fUr Anasthesiologie und Intensivmedizin ausgezeichnete Habilitationsschrift befa13t sich mit dem Einflu13 kolloidaler Substanzen auf die Resorption von Lokalanasthesie- 16sungen. Durch eingehende Labor-und tierexperimentelle Stu dien sowie Untersuchungen an Probanden und Patienten wurde eine Fragestellung bearbeitet, deren L6sung die Patientensicher heit bei Infiltrationsanasthesien mit gro13en Volumina verbessem kann. Wenn auch die klinische Bedeutung der Ergebnisse wegen der jederzeit bestehenden M6g1ichkeit einer Allgemeinanasthesie nur begrenzt ist, so kann ein Zusatz von Kolloiden zu Lokalanas thesie16sungen bei gr613eren Eingriffen in Ausnahmesituationen doch von praktischem Nutzen sein. 1m klinischen Alltag bietet sich das beschriebene Vorgehen femer an, wenn adrenalinhaltige Lokalanasthesie16sungen wahrend Allgemeinanasthesien mit volatilen Anasthetika verwendet werden. Dieses Buch durfte fUr jeden an der Regional- und Lokal anasthesie Interessierten eine Anregung und gleichzeitig eine reichhaltige Fundgrube darstellen. Dem Autor kann man zu die ser exakten Stu die nur gratulieren und dem Buch eine weite Ver breitung wunschen. Gie13en, im Mai 1990 G. Hempelmann Inhaltsverzeichnis 1 Einleitung und Fragestellung . . . . . . . . . . . . . . 1 . 96 pp. Deutsch.
Published by Springer Berlin Heidelberg Jul 1990, 1990
ISBN 10: 3540527893ISBN 13: 9783540527893
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Bei automatischen Spracherkennungssystemen erweist sich ein Wechsel des Sprechers als besonderes Problem: Ein zuvor durch eine andere Person trainiertes Erkennungssystem hat eine deutlich erhöhte Fehlerwahrscheinlichkeit. Das vorliegende Buch beschäftigt sich mit Lösungsmöglichkeiten, wobei Ansätze sowohl für eine sprecherunabhängige als auch für eine sprecheradaptive Erkennung entwickelt werden. Nach einer Einführung und einer Übersicht über bisherige Ansätze wird das den Untersuchungen zugrunde liegende Spracherkennungssystem vorgestellt. Ein Kapitel über die Verbesserung der sprecherunabhängigen Erkennung stellt der klassischen Methode multipler Referenzmuster neue Ansätze gegenüber. Im anschließenden Kapitel werden verschiedene sprecheradaptive Verfahren entwickelt. Aus dem Vortragen eines geeigneten Adaptionswortschatzes durch einen neuen Sprecher werden Muster gewonnen, die eine zielgerichtete Modifikation des Erkennungssystems an die geänderten Sprechcharakteristika erlauben. Für sämtliche Ansätze sowie für geeignete Verfahrenskombinationen werden experimentell bestimmte Fehlerraten angegeben, wobei das den Testläufen zugrunde gelegte Datenmaterial aussagekräftige Ergebnisse erlaubt. 120 pp. Deutsch.
Published by Springer Berlin Heidelberg Jul 1990, 1990
ISBN 10: 3540528539ISBN 13: 9783540528531
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware 184 pp. Deutsch.
Published by Springer Berlin Heidelberg Jul 1990, 1990
ISBN 10: 354052598XISBN 13: 9783540525981
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Die Szintigraphie mit 111-Indium markierten Thrombozyten ist eine funktionelle Methode, die die Thrombogenität von Gefäßwandveränderungen mißt und somit eine Aussage über das Embolierisiko erlaubt. In diesem Buch werden die Technik und die Indikationen dieser neuen Methode in der Angiologie, Kardiologie, Pharmakolgie und in der Neurologie geschildert. Die Ergebnisse der Karotis-Szintigraphie bei 179 Schlaganfallpatienten werden vorgestellt und mit den herkömmlichen Untersuchungsverfahren verglichen, wobei deutlich wird, daß die Plättchenszintigraphie in der Lage ist, Gefäßstrukturen mit einem hohem Embolierisiko nachzuweisen. 120 pp. Deutsch.
Published by Springer Berlin Heidelberg Jul 1990, 1990
ISBN 10: 3540525637ISBN 13: 9783540525639
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Dieses Buch beschäftigt sich mit der Stimmfeldmessung. Hierbei handelt es sich um Messungen der Stimmleistung. Es werden die physiologischen Grundlagen, die technischen Voraussetzungen, die Meßmethodik und die klinische Anwendung dieser neuen Methode beschrieben. Zahlreiche Patientenbeispiele demonstrieren die pathologischen Veränderungen der Stimmleistung bei organischen und funktionellen Stimmstörungen. Die Frage der Indikationsstellung und der diagnostischen Wertigkeit wird beantwortet. Das Buch möchte nicht nur den derzeitigen Wissensstand vermitteln, sondern auch zu neuen wissenschaftlichen Arbeiten auf diesem Gebiet anregen. Der besondere Nutzen für den Leser besteht darin, daß er die bisher erschienenen Arbeiten zur Stimmfeldmessung zu einer umfassenden Übersicht zusammengefaßt findet. 76 pp. Deutsch.
Published by Springer Berlin Heidelberg Jul 1990, 1990
ISBN 10: 354052746XISBN 13: 9783540527466
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Die Datenmengen, die bei der Modellierung, der Simulation und der Überwachung von Umweltprozessen anfallen, sind heute schon so groß, daß sie nur noch mit Supercomputersystemen in verantwortbaren Zeiten sinnvoll bearbeitet werden können. Auch die Ergebnisdaten müssen weiter analysiert und interpretiert werden, sei es durch erfahrenes und DV-kundiges Fachpersonal, sei es durch weitergehende Transformationen und geeignete Formen der Darstellung. Die Visualisierung von Umweltdaten versucht, das umfangreiche und komplexe Datenmaterial mit Werkzeugen der Graphischen Datenverarbeitung in Form von Bildern darzustellen und dabei die Modellvorstellungen der Wissenschaftler und Ingenieure wiederzugeben, die in erster Linie Fachleute ihrer wissenschaftlichen und technischen Disziplinen sind und erst danach eventuell DV-Spezialisten. Dieser Band enthält die Beiträge einer Fachtagung, die der Fachbereich 4 'Informationstechnik und Technische Nutzung der Informatik' der Gesellschaft für Informatik veranstaltet hat. Schwerpunkte der Tagung waren die Visualisierung räumlicher Daten, die Anwendung von Hochleistungssystemen und die Visualisierung und Interaktion in Umweltinformationssystemen. 132 pp. Deutsch.
Published by Springer Berlin Heidelberg Jul 1990, 1990
ISBN 10: 3540528547ISBN 13: 9783540528548
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Aufgrund des wachsenden Bedarfs an Kommunikationsprotokoll-Implementierungen zur Bil dung von Rechnemetzen und modemen Telekommunikationssystemen wurden im letzten Jahr zehnt unterschiedlichste formale Beschreibungsverfahren ftir Kommunikationsdienste und Pro tokolle vorgestellt, so z.B. auch die von intemationalen Normungsgremien unterstiitzten Spezi fikationssprachen SDL, ESTELLE und LOTOS. Sie unterstiitzen die klare und kompakte Defi nition von Diensten und Protokollen, wie sie im Sinne der Normung als verbindliche Imple mentierungsvorgaben benotigt werden. Auf der Basis derartiger Speziftkationssprachen konnen nebenliiufige und verteilte Systeme in ihrer Funktionalitiit und Struktur formal modelliert wer den. Damit eroffnen sich Moglichkeiten zur formalen Auswertung hinsichtlich der Synthese von Implementierungen und der Uberpriifung von Entwiirfen. Das vorliegende Buch soIl die Einflihrung formaler Speziftkationen und AnalysemaBnahmen in die Praxis fOrdem. Hier bestehen zum Teil gegenwartig noch erhebliche Ressentiments, die mit Hinweisen auf die Vielfalt der unterschiedlichen Methoden und den zur Anwendung erforderli chen groBen Personalaufwand begrtindet werden. Schwerpunkte des Buchs liegen deshalb auf der Erkliirung der verschiedenen Spezifikationskonzepte aus einer einheitlichen Sicht, auf der Darstellung von Moglichkeiten zur rechnergesttitzten automatisierten Durchflihrung von Analy semaBnahmen und auf der beispielhaften Verdeutlichung ihrer Anwendung. Zum letztgenannten Punkt wurde der Bereich der Telekommunikationsprotokolle gewiihlt. Der Inhalt des Buchs faBt Erfahrungen und Arbeitsergebnisse zusammen, die ich im Laufe meiner Tiitigkeit als wissenschaftlicher Mitarbeiter und Hochschulassistent am Institut flir Tele matik der Universitiit Karlsruhe bei der Entwicklung komplexer verteilter Systeme und ent wicklungsunterstiitzender Werkzeuge gewinnen konnte. Der Text wurde von der Fakultiit fUr Informatik der Universitiit Karlsruhe im Jull 1989 als Habilitationsschrift anerkannt. 136 pp. Deutsch.
Published by Springer Berlin Heidelberg Jul 1990, 1990
ISBN 10: 3540528172ISBN 13: 9783540528173
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -In der Umformtechnik werden Werkstücke oft auf Torsion beansprucht. Diese Publikation zeigt, wie die Durchführung des Torsionsversuches im Hinblick auf Genauigkeit, Auflösung und Temperaturbestimmung an der Probe verbessert werden kann. Im Vordergrund stand dabei die Anwendung dünnwandiger hohler Proben, wobei sowohl die Handhabung als auch die Fertigung dieser Proben optimiert wurde. Eine genaue Auswertungsmethode wurde vom speziellen Fall massiver Proben auf hohle Proben verallgemeinert. Diese Näherungslösung ist um so unabhängiger vom Werkstoff- und Geschwindigkeitsverhalten, je dünnwandiger die Probe gewählt wird. Außerdem wurde die tatsächlich an der Umformung beteiligte Probenlänge berücksichtigt. Durch die Verwendung genau gefertigter Proben konnten im angewandten Geschwindigkeitsbereich hohe Vergleichsumformgrade erzielt werden, die im Hinblick auf reale Umformverfahren von Interesse sind. 164 pp. Deutsch.
Published by Springer Berlin Heidelberg Jul 1990, 1990
ISBN 10: 3540525661ISBN 13: 9783540525660
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Ärztliche Wahlleistungen werden durch den Chefarzt erbracht, der im Falle des direkten Liquidationsrechts selbst in vertragliche Beziehungen zum Patienten tritt. In diesem Buch wird die neuere Rechtsprechung des Bundesgerichtshofes zur regelmäßigen Mithaftung des Krankenhauses und - erstmals im Überblick - zur Geltung des Verweisungsprivilegs zugunsten des privat liquidierenden beamteten Chefarztes dargestellt. Im Mittelpunkt steht die gefährdete Einheit von Liquidationsbefugnis und Haftungsrisiko. Das Buch behandelt - unter Einbeziehung des Beamtenrechts und der Eintrittspflicht privater Haftpflichtversicherungen - die Möglichkeiten eines Ausgleichs im Regreßwege. Erwogen wird eine Korrektur der Rechtsprechung zur Haftung des beamteten Chefarztes nach 839 BGB. Ferner geht es um die Option, abweichend vom Regelmodell die alleinige Zuständigkeit des Chefarztes zu vereinbaren. Die dazu notwendige Abgrenzung der Pflichtenkreise von Chefarzt und Krankenhaus geschieht von einem neuen Ansatz her, anhand pflegesatz- und gebührenrechtlicher Vorgaben. Den konkreten Anforderungen an die Gestaltung von Aufnahmeformularen und allgemeinen Vertragsbestimmungen ist das abschließende Kapitel gewidmet. 156 pp. Deutsch.
Published by Springer Berlin Heidelberg Jul 1990, 1990
ISBN 10: 3540528296ISBN 13: 9783540528296
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Die vorliegende Dissertation entstand neben meiner Tätigkeit als Mitarbeiter am Institut für Montageautomatisierung GmbH (ifm). Besonders danken möchte ich Herrn Prof. Dr.-Ing. J. Milberg, dem Leiter des Lehrstuhls für Werkzeugmaschinen und Betriebswissenschaften (iwb) an der Technischen Universität Mün chen sowie des oben genannten Instituts, der mir die Bearbeitung der Thematik ermöglichte und durch kritische Anregungen und wertvolle Hinweise meine Arbeit stets wohlwollend unter stützte. Herm Prof. Dr. rer. nat. H. Schmidtke, dem Inhaber des Lehrstuhls für Ergonomie der Technischen Universität München, danke ich für das meiner Arbeit entgegengebrachte Interesse und die Übernahme des Korreferats. Desweiteren danke ich Herm Prof. Dr.-Ing. G. Duelen am Doppelinstitut IPK / IWF Berlin für die kritische Durchsicht der Arbeit, den sich daraus ergebenden Anregungen sowie der Übernahme des zweiten Korreferats. Mein Dank gilt ebenfalls Herrn Dr.-Ing C. Maier, dem Geschäftsführer des Instituts für Montageautomatisierung, der mir die Bearbeitung der vorliegenden Dissertation ermöglichte. Schließlich möchte ich mich bei allen Mitarbeiterinnen und Mitarbeitern des ifm und des iwb sowie allen Studenten, die mich bei der Erstellung der Arbeit unterstützt haben, recht herzlich bedanken. 168 pp. Deutsch.
Published by Springer Berlin Heidelberg Jul 1990, 1990
ISBN 10: 3540528679ISBN 13: 9783540528678
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Die Bestückung von Leiterplatten in kleinen Serien wird heute fast durchweg manuell durchgeführt und führt deshalb gleichzeitig zu hohen Lohnkosten und Fehlerraten. Automatisierungsvorhaben scheiterten bisher an der zu großen Anzahl unterschiedlicher bereitzustellender Bauelemente sowie an der großen Anzahl von Programmen, die erstellt, aktualisiert und verwaltet werden müssen. Im vorliegenden Buch werden technische Lösungen für das häufige Umrüsten von Industrieroboter-Bestückungssystemen entwickelt und auf die Eignung für unterschiedliche Produktspektren untersucht. Mit einem realisierten Bestückungssystem, bestehend aus einem Handhabungsroboter, einem Bestückungsroboter und einer automatischen Programmgenerierung, konnten aus den CAD-Daten der Bauelemente und Leiterplatten die Konzepte, Verfahren und Werkzeuge auf ihre Machbarkeit hin untersucht und Produktionsdaten für den Betrieb von hochflexiblen Bestückungssystemen gewonnen werden. 116 pp. Deutsch.
Published by Springer Berlin Heidelberg Jul 1990, 1990
ISBN 10: 3540527036ISBN 13: 9783540527039
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Die vorliegende Studie untersucht das Forschungs- und Entwicklungssystem (FuE) für die Telekommunikation in zehn Ländern. Sie analysiert das Zusammenwirken von Staat, Netzträgern, Herstellern und Forschungseinrichtungen und entwickelt ein valides Bild von den nationalen FuE-Systemen und ihren Vor- und Nachteilen. Aus der vergleichenden Betrachtung der Systeme werden forschungs- und entwicklungspolitische und wettbewerbspolitische Schlußfolgerungen gezogen. Die Studie wird in zwei Bänden veröffentlicht, im ersten Band werden die Methoden der Untersuchung und die FuE-Systeme der Länder USA, Japan, Frankreich und Großbritannien dargestellt. Der zweite Band behandelt die Länder Italien, Spanien, Südkorea, Niederlande, Schweden und die Bundesrepublik Deutschland. 456 pp. Deutsch.
Published by Springer Berlin Heidelberg Jul 1990, 1990
ISBN 10: 3540527222ISBN 13: 9783540527220
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Seit Jahren veranstaltet die UniversiHit Regensburg Vortragsreihen, die der Forderung in terdisziplinarer Kontakte und Gesprache unter Lehrenden wie Lernenden dienen, sich ins besondere aber an die Offentlichkeit richten. Die Vortrage dieser Zyklen werden in der Schriftenreihe der Universitat Regensburg publiziert, die inzwischen siebzehn Bande um faBt. Die Vortrage iiber den europaischen Binnenmarkt nach 1992, die in der vorliegenden Pu blikation vereinigt sind, bildeten einen Zyklus sui generis. Die Referenten kamen - anders als bei den iiblichen Vortragsreihen - von auswarts. Sie waren nicht Wissenschaftler, son dern Praktiker, oder sie sprachen, so sie Wissenschaftler waren, nicht aus der Perspektive einer Disziplin, sondern eher als politisch Denkende. Die Prominenz der Vortragenden, insbesondere der Vertreter der Wirtschaft, sicherte der Veranstaltungsreihe eine nachhal tige Resonanz und einen sehr starken Zulauf interessierter Horer aus der Universitat und aus der Offentlichkeit. Von allen Vortragszyklen der Regensburger Universitat war dieser gewiB der erfolgreichste. Den Leserinnen und Lesern der nachstehenden Beitrage wird sich erschlieBen, wie von den Referenten der neue Markt als Chance und Herausforderung eingeschatzt wird, wie man sich auf ihn einstellt oder aber nicht mehr einzustellen braucht, da man langst groBraumig, europaisch, international denkt, plant und handelt. In gewisser Weise, so konnte ein Fazit nach Lektiire der Beitrage lauten, ist der europaische Binnenmarkt fUr manche bereits jetzt nicht nur Zukunft und Vision, sondern zum Teil auch schon ein Stiick Wirklichkeit. 240 pp. Deutsch.
Published by Springer Berlin Heidelberg Jul 1990, 1990
ISBN 10: 3540528377ISBN 13: 9783540528371
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Termination proofs constitute a crucial part of program verification. Much research about termination has been done in the context of term rewriting systems. But until now there was little hope that termination proofs for nontrivial programs could be achieved automatically. This book gives a comprehensive discussion of the termination problem in the context of logic programming. Although logic programs pose specialdifficulties for termination proofs it turns out that automation of this task is obtainable to a much larger degree than for programs in imperative languages. A technique for the automatic derivation of termination proofs is presented in detail. The discussion of several nontrivial examples illustrates its range of applicability. The approach is based on the concept of declarative semantics, and thus makes use of an important feature of logic programming. 156 pp. Englisch.