springer berlin heidelberg springer jun 1997 (98 Ergebnisse)

Taschenbuch. Zustand: Neu. Neuware -Every year large numbers of people take up the study of astronomy, mostly at amateur level. There are plenty of elementary books on the market, full of colourful photographs, but lacking in proper explanations of how and why things are as they are. Many people eventually wish to go beyond the 'coffee-table book' stage and study this fascinating subject in greater depth. This book is written for them. In addition, many people sit for public examinations in this subject each year and this book is also intended to be of use to them. All the topics from the GCSE syllabus are covered here, with sample questions at the end of each chapter. Astronomy Explained provides a comprehensive treatment of the subject in more depth than is usually found in elementary works, and will be of interest to both amateur astronomers and students of astronomy.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 356 pp. Englisch.

Buch. Zustand: Neu. Neuware -Software is rarely built completely from scratch. To a great extent, existing software documents (source code, design documents, etc.) are copied and adapted to fit new requirements. Yet we are far from the goal of making reuse the standard approach to software development. Software reuse is the process of creating software systems from existing software rather than building them from scratch. Software reuse is still an emerging discipline. It appears in many different forms from ad-hoc reuse to systematic reuse, and from white-box reuse to black-box reuse. Many different products for reuse range from ideas and algorithms to any documents that are created during the software life cycle. Source code is most commonly reused; thus many people misconceive software reuse as the reuse of source code alone. Recently source code and design reuse have become popular with (object-oriented) class libraries, application frameworks, and design patterns. Software components provide a vehicle for planned and systematic reuse. The software community does not yet agree on what a software component is exactly. Nowadays, the term component is used as a synonym for object most of the time, but it also stands for module or function. Recently the term component-based or component-oriented software development has be come popular. In this context components are defined as objects plus some thing. What something is exactly, or has to be for effective software develop ment, remains yet to be seen. However, systems and models are emerging to support that notion.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 292 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book presents many types of tidal phenomena. The contributions evolved from a seminar in Oberwolfach, Black Forest, where German experts on tidal research met in October 1994 to present their views and experience to interested graduate students and scientists in an informal way. The seminar focused on earth tides, tides of the atmosphere and the oceans, including solar-induced variations of the magnetic field and climate, and tidal phenomena in the planetary system and universe. This book has an introductory character, but some contributions describe the state of the art in tidal research.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 412 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -Ada 95, the enhanced version of the Ada programming language, is now in place and has attracted much attention in the community since the International Standard ISO/IEC 8652:1995(E) for the language was approved in 1995. The Ada 95 Rationale comes in four parts. The introductory part is a general discussion of the scope and objectives of Ada 95 and its major technical features. The second part contains a more detailed step by step account of the core language. The third part consists of several annexes addressing the predefined environment and specialized application areas. Finally, the three appendices of the fourth part are devoted to the upward compatibility with Ada 83, a few changes since the drafts of the standard were made public, and a summary of requirements.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 484 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book was originally written to support an introductory course in Object Orientation through the medium of Smalltalk (and VisualWorks in particular). However, it can be used as a book to teach the reader Smalltalk, to introduce object orientation as well as present object oriented design and analysis. It takes as its basic premise that most Computer Scientists I Software Engineers learn best by doing rather than from theoretical notes. The chapters therefore attempt to introduce concepts by getting you the reader to do things, rather than by extensive theoretical discussions. This means that these chapters take a hands-on approach to the subject and assume that the student/reader has a suitable Small talk environment available to them. The chapters are listed below and are divided into six parts. The reader is advised to work through Parts 1 and 3 thoroughly in order to gain a detailed understanding of object orientation. Part 2 then provides an introduction to the Smalltalk environment and language. Other chapters may then be dipped into as required. For example, if the reader wishes to hone their Smalltalk skills then the chapters in Part 4 would be useful. However, if at that point they wish to get on and discover the delights of graphical user interfaces in Smalltalk, then Part 5 could be read next. Part 6 presents some more advances subjects such as metaclasses and concurrency which are not required for straight forward Small talk development.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 400 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book is aimed at students who need to learn the basics of programming or who are studying computing. It is a 'hands on' book containing many examples which start by illustrating basic Oberon-2 language features and gradually increase in scope to cover object-oriented programming concepts and constructs. Oberon-2 is a successor to the language Pascal, which was also designed by Prof. N. Wirth [Wir71J. It has quickly become a major language used for teaching purposes. The only thing you need for successfully working through the book is to have access to a computer running Windows 3. 11 or Windows 95. The material in the book is useful to students of schools, colleges, and universities for teaching Oberon-2 and programming at an introductory level. of the book is not focused on software engineering or object The scope oriented technology; other books mentioned in the reference section already cover these topics in much greater depth. However, the examples in the book have been designed with these topics firmly in mind. Currently the term 'object-oriented' is very much in fashion, having taken over from structured programming of the 1970s and '80s. In this book we have taken the view that a structured programming approach can be used to teach the fundamentals of programming algorithms. The object-oriented approach is then brought in as a complementary way to think, analyze, design and program.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 384 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This Ada 95 Reference Manual is essentially identical to the new International Standard ISO/IEC 8652:1995(E) for the Ada programming language. The thorough technical revisions and extensions documented in this manual are built on broad participation from the international Ada community and generous support by leading institutions. Over 750 submitted revision requests were evaluated, and the resulting enhancements make Ada 95 an outstanding language. The flexibility of languages such as C++, modern features such as object orientation, and improved interfacing capabilities have been added to the reliable software engineering capabilities provided and proven for over a decade by the predecessor version Ada 83; furthermore, upward compatibility from Ada 83 to Ada 95 has been achieved.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 556 pp. Englisch.

Buch. Zustand: Neu. Neuware -A system of N non-relativistic classical particles interacting with pair potentials is described by a Hamiltonian of the form (0.0.1) This Hamiltonian generates a flow ¢(t) on the phase space JR3N x JR3N. An analogous system of N quantum particles is described by a Hamiltonian of the form N 1 H := -L -Llj + L lij(Xi - Xj)' (0.0.2) j=l 2mj l$iSpringer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 460 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This monograph offers a comprehensive review of present knowledge of the structure and connections of the trigeminal nuclei in humans, and compares it to laboratory animal findings. The authors provide cytoarchitectural data from their own research, and trace trigeminal pathways in human material by means of the Nauta technique. In humans the trigeminal nuclear complex includes the motor nucleus, the principal sensory (pontine) nucleus, the spinal nucleus (subdivided into oral, interpolar and caudal nuclei), and the mesencephalic nucleus and several small nuclei. The supratrigeminal nucleus, as described in various mammals, is not defined in the human brain. The primary afferents to all subdivisions of the trigeminal nuclear complex in humans appear to be entirely ipsilateral. Some of the 'extratrigeminal' primary afferents described in experimental animals are also present in the human brain and the nucleus ovalis receives primary and possibly secondary afferents from the trigeminal systems. A significant difference between the human trigeminal system and the subprimate species is seen in the monosynaptic cortical projection to the motor trigeminal nucleus.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 140 pp. Englisch.

Buch. Zustand: Neu. Neuware -While ecology is one of the scientific disiplines that most clearly belongs to ''basic research', it also strives to serve as a predictive tool for management. Outstanding examples of predictive ecology are Vollenweider's models on the relationship between phosphorus load and water renewal time of lakes, and the resulting algal biomass. The needed few and easily accessible input parameters to very simple models provided a direct link from basic ecology to management, and today these models are key tools for managers worldwide to control lake eutrophication and algal blooms. The baseline of this success is the general relation between phosphorus concentration and phytoplankton biomass that is observed for most lakes. While these relationships are most frequently presented in log-log diagrams, the aquatic ecologist who replots these a linear scale may ask himself why, in spite of the overall correlation, there is still such a variability. It is possible to predict levels of algal biomass that may be synthesized at a given phosphorus load. Some lakes apparently offer optimal conditions for their phytoplankton communities, while others may support less than half the biomass at the same phosphorus load. There are limits to growth, however, and the predic tive outcome of phosphorus load decreases as the load increases. This holds in particular for the higher trophic levels like zooplankton and fish. With increased enrichment there are signs of decreased efficiency of energy trans fer between foodweb compartments.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 300 pp. Englisch.

Buch. Zustand: Neu. Neuware -Floodplains are ecosystems which are driven by periodic inundation and oscillation between terrestrial and aquatic phases. An understanding of such pulsing systems is only possible by studying both phases and linking the results into an integrated overview.This book presents the results of a 15-year study of the structure and function of one of the largest tropical floodplains, the Amazon River floodplain. It covers qualitative aspects, e.g., adaptations of aquatic and terrestrial organisms to the flood pulse as well as quantitative aspects, e.g., studies of biomass, primary production, decomposition, and nutrient cycles. The authors interpret their findings and the most important data from other studies under an integrating scientific concept, the Flood Pulse Concept.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 556 pp. Englisch.

Buch. Zustand: Neu. Neuware -Seit Mitte der 70er Jahre läßt sich in der Unternehmenspraxis eine zunehmende Auseinandersetzung mit Fragen der betrieblichen Umweltkostenrechnung beobachten. Die Berechnungen beschränkten sich bis in die 80er Jahre hinein auf die Ermittlung der Kosten von nachsorgenden Umweltschutzmaßnahmen und wurden meist als Sonderrechnungen durchgeführt. Die laufende Kostenrechnung blieb dabei von Umweltfragen unberührt. Seit einigen Jahren werden jedoch umfassendere Konzepte einer Umweltkostenrechnung entwickelt, die deren Integration in das Managementsystem und die Kostenrechnung der Unternehmen zum Ziel haben. Hier werden, ausgehend vom Stand der Diskussion, mögliche Konsequenzen für die Weiterentwicklung bzw. die zukünftigen Anforderungen an eine Umweltkostenrechnung vorgestellt.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 200 pp. Deutsch.

Taschenbuch. Zustand: Neu. Neuware -Dieses Buch zeigt dem Ingenieurstudenten - und dem in der Praxis tätigen Ingenieur - die für ihn wichtigen Einsatzmöglichkeiten der Computeralgebra und weist auf geeignete mathematische Formulierungen hin. Das geschieht anhand von Fragestellungen aus den Grundlagenfächern (Höhere Mathematik, Technische Mechanik, Physikalisches Praktikum, Elemente des Programmierens), für die der Leser auf diese Weise zugleich ein vertieftes Verständnis gewinnt. Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 372 pp. Deutsch.

Taschenbuch. Zustand: Neu. Neuware -Die DurchfOhrung von Revisionen in grol1en Industrieanlagen wie beispielswei se in Kraftwerken gehort zu den umfangreichsten und komplexesten Mal1nah men in der Instandhaltung IBIN 901. Die Revision beinhaltet die umfassende Demontage einer Hauptanlage eines Kraftwerkes -beispielsweise einerTurbine -, um den Verschleil1zustand zu begutachten und um daraufhin notwendige Erneuerungen und Aufbereitungen zu veranlassen NET 90, WED 91/. Damit kann zukilnftigen Ausfallen bis zur nachsten Revision vorgebeugt werden. Kraftwerksverfilgbarkeiten von ilber 90 % bestatigen die Richtigkeit dieser Strategie. Hierzu ist es jedoch notwendig, den Revisionsturnus und -umfang festzulegen. An dieser Festlegung, ob der Turnus verlangert bzw. der vorplanbare Umfang reduziert werden kann, um damit Revisionskosten zu sparen, wird gegenwartig intensiv gearbeitet Iz.B. SAG 92, VERW 93/. Dies istjedoch nicht die Problem stellung, die in dieser Arbeit behandelt werden soil. Vielmehr geht es hier darum, Effekte durch eine Optimierung in der DurchfOhrung von Revisionen zu erzielen. Die Optimierung insbesondere in der DurchfOhrung einer Revision bietet erheb liche Einsparungspotentiale, die zur Zeit noch nicht ausgeschopft sind. Die Notwendigkeit zur Optimierung der RevisionsdurchfOhrung besteht jedoch unmittelbar, denn die Energieversorgungsunternehmen und insbesondere auch ihre Instandhaltungsabteilungen befinden sich unter einem zunehmendem Druck zur Kosteneinsparung und zur besseren Auslastung der Kraftwerke durch Revisionszeitverkilrzung (-> Kapitel 2).Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 164 pp. Deutsch.

Taschenbuch. Zustand: Neu. Neuware -Hermann von Helmholtz (1821-1894) war der am höchsten bezahlte, am meisten hofierte und ausgezeichnete, sowie der vielseitigste Naturwissenschaftler im 19. Jh. Der Verfasser entwirft ein unterhaltsames Panorama von Helmholtz' Leben in Heidelberg (1858-1871). Nach dem Tod seiner ersten Frau erlebte er hier privat seine leidvollste, in der zweiten Ehe und mit der Geburt dreier weiterer Kinder seine glücklichste, als Forscher seine arbeitsreichste und produktivste Zeit. In der Heidelberger Zeit verlagerte sich sein Interesse von der Physiologie hin zur Physik. Zusammen mit R.W. Bunsen und G.R. Kirchhoff verschaffte Helmholtz der Universität Heidelberg internationale Geltung. Heidelberg und das Großherzogtum Baden dankten ihm dies durch vielerlei großzügige Ehrungen.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 244 pp. Deutsch.

Taschenbuch. Zustand: Neu. Neuware -Die vorliegende Monographie behandelt ein in der gesamten Chirurgie aktuelles Thema: Die Reduktion der Systembelastung durch die Optimierung des Operationszeitpunktes und -verfahrens bei Schwerverletzten mit Oberschenkelfraktur. Sie bietet damit einen wichtigen Beitrag zu der aktuellen kontroversen Diskussion um die Verringerung der operativen Belastung bei besonders gefährdeten Patienten ('Borderline Patienten').Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 144 pp. Deutsch.

Taschenbuch. Zustand: Neu. Neuware -Die vorliegende Dissertation entstand wah rend meiner Tatigkeit am Fraunhofer Institut fOr Produktionstechnik und Automatisierung (IPA) in Stuttgart, unter der Be treuung von Prof. Dr.-Ing. Dr. h.c. mult. H. J. Warnecke, Prasident der Fraunhofer Gesellschaft. Ihm gebOhrt mein Dank fOr das innovationsfOrdernde und kreativitats freundliche Umfeld, das er am Institut gewahrleistet hat und das die Erstellung einer solchen Dissertation erst ermoglicht. DarOberhinaus hat er mir damit einen weitge fassten Einblick in die industrielle Praxis und die Sammlung umfangreicher Erfah rungen mit wissenschaftlichen und ingenieurtechnischen Arbeitsweisen ermdglicht. Bei Herrn Prof. Dipl.-Ing. A. Jung mochte ich mich nicht nur fOr die Obernahme des Mitberichtes bedanken, sondern auch fOr die personliche, konstruktive und unkom plizierte Besprechung meiner Arbeit und die wichtigen und nOtzlichen Hinweise, die ich von Ihm erhalten habe. Desweiteren gilt mein Dank all denen, die mich in meiner Arbeit und privat unter stotzt und in meinen Bestrebungen gefordert haben. Hierbei mochte ich besonders Dr.-Ing. M. Schweizer, Dipl.-Ing. J. C. Spingler und meine Lebenspartnerin Andrea Baumann hervorheben, ohne deren Ansporn und UnterstOtzung diese Arbeit wohl nicht gelungen ware. Aber auch der gror.en Anzahl von Hilfskraften, Praktikanten, Diplom- und Studienarbeitern bin ich zu Dank verpflichtet, da ich mir mit ihrer Hilfe immer wieder die notwendigen Freiraume in meiner tag lichen Projektarbeit schaffen konnte, die zur Erstellung einer solchen Arbeit notwendig sind.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 116 pp. Deutsch.

Taschenbuch. Zustand: Neu. Neuware -Das Internet und insbesondere dessen kommerzielle Nutzung werden großen Einfluß auf das private und öffentliche Leben haben. Eine entscheidende Rolle bei der kommerziellen Weiterentwicklung haben elektronische Zahlungssysteme, die die Bezahlung von Waren und Dienstleistungen über das globale Internet ermöglichen. Dieses Buch bietet einen Überblick über die derzeit verfügbaren Zahlungssysteme im Internet und die zukünftige Entwicklung in diesem Bereich. Der Leser wird schrittweise von der zugrundeliegenden Technik bis zur detaillierten Beschreibung der Zahlungssysteme im Internet geführt. Neben den technischen Aspekten betrachtet das Buch auch rechtliche Probleme bei der Verwendung der vorgestellten Systeme, bewertet deren Marktchancen und stellt Kostenmodelle vor.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 128 pp. Deutsch.

Taschenbuch. Zustand: Neu. Neuware - Das Internet und insbesondere dessen kommerzielle Nutzung werden großen Einfluß auf das private und öffentliche Leben haben. Eine entscheidende Rolle bei der kommerziellen Weiterentwicklung haben elektronische Zahlungssysteme, die die Bezahlung von Waren und Dienstleistungen über das globale Internet ermöglichen. Dieses Buch bietet einen Überblick über die derzeit verfügbaren Zahlungssysteme im Internet und die zukünftige Entwicklung in diesem Bereich. Der Leser wird schrittweise von der zugrundeliegenden Technik bis zur detaillierten Beschreibung der Zahlungssysteme im Internet geführt. Neben den technischen Aspekten betrachtet das Buch auch rechtliche Probleme bei der Verwendung der vorgestellten Systeme, bewertet deren Marktchancen und stellt Kostenmodelle vor.

Buch. Zustand: Neu. Neuware -Interdisziplinäres Wissen praxisnah aufbereitetDie gesamte Umweltproblematik wurde umfassend von einem Top-Autorenteam aus Industrie und Hochschule aufbereitet. Fundiertes wissenschaftliches Grundlagenwissen, verbunden mit Erfahrungen aus der Praxis auf dem aktuellen Stand der Technik machen das Handbuch zu einer unentbehrlichen Informationsquelle.Ihr kompetenter RatgeberDie vielfältigen Informationen, übersichtlich gegliedert in 5 Bänden, geben diesem Werk einen enzyklopädischen Charakter, der es sowohl für den Fachmann als auch für den Neueinsteiger zu einem unverzichtbaren Werkzeug macht.Aktuelles Wissen aus Forschung und PraxisDer Wert dieses Werkes liegt in der interdisziplinären Betrachtungsweise. Die Aufbereitung der einzelnen Themenkomplexe, unterstützt durch zahlreiche Abbildungen, Graphiken und Tabellen, gewährleisten eine schnelle Aufnahme der Information.> Sichern Sie sich kompaktes Umweltwissen> 5 Bände im Set zur Subskription> Eine kluge Investition zum günstigen PreisSpringer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 436 pp. Deutsch.

Buch. Zustand: Neu. Neuware -Das Buch gibt Laborleitern, ihren Mitarbeitern in Industrie, Handel und Forschung, aber auch Fachkräften für Arbeitssicherheit, Sicherheitsbeauftragten und Aufsichtsbeamten, sowie Gutachtern und Sachverständigen einen Leitfaden nach dem neuesten Stand des Wissens an die Hand. Der erfahrene Autor - selbst Chemiker und Technischer Aufsichtsbeamter in der Berufsgenossenschaft der Chemischen Industrie - zeigt Lösungen auf, beantwortet die häufigsten Fragen und bietet Hilfe bei der Umsetzung der nicht immer leicht verständlichen Vorschriften an. Das Buch geht daher über den Inhalt der gesetzlichen Vorschriften und Richtlinien weit hinaus.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 360 pp. Deutsch.

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The precise determination of the figure of the earth and its exterior gravitational field requires the solution of the geodetic boundary value problem (GBVP). Recently, a whole series of new measurement techniques has became available, in particular air- and spaceborne methods. They will make its solution much more complete and accurate and will contribute to a better understanding of ocean circulation and of the earth's interior. The book consists of contributions from leading scientists presented at an international summer school. It covers all aspects of the solution of the GBVP, from a mathematical basis via geodetic modeling to its relationship with advanced measurements. It provides three foundations to determine the geoid at a 1-cm precision level. 620 pp. Englisch.

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the strictly refereed post-workshop documentation of the ECAI'96 Workshop on Dialogue Processing in Spoken Language Systems, held in Budapest, Hungary, in August 1996, during ECAI'96.The volume presents 16 revised full papers including a detailed introduction and survey paper by the volume editors. The papers are organized in sections on foundations of spoken language dialogue systems, dialogue systems and prosodic aspects of spoken dialogue processing, spoken dialogue systems-design and implementation, and evaluation of systems. The book reports on work being pursued both in academia and in industry as a crucial issue in speech processing. 236 pp. Englisch.

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Today, as the large international genome sequence projects are gaining a great amount of public attention and huge sequence data bases are created it be comes more and more obvious that we are very limited in our ability to access functional data for the gene products - the proteins, in particular for enzymes. Those data are inherently very difficult to collect, interpret and standardize as they are highly distributed among journals from different fields and are often sub ject to experimental conditions. Nevertheless a systematic collection is essential for our interpretation of the genome information and more so for possible appli cations of that knowledge in the fields of medicine, agriculture, etc . Recent pro gress on enzyme immobilization, enzyme production, enzyme inhibition, coen zyme regeneration and enzyme engineering has opened up fascinating new fields for the potential application of enzymes in a large range of different areas. It is the functional profile of an enzyme that enables a biologist of physician to analyze a metabolic pathway and its disturbance; it is the substrate specificity of an enzyme which tells an analytical biochemist how to design an assay; it is the stability, specificity and efficiency of an enzyme which determines its usefulness in the biotechnical transformation of a molecule. And the sum of all these data will have to be considered when the designer of artificial biocatalysts has to choose the optimum prototype to start with. 1112 pp. Englisch.

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book presents many types of tidal phenomena. The contributions evolved from a seminar in Oberwolfach, Black Forest, where German experts on tidal research met in October 1994 to present their views and experience to interested graduate students and scientists in an informal way. The seminar focused on earth tides, tides of the atmosphere and the oceans, including solar-induced variations of the magnetic field and climate, and tidal phenomena in the planetary system and universe. This book has an introductory character, but some contributions describe the state of the art in tidal research. 412 pp. Englisch.

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the strictly refereed proceedings of the 9th International Conference on Computer Aided Verification, CAV '97, held in Haifa, Israel, in June 1997.The volume presents 34 revised full papers selected from a total of 84 submissions. Also included are 7 invited contributions as well as 12 tool descriptions. The volume is dedicated to the theory and practice of computer aided formal methods for software and hardware verification, with an emphasis on verification tools and algorithms and the techniques needed for their implementation. The book is a unique record documenting the recent progress in the area. 504 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 First International Conference on Scale-Space Theory for Computer Vision, Scale-Space '97, held in Utrecht, The Netherlands, in July 1997.The volume presents 21 revised full papers selected from a total of 41 submissions. Also included are 2 invited papers and 13 poster presentations. This book is the first comprehensive documentation of the application of Scale-Space techniques in computer vision and, in the broader context, in image processing and pattern recognition. 384 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 Eighth Annual Symposium on Combinatorial Pattern Matching, CPM 97, held in Aarhus, Denmark, in June/July 1997.The volume presents 20 revised full papers carefully selected from 32 submissions received; also included are abstracts of two invited contributions. The volume is devoted to the issue of searching and matching strings and more complicated patterns, such as trees, regular expressions, graphs, point sets and arrays. The results presented are particularly relevant to molecular biology, but also to information retrieval, pattern recognition, compiling, data compression and program analysis. 292 pp. Englisch.

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume presents 71 articles dealing with models and methods of data analysis and classification, statistics and stochastics, information systems and text analysis as well as manifold applications. These articles are se lected from about 160 papers presented at the 20th Annual Conference of the Gesellschaft fUr Klassifikation. This conference was organized by R. Klar, at the Abteilung fiir Medizinische Informatik of the University of Freiburg from March 6 to 8, 1996. Based on the submitted and revised papers eight sections have been arranged, where the number of papers in the sections is given in parentheses: 1. Data Analysis and Classification (10) 2. Neural Networks and Pattern Recognition (4) 3. Statistical Models and Methods (11) 4. Information Systems: Design and Implementation (7) 5. Text Analysis and Information Retrieval (10) 6. Applications in Medicine (15) 7. Applications in Economics and Social Sciences (7) 8. Applications in Archaeology, Biology, Linguistics and Dialectometry (7) This grouping doesn't separate strictly, but it shows how theoretical aspects, applications and interdisciplinarities are interrelated in many respects. For convenience of the reader the contents of this volumne is briefly summarized. 1. Data Analysis and Classification This section presents ten articles dealing with different problems of data analysis and classification, especially with several aspects of multidimen sional scaling (MDS), three-way data analysis, stochastic aspects in cluster ing and regression of ordinal data. The survey article of M. W. Trosset considers an approach to define and classify MDS problems as optimization problems. 708 pp. Englisch.

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Ada 95, the enhanced version of the Ada programming language, is now in place and has attracted much attention in the community since the International Standard ISO/IEC 8652:1995(E) for the language was approved in 1995. The Ada 95 Rationale comes in four parts. The introductory part is a general discussion of the scope and objectives of Ada 95 and its major technical features. The second part contains a more detailed step by step account of the core language. The third part consists of several annexes addressing the predefined environment and specialized application areas. Finally, the three appendices of the fourth part are devoted to the upward compatibility with Ada 83, a few changes since the drafts of thestandard were made public, and a summary of requirements. 484 pp. Englisch.