springer berlin heidelberg mai 1996 (71 Ergebnisse)

Taschenbuch. Zustand: Neu. Neuware -B is one of the few formal methods which has robust, commercially-available tool support for the entire development lifecycle from specification through to code generation. This volume provides a comprehensive introduction to the B Abstract Machine Notation, and to how it can be used to support formal specification and development of high integrity systems. A strong emphasis is placed on the use of B in the context of existing software development methods, including object-oriented analysis and design. The text includes a large number of worked examples, graduated exercises in B AMN specification and development (all of which have been class-tested), two extended case studies of the development process, and an appendix of proof techniques suitable for B. Based on material which has been used to teach B at postgraduate and undergraduate level, this volume will provide invaluable reading a wide range of people, including students, project technical managers and workers, and researchers with an interest in methods integration and B semantics.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 244 pp. Englisch.

Buch. Zustand: Neu. Neuware -This book publishes the English translation of texts that appeared first in Gennan in two separate booklets. Part One, The Ethics of Capitalism includ ing the comment by JAMES M. BUCHANAN, has been published in Gennan under the title Ethik des Kapitalismus, Ttibingen (J.C.B. Mohr [paul Sie beck)) 1982, 5th edition 1995, in the series 'Walter Eucken Institut, Vort:rt1ge und Aufsatze', vol. 87. Part Two, Evolution and Society. A Critique of So ciobiology, appeared first in German under the title Evolution und Gesell schaft. Eine Auseinandersetzung mit der Soziobiologie, Ttibingen (J.e.B. Mohr [Paul Siebeck)) 1984, 2nd edition 1989, in the same series, vol. 98. Part One of the book has been translated by the author, Part Two by DAVID AMBUEL. I should like to thank Liberty Fund Inc., Indianapolis, USA, for its sup port of the translation of Part Two, Georg Siebeck of J.C.B. Mohr (paul Siebeck) Publishers, Ttibingen, for the pennission to publish the English translation of the two essays and to my co-workers at the Forschungsinstitut ftir Philosophie Hannover -The Hannover Institute of Philosophical Re search, Hannover, Germany, for their support in editing this volume.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 156 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -Although this second edition retains the concise format of the first edition, the number of tumours described has increased considerably, especially in the melanocytic, adnexal, fibrous tissue and lymphoid neoplasms. Care has been taken to avoid needless subclassification, so as to limit the expansion of categories to those fulfilling demonstrable histological criteria. The commentaries remain succint whilst including the major diagnostic points, with reference to relevant immunohistochemical features.All the illustrations have been changed since the first edition. Of particular importance is the fact that close collaboration with the authors of the AFIP Atlas of Tumor Pathology on Melanocytic and Non-melanocytic Tumors of the Skin ensures a consistent approach to the classification.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 232 pp. Englisch.

Buch. Zustand: Neu. Neuware -The main contents and character of the monograph did not change with respect to the first edition. However, within most chapters we incorporated quite a number of modifications which take into account the recent development of the field, the very valuable suggestions and comments that we received from numerous colleagues and students as well as our own experience while using the book. Some errors and misprints in the first edition are also corrected. Reiner Horst May 1992 Hoang Tuy PREFACE TO THE FIRST EDITION The enormous practical need for solving global optimization problems coupled with a rapidly advancing computer technology has allowed one to consider problems which a few years aga would have been considered computationally intractable. As a consequence, we are seeing the creation of a large and increasing number of diverse algorithms for solving a wide variety of multiextremal global optimization problems. The goal of this book is to systematically clarify and unify these diverse approaches in order to provide insight into the underlying concepts and their pro perties. Aside from a coherent view of the field much new material is presented.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 756 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -Dieses Lehrbuch möchte den Maschinenbaustudenten ohne Konstruktionserfahrung mit einem Minimum an erforderlichen Voraussetzungen an die Methodik des Konstruierens heranführen. Funktions-, Beanspruchungs-, Fertigungs- und Montagegerechtigkeit werden dabei berücksichtigt. Die Didaktik des Buches erfolgt in Analyserichtung, bei der vom Konkreten zum Abstrakten übergegangen wird. Die Abfolge des Methodischen Konstruierens - Konzept-Entwurf-Ausarbeitung - wird dabei in umgekehrter Richtung gelehrt. Dieses Lehrkonzept hat sich vor allem an Fachhochschulen als erfolgreich erwiesen und bietet erst die Möglichkeit, Konstruktionsneulingen diesen komplexen Lehrstoff nahezubringen. Gemäß diesem Konzept werden die Inhalte zumeist an Beispielen und mit zahlreichen Abbildungen erläutert.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 188 pp. Deutsch.

Taschenbuch. Zustand: Neu. Neuware -Vielen Unternehmen ist die Zertifizierung nach DIN EN ISO 9001 ein Buch mit sieben Siegeln. Das kann diese knappe Anleitung ändern: Sie bietet kleinen und mittelständischen Unternehmen der Software-Branche einen verständlichen Einstieg in das Thema 'Qualitätsmanagement' und hilft ihnen, sich auf die Zertifizierung nach DIN EN ISO 9001 vorzubereiten.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 92 pp. Deutsch.

Taschenbuch. Zustand: Neu. Neuware -Der vorliegende Übungsband ist als Ergänzung zu den Hochschultaschenbüchern 184 und 185 Grundlagen der Elektrotechnik III und IV gedacht. Der dort behandelte Stoff wird zur Lösung der Aufgaben vorausgesetzt, und die Nummern der Kapitel und der Aufgabe sind jeweils gleich.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 212 pp. Deutsch.

Taschenbuch. Zustand: Neu. Neuware -Das Buch soll den Leser, der an Formaler Begriffsanalyse als Methode der Datenanalyse und Wissenstrukturierung interessiert ist, in die Lage versetzen, eigene C++-Programme zur Formalen Begriffsanalyse zu schreiben. Die C++-Klassenbibliothek wird in Aufbau und Benutzung ausführlich anhand zahlreicher Beispiele sowie den zugrunde liegenden mathematischen Begriffen diskutiert. Die Vorgehensweisen der Formalen Begriffsanalyse werden an einem Anwendungsbeispiel erläutert, so daß das Buch sowohl als Leitfaden für den interessierten Neueinsteiger als auch als Handbuch für den versierten Anwendungsprogrammierer und Projektleiter dienen kann. Der Quellcode der aktuellen Version der C++-Bibliothek findet man auf dem Internet.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 336 pp. Deutsch.

Taschenbuch. Zustand: Neu. Neuware -Die vierte Auflage der Statistischen Theorie der Wärme wurde gründlich überarbeitet und durch zahlreiche durchgerechnete Beispiele ergänzt. Die Gleichgewichtsphänomene werden in drei Teilen behandelt: I. Statistische Gesamtheiten und das thermische Gleichgewicht, II. Gleichgewichtsthermodynamik, III. Berechnung thermodynamischer Funktionen. Die einzelnen Kapitel sind übersichtlich aufgebaut und ermöglichen es dem Leser, sich schnell zu informieren. Studierende der Physik, der chemischen Physik und bis zu einem gewissen Grade auch der Chemie und Technik finden hier eine grundlegende Einführung. Der Anwendungsteil macht das Lehrbuch zudem auch für Wissenschaftler interessant. Dieses Standardwerk wird auch noch lange nach der Vorlesung wertvolle Dienste beim Nachschlagen leisten und als Fundgrube für Querverbindungen und Methoden dienen.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 360 pp. Deutsch.

Buch. Zustand: Neu. Neuware -Viele Staaten haben in den letzten Jahren die Voraussetzungen für die Gewährung politischen Asyls verschärft. Dadurch gewinnen andere Normen, die der Rückführung in ein bestimmtes Land entgegenstehen können, an praktischer Bedeutung. Dies gilt insbesondere für das Verbot der Abschiebung bei drohender Folter oder Mißhandlung, das sich u.a. aus dem Folterverbot des Art. 3 EMRK und der Menschenwürde des Art. 1 GG ableiten läßt. Die Arbeit stellt die Abschiebungsrelevanz dieser Normen ausführlich dar und zeigt, welche Bindungen materiell- und verfahrensrechtlicher Natur daraus zu folgern sind. Die Ausgestaltung der nach deutschem Verfahrensrecht gegebenen Rechtsbehelfe wird dargestellt und kritisiert. Außerdem werden die Möglichkeiten beschrieben, auf internationaler Ebene Rechtsschutz zu erlangen.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 256 pp. Deutsch.

Buch. Zustand: Neu. Neuware -Dieses Buch beschreibt kompetent und umfassend die aktuellen Technologien zur Herstellung von hochintegrierten Schaltungen bis zur Prozeßintegration für den 256-Mbit-Speicher. Es wendet sich damit an fortgeschrittene Studenten sowie Ingenieure und Naturwissenschaftler in Forschung, Entwicklung und Fertigung. Die gewaltigen Entwicklungen in der Prozeßtechnologie der letzten Jahre finden sich in dieser Neuauflage wieder: Planarisierungstechniken, neue Materialien wie Refraktärmetalle, modernste Prozeßarchitekturen für CMOS-, Bipolar-, BICMOS- und Smart-Power-Technologien. Hinzu kommen wesentlich verbesserte Einzelprozesse in Schichttechnik, Lithographie, Ätztechnik und Dotiertechnik mit selbstjustierenden Verfahren. Die Autoren, selbst aktiv an diesen Fortschritten beteiligt, geben Informationen aus erster Hand.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 392 pp. Deutsch.

Buch. Zustand: Neu. Neuware -Gasströme aus Produktions- und Verbrennungsprozessen sind oft erheblich mit Schadstoffen belastet. Ausgehend von sämtlichen in der TA-Luft verzeichneten Abgaskomponenten beschreibt dieses Werk die Verfahren zur Emissionsminderung. Die verfahrenstechnischen Möglichkeiten und Grenzen der Reinigung von Abgasströmen werden aufgezeigt sowie die charakteristischen Merkmale der verschiedenen Verfahren verdeutlicht. Mit Hilfe von Modellbetrachtungen erläutert der Autor die Unterschiede in den Verfahren und diskutiert die Berechnungsverfahren zur Dimensionierung von Apparaten. Gegenstand dieser Betrachtung sind die heutigen mit Erfolg in der Industrie eingesetzten Prozesse und zukünftige Entwicklungen. Abschließend gibt das Buch die Kriterien an, die für die Auswahl des Abgasreinigungsverfahrens von Bedeutung sind.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 262 pp. Deutsch.

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book contains revised refereed papers selected from the presentations at the First International Workshop on Graphics Recognition, held in University Park, PA, USA, in August 1995.The 23 full papers included are divided into sections on low-level processing, vectorization and segmentation of scanned graphics documents; symbol and diagram recognition, map processing, interpretation of engineering drawings. Each section contains both survey articles to assess the state of the art, and research papers presenting novel results. One section is devoted to a contest held to determine the best algorithm for detection of dashed lines in drawings. The final chapter summarizes the conclusions and recommendations of the discussions held during the workshop. 324 pp. Englisch.

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This comprehensive state-of-the-art book is the first devoted to the important and timely issue of evaluating NLP systems. It addresses the whole area of NLP system evaluation, including aims and scope, problems and methodology.The authors provide a wide-ranging and careful analysis of evaluation concepts, reinforced with extensive illustrations; they relate systems to their environments and develop a framework for proper evaluation. The discussion of principles is completed by a detailed review of practice and strategies in the field, covering both systems for specific tasks, like translation, and core language processors. The methodology lessons drawn from the analysis and review are applied in a series of example cases. A comprehensive bibliography, a subject index, and term glossary are included. 252 pp. Englisch.

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 7th Annual Symposium on Combinatorial Pattern Matching, CPM '96, held in Laguna Beach, California, USA, in June 1996.The 26 revised full papers included were selected from a total of 48 submissions; also included are two invited papers. Combinatorial pattern matching has become a full-fledged area of algorithmics with important applications in recent years. The book addresses all relevant aspects of combinatorial pattern matching and its importance in information retrieval, pattern recognition, compiling, data compression, program analysis, and molecular biology and thus describes the state of the art in the area. 408 pp. Englisch.

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book contains a refereed collection of thoroughly revised full papers based on the contributions accepted for presentation at the International Workshop on Studies of Software Design, held in conjunction with the 1993 International Conference on Software Engineering, ICSE'93, in Baltimore, Maryland, in May 1993.The emphasis of the 13 papers included is on methods for studying, analyzing, and comparing designs and design methods; the topical focus is primarily on the software architecture level of design and on techniques suitable for dealing with large software systems. The book is organized in sections on architectures, tools, and design methods and opens with a detailed introduction by the volume editor. 200 pp. Englisch.

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -In a competitive world, research in manufacturing systems plays an important role in creating, updating and improving the technologies and management practices of the economy. This volume presents some of the most recent results in stochastic manufacturing systems. Experts from the fields of applied mathematics, engineering and management sciences review and substantially update the recent advances in the control and optimization of manufacturing systems. Recent Advances in Control and Optimization of Manufacturing Systems consists of eight chapters divided into three parts which focus on Optimal Production Planning, Scheduling and Improvability and Approximate Optimality and Robustness. This book is intended for researchers and practitioners in the fields of systems theory, control and optimization, and operation management as well as in applied probability and stochastic processes. 240 pp. Englisch.

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains a thoroughly refereed collection of revised full papers selected from the presentations at the First East-West International Conference on Multimedia, Hypermedia, and Virtual Reality, MHVR'94, held in Moscow, Russia, in September 1994.The 22 full papers presented in the book were selected from a total of 76 initial submissions and have been carefully updated for publication. Also included are two invited papers and summaries by the session chairpersons. The volume is organized in chapters on hypermedia models and architectures, enhancing multimedia support, new technologies for virtual reality, hypermedia and multimedia for group collaboration, hypermedia and multimedia for learning, and personalized hypermedia. 328 pp. Englisch.

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book presents a collection of revised refereed papers selected from the presentations accepted for the Second International Workshop on Higher-Order Algebra, Logic, and Term Rewriting, HOA '95, held in Paderborn, Germany, in September 1995.The 14 research papers included, together with an invited paper by Jan Willem Klop, report state-of-the-art results; the relevant theoretical aspects are addressed, and in addition existing proof systems and term rewriting systems are discussed. 304 pp. Englisch.

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Extracellular matrix (ECM) turnover is a widespread but in completely understood process. Many studies have been con ducted with the aim of discovering the general mechanisms which produce and maintain the ECM in tissues. Wound re pair in animals has always been a suitable 'tool' for exploring these mechanisms. In such a pathologic event, the different components of the healing system can be readily observed since they are exaggerated. It has now become clear that the regulation of protease/inhibitor activity is one of the most im portant steps in maintaining the integrity of ECM in the normal as well as in the pathologic state. As far as the repair process is concerned, a failure in such regulation may result in abnormal wound healing ranging from nonhealing wounds to hyper trophic scarring. Experimental findings have been directly applied in clinical practice. For example, the importance of debridement in nor mal and especially in poorly healing wounds has become much clearer in the recent past. Different methods have been proposed to obtain an optimal wound bed in order to perform skin transplantation. Both mechanical and physical debridement procedures un doubtedly offer some advantages and are essential when extensive third degree burns have to be treated. On the other hand, pain, excessive blood loss, and overall broad and indi scriminate debridement are common negative side effects. Thus, many enzymic formulations have been proposed and used in practice by clinicians all over the world. 128 pp. Englisch.

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume presents the proceedings of the Fifth Integer Programming and Combinatorial Optimization Conference, IPCO V, held in Vancouver, British Columbia, Canada, in June 1996.The 36 revised papers included in the book were selected from a total of 99 submissions; they highlight recent developments in theory, computation, and applications of integer programming and combinatorial optimization. The volume is organized in sections on integer programming theory and models, network flow algorithms, approximation algorithms, semi-definite methods, matrix models, set systems and submodularity, scheduling, probabilistic methods, polyhedral methods, and the traveling salesman problem. 524 pp. Englisch.

Taschenbuch. Zustand: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book contains a refereed collection of thoroughly revised full papers based on the contributions accepted for presentation at the International Workshop on Studies of Software Design, held in conjunction with the 1993 International Conference on Software Engineering, ICSE'93, in Baltimore, Maryland, in May 1993.The emphasis of the 13 papers included is on methods for studying, analyzing, and comparing designs and design methods; the topical focus is primarily on the software architecture level of design and on techniques suitable for dealing with large software systems. The book is organized in sections on architectures, tools, and design methods and opens with a detailed introduction by the volume editor.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 200 pp. Englisch.

Taschenbuch. Zustand: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This volume presents the proceedings of the Fifth Integer Programming and Combinatorial Optimization Conference, IPCO V, held in Vancouver, British Columbia, Canada, in June 1996.The 36 revised papers included in the book were selected from a total of 99 submissions; they highlight recent developments in theory, computation, and applications of integer programming and combinatorial optimization. The volume is organized in sections on integer programming theory and models, network flow algorithms, approximation algorithms, semi-definite methods, matrix models, set systems and submodularity, scheduling, probabilistic methods, polyhedral methods, and the traveling salesman problem.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 524 pp. Englisch.

Taschenbuch. Zustand: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book constitutes the refereed proceedings of the 1996 Ada-Europe International Conference on Reliable Software Technologies, held in Montreux, Switzerland, in June 1996.The 35 revised full papers selected for inclusion in the volume, along with four attractive invited papers, were contributed by researchers, developers, and users; they cover numerous aspects of the Ada 95 programming language and address various current topics of reliable software in general. Among the issues addressed are software development methods, verification and validation, safety and security, distributed systems, real-time systems, compilers and tools, the Ada 95 language, and interfaces to other worlds.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 532 pp. Englisch.

Taschenbuch. Zustand: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book constitutes the refereed proceedings of the 7th Annual Symposium on Combinatorial Pattern Matching, CPM '96, held in Laguna Beach, California, USA, in June 1996.The 26 revised full papers included were selected from a total of 48 submissions; also included are two invited papers. Combinatorial pattern matching has become a full-fledged area of algorithmics with important applications in recent years.The book addresses all relevant aspects of combinatorial pattern matching and its importance in information retrieval, pattern recognition, compiling, data compression, program analysis, and molecular biology and thus describes the state of the art in the area.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 408 pp. Englisch.

Taschenbuch. Zustand: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book presents a collection of revised refereed papers selected from the presentations accepted for the Second International Workshop on Higher-Order Algebra, Logic, and Term Rewriting, HOA '95, held in Paderborn, Germany, in September 1995.The 14 research papers included, together with an invited paper by Jan Willem Klop, report state-of-the-art results; the relevant theoretical aspects are addressed, and in addition existing proof systems and term rewriting systems are discussed.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 304 pp. Englisch.

Taschenbuch. Zustand: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Extracellular matrix (ECM) turnover is a widespread but in completely understood process. Many studies have been con ducted with the aim of discovering the general mechanisms which produce and maintain the ECM in tissues. Wound re pair in animals has always been a suitable 'tool' for exploring these mechanisms. In such a pathologic event, the different components of the healing system can be readily observed since they are exaggerated. It has now become clear that the regulation of protease/inhibitor activity is one of the most im portant steps in maintaining the integrity of ECM in the normal as well as in the pathologic state. As far as the repair process is concerned, a failure in such regulation may result in abnormal wound healing ranging from nonhealing wounds to hyper trophic scarring. Experimental findings have been directly applied in clinical practice. For example, the importance of debridement in nor mal and especially in poorly healing wounds has become much clearer in the recent past. Different methods have been proposed to obtain an optimal wound bed in order to perform skin transplantation. Both mechanical and physical debridement procedures un doubtedly offer some advantages and are essential when extensive third degree burns have to be treated. On the other hand, pain, excessive blood loss, and overall broad and indi scriminate debridement are common negative side effects. Thus, many enzymic formulations have been proposed and used in practice by clinicians all over the world.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 128 pp. Englisch.

Taschenbuch. Zustand: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book contains revised refereed papers selected from the presentations at the First International Workshop on Graphics Recognition, held in University Park, PA, USA, in August 1995.The 23 full papers included are divided into sections on low-level processing, vectorization and segmentation of scanned graphics documents; symbol and diagram recognition, map processing, interpretation of engineering drawings. Each section contains both survey articles to assess the state of the art, and research papers presenting novel results. One section is devoted to a contest held to determine the best algorithm for detection of dashed lines in drawings. The final chapter summarizes the conclusions and recommendations of the discussions held during the workshop.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 324 pp. Englisch.

Taschenbuch. Zustand: Neu. This item is printed on demand - Print on Demand Titel. Neuware -In a competitive world, research in manufacturing systems plays an important role in creating, updating and improving the technologies and management practices of the economy. This volume presents some of the most recent results in stochastic manufacturing systems. Experts from the fields of applied mathematics, engineering and management sciences review and substantially update the recent advances in the control and optimization of manufacturing systems. Recent Advances in Control and Optimization of Manufacturing Systems consists of eight chapters divided into three parts which focus on Optimal Production Planning, Scheduling and Improvability and Approximate Optimality and Robustness. This book is intended for researchers and practitioners in the fields of systems theory, control and optimization, and operation management as well as in applied probability and stochastic processes.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 240 pp. Englisch.

Taschenbuch. Zustand: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This volume contains a thoroughly refereed collection of revised full papers selected from the presentations at the First East-West International Conference on Multimedia, Hypermedia, and Virtual Reality, MHVR'94, held in Moscow, Russia, in September 1994.The 22 full papers presented in the book were selected from a total of 76 initial submissions and have been carefully updated for publication. Also included are two invited papers and summaries by the session chairpersons. The volume is organized in chapters on hypermedia models and architectures, enhancing multimedia support, new technologies for virtual reality, hypermedia and multimedia for group collaboration, hypermedia and multimedia for learning, and personalized hypermedia.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 328 pp. Englisch.