springer berlin heidelberg sep 1996 (131 résultats)

Taschenbuch. Etat : Neu. Neuware -This book, based on the author's Ph.D. thesis, was selected during the 1995 GI Doctoral Dissertation Competition as the winning thesis in the foundations-of-informatics track.Securing integrity for digital communications in the age of global electronic information exchange and electronic commerce is vital to democratic societies and a central technical challenge for cryptologists. As core contribution to advancing the state of the art, the author develops the new class of digital fail-stop signatures. This monograph is self-contained regarding the historical background and cryptographic primitives used. For the first time, a general and sophisticated framework is introduced in which innovative fail-stop signatures are systematically presented and evaluated, from theoretical foundations to engineering aspects.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 420 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -For lecture courses that cover the classical theory of nonlinear differential equations associated with Poincare and Lyapunov and introduce the student to the ideas of bifurcation theory and chaos, this text is ideal. Its excellent pedagogical style typically consists of an insightful overview followed by theorems, illustrative examples, and exercises.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 316 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -As the basic principles of EDM instruments have changed little since the third edition of 1990, there was no need for significant changes. This edition differs from its predecessor in that it contains corrections of a number of errors and misprints, totally revised tables in Appendices D, E and F and a new note in Section 2. 4. 3 on the introduction of the new temperature scale in 1990. The author is indebted to the many readers who reported the many small errors and misprints. T. Black, H. Buchanan, R. Da-Col, R. Kochle, P. H. Lam, 1. Nolton, 1. R. Pollard and A. Quade were particularly helpful. All known errors have been corrected. The assistance pro vided by most manufacturers (or their agents) with the updating of the tables with the instrument data was greatly appreciated. Sydney, February 1996 1. M. RUEGER v Preface The book has evolved from the author's continuing teaching of the subject and from two editions of a text of the same title. The first edition was published in 1978 by the School of Surveying, Universi ty of New South Wales, Sydney, Australia. Like its predecessors, this totally revised third edition is designed to make the subject matter more readily available to students proceeding to degrees in Survey ing and related fields.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 300 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -One of the central problems synergetics is concerned with consists in the study of macroscopic qualitative changes of systems belonging to various disciplines such as physics, chemistry, or electrical engineering. When such transitions from one state to another take place, fluctuations, i.e., random processes, may play an im portant role. Over the past decades it has turned out that the Fokker-Planck equation pro vides a powerful tool with which the effects of fluctuations close to transition points can be adequately treated and that the approaches based on the Fokker Planck equation are superior to other approaches, e.g., based on Langevin equa tions. Quite generally, the Fokker-Planck equation plays an important role in problems which involve noise, e.g., in electrical circuits. For these reasons I am sure that this book will find a broad audience. It pro vides the reader with a sound basis for the study of the Fokker-Planck equation and gives an excellent survey of the methods of its solution. The author of this book, Hannes Risken, has made substantial contributions to the development and application of such methods, e.g., to laser physics, diffusion in periodic potentials, and other problems. Therefore this book is written by an experienced practitioner, who has had in mind explicit applications to important problems in the natural sciences and electrical engineering. 488 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -This book constitutes the refereed proceedings of the 4th International Conference on Visualization in Biomedical Computing, VBC '96, held in Hamburg, Germany, in September 1996.The 73 revised full papers presented were selected from a total of 232 submissions. The book reports the state of the art in the field of computer based visualization in medicine and biology. The papers are organized in sections on visualization; image processing; segmentation; registration; brain: description of shape; brain: characterization of pathology; brain: visualization of function; simulation of surgery and endoscopy; image guided surgery and endoscopy. 628 pp. Englisch.

Buch. Etat : Neu. Neuware -The 'European Experiment on the Transport and Transformation of Environmentally Relevant Trace Constituents over Europe' (EUROTRAC) was established in 1986 to tackle the scientific problem and combine the expertise, knowledge and resources in Europe, in order to apply them over a large region covering the greater part of the continent. EUROTRAC is a coordinated multidisciplinary scientific research project involving field measurements, laboratory studies, instrument development and development of comprehensive computer models for the simulation of the physical and chemical processes in the lower atmosphere.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 280 pp. Englisch.

Buch. Etat : Neu. Neuware -This book gives an overview of the state of the art in five different approaches to social science simulation on the individual level.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 488 pp. Englisch.

Buch. Etat : Neu. Neuware -The search for an accurate knowledge of the transfer of energy and water in our climate system and of all participating processes is still a burning issue within environmental and climate research. More reliable ways should be found to model them in their complex interplay with cascades of processes in that system, and their impact on all our resources on earth. Such modelling needs also validation with accurate and complete observations which in turn should also enable to observe variations of climate components. These are the goals of the Global Energy and Water Experiment (GEWEX), which began its work about 8 years ago. Many advanced remote sensing capabilities have now been developed, of which only a few will enter into satellite based platforms. These new developments should be brought to the attention of a broader community of younger scientists, in particular of those countries which quite recently could open their borders for free exchanges. 632 pp. Englisch.

Buch. Etat : Neu. Neuware -'Whatever regrets may be, we have done our best.' (Sir Ernest Shack 0 leton, turning back on 9 January 1909 at 88 23' South.) Brahms struggled for 20 years to write his first symphony. Compared to this, the 10 years we have been working on these two volumes may even appear short. This second volume treats stiff differential equations and differential algebraic equations. It contains three chapters: Chapter IV on one-step (Runge-Kutta) meth ods for stiff problems, Chapter V on multistep methods for stiff problems, and Chapter VI on singular perturbation and differential-algebraic equations. Each chapter is divided into sections. Usually the first sections of a chapter are of an introductory nature, explain numerical phenomena and exhibit numerical results. Investigations of a more theoretical nature are presented in the later sections of each chapter. As in Volume I, the formulas, theorems, tables and figures are numbered con secutively in each section and indicate, in addition, the section number. In cross references to other chapters the (latin) chapter number is put first. References to the bibliography are again by 'author' plus 'year' in parentheses. The bibliography again contains only those papers which are discussed in the text and is in no way meant to be complete.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 632 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -Auf der Grundlage der Mathematikkenntnisse des ersten Studienjahres bietet der Autor eine Einführung in die Zahlentheorie mit Schwerpunkt auf der elementaren und algebraischen Zahlentheorie. Das Buch wendet sich auch an Nichtspezialisten, denen es über die Zahlen frühzeitig den Weg in die Algebra öffnet. Angestrebte Ziele sind: Der Satz von Kronecker-Weber zur Krönung der Galois-Theorie, der Minkowskische Gitterpunktsatz, der Dirichletsche Primzahlsatz und die Bewertungstheorie der Körper.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 376 pp. Deutsch.

Taschenbuch. Etat : Neu. Neuware -Dieses Lehr- und Arbeitsbuch bietet dem Studienanfänger aus Physik und Ingenieurwissenschaften, der Praxis im Umgang mit der Mathematik erwerben möchte, durch Darstellung und didaktische Gestaltung wertvolle Hilfestellung bei der Erarbeitung mathematischen Grundwissens. Die Gestaltung des Textes, die den Leser immer wieder anregt, Gedankenschritte selbst zu vollziehen, weiterzuführen, Verbindungen herzustellen, Rechnungen nachzuvollziehen und die eigenen Kenntnisse zu überprüfen, bietet hier größtmögliche Unterstützung.Immer wieder werden anwendungsbezogene Beispiele gegeben und ausführlich bearbeitet. Definitionen und Sätze sind vollständig formuliert. Beweise werden nur da weggelassen, wo sie weder dem Verständnis des Satzes noch dem Einüben bestimmter Schlußweisen oder Begriffe dienen. Bei der Bearbeitung der ca. 250 Aufgaben wird dem Studenten eine gestufte Hilfestellung in Form von Lösungshinweisen und der kompletten Lösung gegeben.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 356 pp. Deutsch.

Buch. Etat : Neu. Neuware -Moderne Unternehmen erhöhen ihre Wettbewerbsfähigkeit durch Neuorientierung der inneren Organisation. Der Weg führt über Vernetzung und Projektorientierung zu flachen Strukturen. Die Autoren plädieren dafür, von einer technokratischen Organisationsentwicklung Abschied zu nehmen. Statt dessen wollen sie das Umfeld schaffen, in dem sich die innovativen Kräfte eines Unternehmens entfalten können. Das Buch stellt eine Diskussionsgrundlage dar und bietet praxisnahe Lösungsansätze. Herausragende Fachleute aus Wissenschaft und Unternehmen verschiedener Branchen stellen ihr Wissen zur Verfügung.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 244 pp. Deutsch.

Taschenbuch. Etat : Neu. Neuware -Open-VMS-Einsteiger lernen das weitverbreitete Betriebssystem mit diesem verständlichen Lehr- und Nachschlagewerk schnell kennen und anzuwenden. Auch Profis finden hier eine wertvolle und verläßliche Hilfe für ihre tägliche Arbeit. Die wichtigsten Konzepte und Kommandos von Open-VMS werden kompakt und mit vielen Beispielen beschrieben.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 620 pp. Deutsch.

Taschenbuch. Etat : Neu. Neuware -Auf anschauliche und leicht verständliche Weise bringt dieses Lehrbuch dem Leser die zunächst abstrakt erscheinenden Strategien, Methoden und Werkzeuge des Qualitätsmanagements nahe. Es beschränkt sich dabei auf die wesentlichen Inhalte. Das Werk basiert auf einer gemeinsamen Vorlesung dreier Lehrstühle der Konstruktions- und Produktionstechnik der TU München. Es stellt dieses fach- und abteilungsübergreifende Thema aus deren sich ergänzenden Sichtweisen ganzheitlich und am gesamten Lebenszyklus eines Produkts orientiert dar. Auch Aspekte der Arbeitswissenschaft, der Organisationspsychologie, der Wirtschaft und des Rechts werden behandelt. Neben den vielen Beispielen und Illustrationen erleichtert ein themenorientierter 'Navigator' am Buchrand das effiziente Erarbeiten des Lehrstoffs.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 336 pp. Deutsch.

Taschenbuch. Etat : Neu. Neuware -Zum 800jahrigen Jubilaum der Stadt Heidelberg findet das 18. DAGM-Sym posium Mustererkennung 1996 an der mit 610 Jahren altesten Universitat Deutschlands statt. Auch wenn die Mustererkennung noch nicht auf eine so lange Geschichte zUIiickblicken kann, so stellt das seit 1978 jahrlich von der Deutschen Arbeitsgemeinschaft veranstaltete Symposium Mustererken nung in der sich schnell wandelnden Technik-und Wissenschaftslandschaft eine erstaunliche Kontinuitat dar. Es zeugt davon, delE die Mustererkennung nichts an Aktualitat vedoren hat. Es sind keine Erml1dungserscheinungen festzustellen. 1m Gegenteil: Durch die zunehmende Bedeutung interdiszi plinarer Forschung wird die Mustererkennung weiterhin eine wichtige Rolle spielen. AuBerdem erschlieEen die steigende Leistungsfahigkeit der Compu terhardware und der Algorithmik standig neue Anwendungsgebiete. Ausrichter des 18. Symposiums Mustererkennung ist eine der jl1ngsten Einrichtungen der Universitat Heidelberg, die 1994 gegrl1ndete Forschungs gruppe Bildverarbeitung am Interdisziplinaren Zentrum fur Wissenschaft liches Rechnen (IWR). Das IWR ist eine zentrale Einrichtung der Universitat Heidelberg und wurde gegrl1ndet, um Methoden des wissenschaftlichen Rech nens zur Losung komplexer naturwissenschaftlicher Probleme einzusetzen. Daher stehen bei der Forschungsgruppe Bildverarbeitung am IWR die ma thematischen Grundlagen und interdisziplinare naturwissenschaftliche An wendungen im Vordergrund.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 708 pp. Deutsch.

Taschenbuch. Etat : Neu. Neuware -Alternative Ernährungsweisen finden heute bei jungen Eltern immer mehr Zuspruch. Sie wirken sich bei jüngeren Kindern und Säuglingen häufig anders aus als bei Erwachsenen. Gerade im frühen Lebensalter birgt jedoch eine unausgewogene Nahrungszusammensetzung ernste gesundheitliche Gefahren, da bestimmte Nahrungsbestandteile für die normale Entwicklung unerläßlich sind. Über die Vielzahl alternativer Ernährungskonzepte sowie über in diesem Zusammenhang häufig auftretende Fragen wird in diesem Band informiert. Neben kontroversen Diskussionen finden sich praxisnahe Orientierungshilfen für Ärzte, Eltern und Erzieher.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 452 pp. Deutsch.

Taschenbuch. Etat : Neu. Neuware -Die Geburtshilfefibel bietet Hilfe für die praktische Arbeit im Kreißsaal und auf der Wochenstation. In die Überarbeitung wurden die neuesten Erkenntnisse aufgenommen und insbesondere die Methodenkapitel erweitert. Knapp und übersichtlich sind Diagnostik und Überwachung, geburtshilfliche Eingriffe sowie die Behandlung von Notfällen dargestellt, um eine schnelle Informationsmöglichkeit zu geben. Der Anhang enthält eine Übersicht zu wichtigen Pharmaka und Flußdiagramme für die Lösung besonderer Problemstellungen. Hebammen, Geburtshelfer, AIP und Ärzte erhalten mit diesem Taschenbuch einen handlichen Wegweiser für den klinischen Alltag.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 352 pp. Deutsch.

Taschenbuch. Etat : Neu. Neuware -Die Elektronik ist in der modernen Experimentalphysik und Meßtechnik zu einem unentbehrlichen Hilfsmittel geworden. Für den richtigen und sinnvollen Einsatz der vorhandenen elektronischen Einrichtungen ist eine wichtige Voraussetzung erforderlich: eine gute Kenntnis zumindest der grundlegenden Prinzipien der eingesetzten Geräte, die durch die Mikroprozessortechnik immer vielfältiger und von der Bedienung anspruchsvoller werden. Darüber hinaus müssen Physiker für die Entwicklung neuer elektronischer Verfahren in der experimentellen Physik ausreichende elektronische Kenntnisse besitzen. Das vorliegende Buch ist aus einer Elektronikvorlesung für Physikstudenten an der Universität Heidelberg hervorgegangen, die angehenden Physikern nützliche Kenntnisse in der Elektronik vermittelt.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 304 pp. Deutsch.

Taschenbuch. Etat : Neu. Neuware -Das Thema Selbsterfahrung, bislang kaum beachtet, hat in der VT-Ausbildung hohe Aktualität gewonnen. Dieser Prozeß wurde wesentlich durch Ausbildungsauflagen der Kassenärztlichen Vereinigung im Rahmen des sogenannten Delegationsverfahrens notwendig gemacht. Historisch betrachtet waren es immer wieder Vertreter anderer therapeutischer Schulen, die Verhaltenstherapeuten auf diese vermeintliche Lücke in der Ausbildung hingewiesen haben. Obwohl eine empirisch-wissenschaftliche Begründung für Selbsterfahrung immer noch aussteht, haben Akzeptanz und Interesse bei verhaltenstherapeutischen Ausbildern spürbar zugenommen, und der Diskussionsfokus richtet sich verstärkt auf inhaltliche und didaktische Aspekte. Der Leser nimmt an der Diskussion, die im vorliegenden Buch schulenübergreifend angelegt ist, teil.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 316 pp. Deutsch.

Buch. Etat : Neu. Neuware -1m Juni 1992 versammelten sich in Rio de Janeiro, Brasilien, 25000 Menschen zur grOBten Konferenz aller Zeiten, die auf Grund der gro6en Zahl der teil nehmenden Prasidenten und Regierungschefs auch als «Welt-Gipfel» bezeichnet wird. Sie stand unter der Schirmherrschaft der Vereinten Nationen und befaBte sich mit den Themen Umwelt und Entwicklung. Es wurden u. a. folgende Frage stellungen betrachtet: Wie kann zwischen der Notwendigkeit zur Entwicklung und Verbesserung der menschlichen Lebensqualitiit und der wichtigen Verpflichtung, die Umwelt zu bewah ren, die richtige Balance gefunden werden Wie kann das Ziel einer nachhaltigen Entwicklung erreicht werden Die Konferenz war nicht nur ein Meilenstein fUr die Umwelt; daB Umwelt themen ein fester Bestandteil des politischen Alltags geworden sind, konnte nicht deutlicher demonstriert werden. Sie war auch ein Ereignis von gro6er Bedeutung fUr die Beziehung zwischen Wissenschaft und Politik. Weil die wissenschaftliche Gemeinschaft den Politikern und Verantwortlichen dieser Welt das Problem der globalen Erwarmung (einschlie6lich ihrer Unwagbarkeiten) klar verdeutlichen konnte, erwies es sich auf dieser Konferenz als moglich, nahezu alle Lander zur Unterzeichnung des Rahmenabkommens zur Klimaverlinderung zu bewegen. Der Welt-Gipfel in Rio war nur ein Anfang. Uber Kernprobleme wie Forst wirtschaft und Artenvielfalt wurde keine Ubereinkunft erreicht. Die Klima-Kon vention ist ein gro6er Schritt vorwlirts, aber eindeutige und verbindliche MaB nahmen miissen noch vereinbart werden. Auf den betroffenen Gebieten bedeutet das Ergebnis des Gipfels eine enorme Herausforderung fUr die Wissenschaftler dieser Erde.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 652 pp. Deutsch.

Buch. Etat : Neu. Neuware -Dieses Buch bietet eine systematische Einführung in dieses neue Arbeitsfeld der automatischen Bildanalyse. Es behandelt sämtliche wichtigen Teilaspekte, beginnend mit der Gewinnung von Tiefenbildern durch passive und aktive Verfahren über die Extraktion charakteristischer Flächenmerkmale und die Segmentierung bis hin zur modellbasierten Objekterkennung. Daneben werden konkrete Anwendungen der Tiefenbildanalyse vorgestellt. Die Didaktik des Buches erlaubt es Forschern und Praktikern, sich selbständig in dieses Gebiet einzuarbeiten. Das teilweise schwer zugängliche Material wurde in einheitlicher Notation und verständlicher Form aufbereitet. Die beschriebenen Verfahren können damit leicht auf dem Computer implementiert werden. Die Literaturhinweise geben einen vollständigen Überblick über die aktuelle Forschung.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 380 pp. Deutsch.

Buch. Etat : Neu. Neuware -Das Buch zeigt ausführlich die vielen Möglichkeiten für die Gestaltung von textilen Halbzeugen, die über verschiedene Stadien zum fertigen Bauteil führen. Außerdem gibt es Einblick in Kombinationsmöglichkeiten von Fasern und Matrices mit thermoplastischen und duroplastischen Polymeren. Die Autoren diskutieren die Besonderheiten der Bauweisenmöglichkeiten mit Faserverbunden und belegen die Vielfalt der Bau-weisen mit zahlreichen Bauteilbildern und Prinzipskizzen. Das Buch dient sowohl dem Studenten als Lehrbuch als auch dem Praktiker als ausführliches Nachschlagewerk und regt den Entwicklungsingenieur zu neuen Bauweisen- und Fertigungskonzepten an. Das Buch 'Faserverbundbauweisen - Fasern und Matrices' derselben Autoren bildet eine hervorragende Grundlage und Ergänzung zum vorliegenden Werk.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 352 pp. Deutsch.

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book is the first comprehensive treatise of the transcendence theory of Mahler functions and their values. Recently the theory has seen profound development and has found a diversity of applications. The book assumes a background in elementary field theory, p-adic field, algebraic function field of one variable and rudiments of ring theory. The book is intended for both graduate students and researchers who are interested in transcendence theory. It will lay the foundations of the theory of Mahler functions and provide a source of further research. 200 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book presents the refereed proceedings of the Fourth International Symposium on Design and Implementation of Symbolic Computation Systems, DISCO '96, held in Karlsruhe, Germany, in September 1996.The volume includes four invited contributions surveying the state of the art in a particular subfield or pointing to some new research directions together with 31 revised full papers selected from a total of some 70 submissions. Many current aspects of mathematical software systems, as employed e.g. in computer algebra, automated theorem proving, or al- gebraic specification are addressed. 376 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book contains a selection of papers presented at a workshop on evolutionary computing sponsored by the Society for the Study of Artificial Intelligence and Simulation of Behaviour, AISB, at the University of Sussex in Brighton, UK, in April 1996.The 22 revised full papers included in the book, together with one invited contribution, were carefully reviewed by the program committee. Twelve contributions investigate applications of evolutionary computing in various areas, such as learning, scheduling, searching, genetic programming, image processing, and robotics. Eleven papers are devoted to evolutionary computing theory and techniques. 324 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 4th European Symposium on Research in Computer Security, ESORICS '96, held in Rome, Italy, in September 1996 in conjunction with the 1996 Italian National Computer Conference, AICA '96.The 21 revised full papers presented in the book were carefully selected from 58 submissions. They are organized in sections on electronic commerce, advanced access control models for database systems, distributed systems, security issues for mobile computing, network security, theoretical foundations of security, and secure database architectures. 388 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 4th European Symposium on Algorithms, ESA '96, held in Barcelona, Spain, in September 1996.The book presents 40 revised full papers selected from 124 submissions; also are included extended abstracts of two invited presentations. The papers included cover all research areas on algorithms and their analysis as it is carried out in the fields of computer science, discrete applied and algorithmic mathematics, operations research, and all other areas of algorithms-oriented research, design and analysis. 584 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the Fifth International Conference on Algebraic and Logic Programming, ALP '96, held in Aachen, Germany, in September 1996 in conjunction with PLILP and SAS.The volume presents 21 revised full papers selected from 54 submissions; also included is an invited contribution by Claude Kirchner and Ilies Alouini entitled 'Toward the Concurrent Implementation of Computational Systems'. The volume is divided into topical sections on logic programming, term rewriting, integration of paradigms, abstract interpretation, Lambda-calculus and rewriting, and types. 360 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 20th Annual German Conference on Artificial Intelligence, KI-96, held in Dresden, Germany, in September 1996.The book presents three invited papers together with 23 revised full research papers, nine posters and four systems demonstrations. All contributions were carefully selected from a larger number of excellent submissions, of which a considerable part had been submitted from abroad. The papers address many subareas of AI; however, there is a certain focus on new develpments in theorem proving, knowledge representation, and reasoning. 408 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This anthology is based on the First ACM Workshop on Applied Computational Geometry, WACG '96, held in Philadelphia, PA, USA, in May 1996, as part of the FCRC Conference.Today, CG is in transition and applied computational geometry has established itself as a fertile meeting ground for theorists from core computational geometry and practitioners from the potential application areas to exchange their ideas and identify issues of common interest. The book presents 11 invited contributions and state-of-the-art reports by leading experts together with 12 refereed full papers selected from 32 submissions. It points the way towards geometrical engineering and addresses researchers and professionals sharing an interest in geometric algorithms and techniques and their use in computational sciences and engineering. 244 pp. Englisch.