springer berlin heidelberg jul 1995 (76 risultati)

Taschenbuch. Condizione: Neu. Neuware -This book is essentially a set of lecture notes from a graduate seminar given at Cornell in Spring 1994. It treats basic mathematical theory for superconvergence in the context of second order elliptic problems. It is aimed at graduate students and researchers. The necessary technical tools are developed in the text although sometimes long proofs are merely referenced.The book gives a rather complete overview of the field of superconvergence (in time-independent problems). It is the first text with such a scope. It includes a very complete and up-to-date list of references. 184 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This volume contains the lecture notes written by the four principal speakers at the C.I.M.E. session on Dynamical Systems held at Montecatini, Italy in June 1994. The goal of the session was to illustrate how methods of dynamical systems can be applied to the study of ordinary and partial differential equations. Topics in random differential equations, singular perturbations, the Conley index theory, and non-linear PDEs were discussed. Readers interested in asymptotic behavior of solutions of ODEs and PDEs and familiar with basic notions of dynamical systems will wish to consult this text.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 344 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Hodge theory is a standard tool in characterizing differ- ential complexes and the topology of manifolds. This book is a study of the Hodge-Kodaira and related decompositions on manifolds with boundary under mainly analytic aspects. It aims at developing a method for solving boundary value problems. Analysing a Dirichlet form on the exterior algebra bundle allows to give a refined version of the classical decomposition results of Morrey. A projection technique leads to existence and regularity theorems for a wide class of boundary value problems for differential forms and vector fields. The book links aspects of the geometry of manifolds with the theory of partial differential equations. It is intended to be comprehensible for graduate students and mathematicians working in either of these fields.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 172 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This volume contains the papers selected after a very careful refereeing process for presentation during the Workshop on Job Scheduling Stategies for Parallel Processing, held in Santa Barbara, California, as a prelude to the IPPS '95 conference in April 1995.The 19 full papers presented demonstrate that parallel job scheduling takes on a crucial role as multi-user parallel supercomputers become more widespread. All aspects of job scheduling for parallel systems are covered, from the perspectives of academic research, industrial design of parallel systems, as well as user needs. Of particular interest, also for nonexpert readers, is the introductory paper 'Parallel Job Scheduling: Issues and Approaches' by the volume editors.

Taschenbuch. Condizione: Neu. Neuware -This book contains two of the three lectures given at the Saint-Flour Summer School of Probability Theory during the period August 18 to September 4, 1993.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 228 pp. Englisch.

Buch. Condizione: Neu. Neuware -Capital theory is a cornerstone of modern economics. Its ideas are fundamental for dynamic equilibrium theory and its concepts are applied in many branches of economics like game theory, resource and environmental economics, although this may not be recognized on a first glance. In this monograph, an approach is presented, which allows to derive important results of capital theory in a coherent and readily accessible framework. A special emphasis is given on infinite horizon and overlapping generations economics. Irreversibility of time, or the failure of the market system appear in a different light if an infinite horizon framework is applied. To bridge the gap between pure and applied economic theory, the structure of our theoretical approach is integrated in a computable general equilibrium model.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 308 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book presents two major research results on the fast implementation of graph rewriting systems (GRS). First, it explores the class of so-called UBS-GRS, where the complexity of a rewriting step is linear instead of NP, showing for example that visual programming is possible by UBS graph rewriting. Second, an abstract machine for graph rewriting is defined providing an instruction set sufficient for the execution of GRS.The basic definitions of GRS in the algorithmic approach are introduced and extended by attribution and control structures to comprise a formalism for an operational specification. The translation of a functional programming language to graph rewriting shows the capabilities of UBS-GRS.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 284 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Conventional object-oriented data models are closed: although they allow users to define application-specific classes, they usually come with a fixed set of modelling primitives. This constitutes a major problem, as different application domains, e.g. database integration or multimedia, need special support.Using an extended metaclass concept, this book provides for the solution of this problem a simple but extendible open object-oriented data model, a so-called RISC model. By introducing the basic concepts of the open object-oriented database management system VODAK, it demonstrates how the extended metaclass concept can be integrated homogeneously into object-oriented data models.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 220 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -M. K. Gospodarowicz, P. Hermanek, and D. E. Henson Attention to innovations in cancer treatment has tended to eclipse the importance of prognostic assessment. However, the recognition that prognostic factors often have a greater impact on outcome than available therapies and the proliferation of biochemical, molecular, and genetic markers have resulted in renewed interest in this field. The outcome in patients with cancer is determined by a combination of numerous factors. Presently, the most widely recognized are the extent of disease, histologic type of tumor, and treatment. It has been known for some time that additional factors also influence outcome. These include histologic grade, lymphatic or vascular invasion, mitotic index, performance status, symptoms, and most recently genetic and biochemical markers. It is the aim of this volume to compile those prognostic factors that have emerged as important determinants of outcome for tumors at various sites. This compilation represents the first phase of a more extensive process to integrate all prognostic factors in cancer to further enhance the prediction of outcome following treatment. Certain issues surround ing the assessment and reporting of prognostic factors are also considered. Importance of Prognostic Factors Prognostic factors in cancer often have an immense influence on outcome, while treatment often has a much weaker effect. For example, the influence of the presence of lymph node involvement on survival of patients with metastatic breast cancer is much greater than the effect of adjuvant treatment with tamoxifen in the same group of patients [5].Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 308 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -The experimental discovery of the fractional quantum Hall effect (FQHE) at the end of 1981 by Tsui, Stormer and Gossard was absolutely unexpected since, at this time, no theoretical work existed that could predict new struc tures in the magnetotransport coefficients under conditions representing the extreme quantum limit. It is more than thirty years since investigations of bulk semiconductors in very strong magnetic fields were begun. Under these conditions, only the lowest Landau level is occupied and the theory predicted a monotonic variation of the resistivity with increasing magnetic field, depending sensitively on the scattering mechanism. However, the ex perimental data could not be analyzed accurately since magnetic freeze-out effects and the transitions from a degenerate to a nondegenerate system complicated the interpretation of the data. For a two-dimensional electron the positive background charge is well separated from the two gas, where dimensional system, magnetic freeze-out effects are barely visible and an analysis of the data in the extreme quantum limit seems to be easier. First measurements in this magnetic field region on silicon field-effect transistors were not successful because the disorder in these devices was so large that all electrons in the lowest Landau level were localized. Consequently, models of a spin glass and finally of a Wigner solid were developed and much effort was put into developing the technology for improving the quality of semi conductor materials and devices, especially in the field of two-dimensional electron systems.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 320 pp. Englisch.

Buch. Condizione: Neu. Neuware -In this volume, a group of distinguished economists, political scientists, and sociologists analyzes the political economy of European integration. The authors evaluate recent developments of European politics and institutions. They consider the current situation, and assess prospects for the future of an Integrated Europe. This book will be of great interest to observers, scholars, and students of European economic and political affairs, macroeconomic policy, institutional analysis, and comparative and international political economy. The book is unique in combining perspectives from economics and political science and provides in-depth analysis of the new European institutions. It is published in conjunction with 'Monetary and Fiscal Policy in an Integrated Europe' by the same editors.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 240 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Excitation of Atoms and Broadening of Spectral Lines povides a survey of elementary processes and mechanisms. It presents useful and relatively simple methods of approximation for calculating effective cross sections, giving a number of approximate formulas. Extensive tables list cross sections and rate coefficients for various atoms and elementary processes. The tables of cross sections were recalculated using an updated version of the computer code ATOM. Some material reflecting the recent progress in the field has been added to this new printing.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 324 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Die vorliegende Dissertation entstand neben meiner Tätigkeit als wissenschaftlicher Mitarbeiter und als Abteilungsleiter am Institut für Werkzeugmaschinen und Betriebs wissenschaften (iwb) der Technischen Universität München. Herrn Prof. Dr. -Ing. Joachim Milberg, unter dessen Leitung diese Dissertation entstanden ist, gilt mein besonderer Dank für die wohlwollende Förderung und großzügige Unterstützung meiner Arbeit. Herrn Prof. Dr. -Ing. Dieter Spath, dem Leiter des Instituts für Werkzeugmaschinen und Betriebstechnik der Universität Karlsruhe, danke ich sehr herzlich für sein Interesse an der Arbeit und rür die Übernahme des Koreferates. Allen Mitarbeitern des Instituts und allen Studenten, die mich bei der Erstellung meiner Arbeit unterstützt haben, mächte ich meinen tiefen Dank aussprechen. Schließlich gilt mein Dank auch meiner Familie und meinen Freunden, deren Motivation, Engagement und Vertrauen wesentlich zum Gelingen meiner Arbeit beigetragen haben. München, im Oktober 1994 Thomas Eder Inhaltsverzeichnis Inhaltsverzeichnis 1 Einleitung . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ¿. . . . . . . . . . . . 1 1. 1 Ausgangssituation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 1. 2 Zielsetzung . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 1. 3 Vorgehen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 2 Rechnerunterstützung in Produktionssystemen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 164 pp. Deutsch.

Taschenbuch. Condizione: Neu. Neuware -Die vorliegende Dissertation entstand während meiner Tätigkeit als wissen schaftlicher Mitarbeiter am Institut für Werkzeugmaschinen und Betriebswis senschaften (iwb) der Technischen Universität München. Herrn Prof. DrAng. J. Milberg, dem Leiter dieses Instituts, gilt mein beson derer Dank für die wohlwollende Förderung und großzügige Unterstützung während dieser Arbeit, die entscheidend zu deren Gelingen beigetragen hat. Herrn Prof. Dr. -Ing. K. Feldmann, dem Leiter des Instituts für Fertigungsau tomatisierung und Produktionssystematik (faps) der Universität Erlangen Nürnberg, danke ich für die Übernahme des Korreferates und die aufmerksame Durchsicht der Arbeit. Darüberhinaus mächte ich mich bei meiner Frau Helga, allen Mitarbeiterinnen und Mitarbeitern des Instituts und allen Studenten, die mich bei der Erstellung meiner Arbeit unterstützt haben, recht herzlich bedanken. München, im Juli 1994 Markus Rockland Inhaltsverzeichnis 0 Formelzeichen und Abkürzungen V 1 Einleitung 1 Entwicklung der Montagetechnik 1 1. 1 Ausgangssituation in der automatischen Teilebereitstellung 3 1. 2 1. 2. 1 Grundlagen 3 Bauarten und Funktion konventioneller Zuführgeräte 4 1. 2. 2 1. 2. 2. 1 Schwingförderer 4 1. 2. 2. 2 Schrägbandförderer 6 1. 2. 2. 3 Zuführgeräte mit anderen Antriebstechniken 7 2 Stand der Technik 8 2. 1 Begriffsbestimmungen 8 2. 1. 1 Flexibilität 8 2. 1. 2 Kommissionierung, Teilebereitstellung 9 2. 2 Forschungsergebnisse zur Teilebereitstellung 11 2. 3 Problematik der konventionellen Teilebereitstellung 17 2. 4 Zusammenfassung 18 Zielsetzung und Vorgehen 20 3 4 Analyse der automatischen Teilebereitstellung in Montageanlagen 22 Einordnung der automatischen Teilebereitstellung 4. 1 22 4. 1.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 176 pp. Deutsch.

Taschenbuch. Condizione: Neu. Neuware -aHe langen Rohrenknochen entwickelt.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 304 pp. Deutsch.

Taschenbuch. Condizione: Neu. Neuware -Das Gutachtenkolloquium 10 beschäftigt sich wieder in bewährter Form mit besonders aktuellen Fragen der ärztlichen Begutachtung. Das interdisziplinäre Forum behandelt die Schwerpunkte Bildgebende Verfahren, Der ärztliche Sachverständige, Begutachtung nach Beckenverletzungen, Psychische Verarbeitung von Verletzungen, Begutachtung des Fingerverlustes und Qualitätssicherung im Berufsgenossenschaftlichen Heilverfahren mit gewohnter Kompetenz und gibt dem Leser Richtlinien für die eigene Praxis an die Hand.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 324 pp. Deutsch.

Taschenbuch. Condizione: Neu. Neuware -Schon während der Studienzeit müssen künftige Ärzte und Ärztinnen darüber nachdenken, ob sie einmal eine eigene Praxis führen wollen. Dieses Buch wird ihnen dazu wichtige Anregungen und Entscheidungshilfen geben. Zunächst erfordert jede Praxisneugründung eine sorgfältige betriebswirtschaftliche Vorfeldanalyse. Und wenn das Wagnis kalkulierbar bleiben soll, sind gründliche Vorkenntnisse über 'alles, was dazu gehört', absolut unerläßlich. Aber auch der niedergelassene Arzt braucht ständig aktuelle Informationen und neue Ideen, um seine Stellung im härter werdenden Konkurrenzkampf zu behaupten. Das Autorenteam dieses Leitfadens verfügt über langjährige praktische Erfahrungen und vermittelt in konzentrierter Form alles Wissenswerte zum Thema 'Kassenarzt und Sprechstundenalltag'.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 316 pp. Deutsch.

Taschenbuch. Condizione: Neu. Neuware -Die Fortschritte in der Diagnostik des Prostatakarzinoms durch Einführung der transrektalen Sonographie (TRUS), der PSA-Bestimmung und der sonographiegesteuerten Prostatabiopsie sowie verbesserte Operationsmethoden haben zu einem deutlichen Anstieg der radikalen Prostataoperationen geführt und damit bei vielen Patienten die Erfolgschancen einer kurativen Therapie erhöht. Der Einsatz der neoadjuvanten endokrinen Therapie vor der radikalen Prostatektomie wird zur Zeit noch kontrovers diskutiert; eine endgültige Beurteilung ist sicher erst nach entsprechenden Langzeitbeobachtungen möglich. Dieses Buch trägt der Tatsache Rechnung, daß nur der internationale Austausch neuer Erkenntnisse die Voraussetzungen für eine verbesserte Therapie schaffen kann.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 92 pp. Deutsch.

Taschenbuch. Condizione: Neu. Neuware -- Was ist Identität Wie läßt sich dieser ewige, aber schillernde Modebegriff aus der Sicht der Psychologie genauer bestimmen Welche psychischen Abläufe bestimmen die Identitätserlebnisse von Menschen Wie entsteht Identität, und wie verändert sie sich im Verlauf der Entwicklung eines Menschen Welchen Einfluß hat das soziale Umfeld auf die persönliche Identität Haußer klärt in seinem Buch die Identitätsfrage und setzt sich darüber hinaus mit den Methoden psychologischer Identitätsforschung auseinander. Da Identität und Identitätssuche in unseren sozialen Beziehungen eine besondere Rolle spielen, werden die drei wichtigen gesellschaftlichen Definitionsräume von Identität - Schule, Arbeit und Nationalität - berücksichtigt.Wer sich persönlich oder wissenschaftlich mit Identität und Identitätsentwicklung auseinandersetzen möchte, findet in diesem Buch fundierte Informationen.Karl Haußer befaßt sich seit Jahren mit psychologischer Identitätsforschung und hat sich durch zahlreiche Buch- und Zeitschriftenveröffentlichungen zum Thema 'Identität' einen Namen gemacht.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 228 pp. Deutsch.

Taschenbuch. Condizione: Neu. Neuware -Die bekannten Autorinnen haben im Therapiekonzept der 'Ausdrucksgymnastik' Elemente des Ausdruckstanzes nach Mary Wigman durch moderne Inhalte der Krankengymnastik und der Psychotherapie ergänzt und erweitert. So entstand ein Therapieansatz, bei dem Patienten angeleitet werden, ihre Empfindungen und Wahrnehmungen genau zu erkunden und entsprechende Ausdrucksformen in Bewegung und Tanz zu entwickeln. Diese spielerische Form der Selbsterfahrung hat sich in mehr als 20 Jahren praktischer Anwendung an der Medizinischen Akademie Dresden bei ganz unterschiedlichen Krankheitsbildern (meist mit psychosomatischer Komponente) als wirkungsvoll und heilsam erwiesen. Das Buch vermittelt Hintergrundinformationen zur Methode und zeigt in Wort und Bild, wie sie in der Praxis optimal einzusetzen ist.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 160 pp. Deutsch.

Taschenbuch. Condizione: Neu. Neuware -Die Anforderungen an die Produktsicherheit und ihre Umsetzung in der Praxis bilden den Schwerpunkt dieser Dissertation zum Thema Produkthaftungsrecht. Damit liegt zu diesem Thema erstmals eine interdisziplinäre Arbeit vor. Zunächst wird untersucht, wonach sich die Sicherheitserwartung an das Produkt richtet und wie der Hersteller den Sicherheitsanforderungen nachkommen kann. Aus den wesentlichen gesetzlichen Vorschriften wird ein Gesamtbild der Anforderungen zusammengestellt. Auf dieser Basis wird der Umfang und die Bedeutung des Produkthaftungsrechts als Anlaß für unternehmerische Maßnahmen zur Eingrenzung des Produkthaftungsrisikos untersucht. 208 pp. Deutsch.

Taschenbuch. Condizione: Neu. Neuware -Altlasten und rezente Kontaminationen durch Unfälle und menschliches Fehlverhalten stellen eine Gefährdung der Biosphäre dar. Zum Schutz von Mensch, Tier und Pflanze müssen Boden, Wasser und Luft von anorganischen und organischen Schadstoffen möglichst freigehalten werden. Für die Sanierung von Böden stehen dabei unterschiedliche Technologien zur Verfügung. Die Vorteile einer mikrobiologischen Bodensanierung liegen in einer hohen Umweltverträglichkeit des Verfahrens, das durch minimalen Energieeinsatz und ohne Schaffung neuer Entsorgungsprobleme die Elimination und auch Mineralisation der Schadstoffe ermöglicht.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 224 pp. Deutsch.

Taschenbuch. Condizione: Neu. Neuware -C.W. Wutzer und B.v. Langenbeck haben vor 150 Jahren als erste den Fixateur externe in die Knochenchirurgie eingeführt. Der Siegeszug dieser Fixationssysteme wurde unterstützt durch technische Verbesserungen, Optimierung der Gewebeverträglichkeit von Implantaten, Berücksichtigung biologischer Gesichtspunkte, eine verbesserte Gestaltung sowie eine intensive Schulung der Anwender.Die Vielfalt der Anwendung und die damit verbundene Komplexität der verschiedenen Systeme, ihre Vor- und Nachteile in Verbindung mit den neuesten technischen Entwicklungen spiegeln sich in diesem Werk wider. Der Leser findet damit eine umfassende Übersicht der Fixateursysteme, extern wie intern, mit wichtigen Hinweisen für ihre klinische Anwendung.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 208 pp. Deutsch.

Taschenbuch. Condizione: Neu. Neuware -In den 40 Jahren der Verwendung von Neuroleptika in der Psychiatrie hat sich diese Therapieform langsam verbessert in Richtung hoherer Wirksamkeit bei ge ringeren Nebenwirkungen. Zu den wichtigsten Verbesserungen gehOren - die in den spaten 60er Jahren entwickelte Depotbehandlung, die zu einer er heblichen Verminderung der Compliance- und Rezidivproblematik beigetra gen hat, - die vor allem wiihrend der 70er Jahre zunehmend smrkere Beachtung der Ne benwirkungen, einschlieBlich der potentiell irreversiblen Spatdyskinesie, die zum Einsatz niedrigerer Dosen fiihrte und - die zunehmende Verwendung von Clozapin in den 70er und 80er Jahren, die den therapierefraktiiren Patienten in den Mittelpunkt des Interesses riickte und die Suche nach neuen Neuroleptika stimulierte. Revolutioniire Fortschritte und umwalzende Entdeckungen sind jedoch ausgeblie ben. Die letzten 10 Jahre haben jedoch bahnbrechende Entwicklungen mit sich ge bracht, die fiir die Pharmakotherapie von Psychosen tiefgreifende Konsequenzen haben konnten. Die molekularbiologische Rezeptorforschung hat mehrere Dopa minrezeptoren identifiziert, deren funktionelle Unterschiede sowohl hinsichtlich der therapeutischen Wirkung als auch der Nebenwirkungen von Neuroleptika in zwischen mehr oder weniger gut definiert sind. Dies hat zu einem wiedererwa chenden Interesse am Dopaminsystem gefiihrt und die Bemuhungen, neue und bessere antipsychotische Substanzen zu finden, auf ungeahnte Weise beflugelt. Insbesondere die D1-Rezeptorblockade, allein oder in Kombination mit einer D - 2 Rezeptorblockade, ist nach heutiger Vorstellung in diesem Zusammenhang von zentraler Bedeutung, wenngleich andere Dopaminrezeptoren sich als ebenso wichtig oder gar wichtiger erweisen konnten.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 208 pp. Deutsch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Many parallel computer architectures are especially suited for particular classes of applications. However, there are only a few parallel architectures equally well suited for standard programs. Much effort is invested into research in compiler techniques to make programming parallel machines easier.This book presents methods for automatic parallelization, so that programs need not to be tailored for specific architectures; here the focus is on fine-grain parallelism, offered by most new microprocessor architectures. The book addresses compiler writers, computer architects, and students by demonstrating the manifold complex relationships between architecture and compiler technology.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 204 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book constitutes the proceedings of the 11th International Conference on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC-11, held in Paris, France in July 1995.The volume presents five invited papers and 32 full revised research papers selected from a total of 68 submissions; it is focussed on research directed to the exploitation of algebraic techniques and methodologies for the application in coding and computer algebra. Among the topics covered are coding, cryptoloy, communication, factorization of polynomials, Gröbner bases, computer algebra, algebraic algorithms, symbolic computation, algebraic manipulation.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 504 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book describes four different methods of paleotemperature assessment on selected Paleozoic rock units and determines spatial variations in maximum burial depths of these units and thicknesses of lost overburden. Stratigraphic and tectonic history of the northern Appalachian basin is described in details followed by a critical review of fluid inclusion, clay diagenesis, organic maturation, and stable isotope techniques of paleotemperature measurements in sedimentary rocks.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 128 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This volume constitutes the proceedings of the Third International Conference on the Mathematics of Program Construction, held at Kloster Irsee, Germany in July 1995.Besides five invited lectures by distinguished researchers there are presented 19 full revised papers selected from a total of 58 submissions. The general theme is the use of crisp, clear mathematics in the discovery and design of algorithms and in the development of corresponding software and hardware; among the topics addressed are program transformation, program analysis, program verification, as well as convincing case studies.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 488 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Logic is one of the most popular approaches to artificial intelligence. A potential obstacle to the use of logic is its high computational complexity, as logical inference is an extraordinarily powerful computational device.This book is concerned with computational aspects of the logical approach to AI. The focus is on two strategies for achieving computational tractability in knowledge representation and reasoning by language restriction and approximation. Several formalisms for knowledge representation are taken into account; among the computational problems studied are checking satisfiability and entailment of formulae, finding a model, and approximating and compiling a logical forSpringer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 276 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This volume is based on the workshop 'Unifying Theory and Practice in Distributed Systems' held in Schloß Dagstuhl, Germany in September 1994.During the past 20 years, a substantial theoretical and practical base has evolved in the area of distributed computing. However, this work has been done by largely disjoint communities of researchers; this workshop brought together established experts from both worlds. The volume contains 17 full papers refereed and revised after the workshop so that they reflect original research enriched by insights gained through discussions at the workshop. Among the issues treated are paradigms and concepts, fundamental algorithms and principles, fault-tolerance, real-time, system structures, large case aspects and others.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 280 pp. Englisch.