springer berlin heidelberg springer berlin heidelberg apr 1993 (56 résultats)

Buch. Etat : Neu. Neuware -From the reviews:'., the book must be of great help for a researcher who already has some idea of Lie theory, wants to employ it in his everyday research and/or teaching, and needs a source for customary reference on the subject. From my viewpoint, the volume is perfectly fit to serve as such a source, . On the whole, it is quite a pleasure, after making yourself comfortable in that favourite office armchair of yours, just to keep the volume gently in your hands and browse it slowly and thoughtfully; and after all, what more on Earth can one expect of any book 'The New Zealand Mathematical Society Newsletter'. Both parts are very nicely written and can be strongly recommended.'European Mathematical Society 252 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -Die statistisch orientierte Betrachtungsweise arztlichen Handelns relativiert tiber die Prlivalenz einer bestimmten Erkrankung selbst harte diagnostische Daten in ihrem 'prlidiktiven Wert'. Statistik und Statistiker beherrschen zunehmend auch das therapeutische Feld. DaB sich die Patienten in diesem eher frostigen Umfeld nicht immer wohlfiihlen, geht daraus hervor, daB sie mit ihren Beschwerden scharenweise zum homoopathisch orientierten Arzt fltichten oder gar zum Heilpraktiker desertieren. Die Analyse des individuellen Krankheitsbildes und das Suchen nach einer der Vorstellungswelt des jeweiligen Therapeuten entsprechenden Arznei stehen dort namlich im Vordergrund. So erscheint es nicht nur gerechtfertigt, sondem geradezu dringend geboten, auf besondere Einzelfalle einzugehen und die aus ihnen gezogenen diagnostischen Lehren an die arztliche Kollegenschaft weiterzugeben. Dieses induktive Verfahren stand am Anfang der arztlichen Kunst und hat sie tiber die llingste Zeit ihres Bestehens begleitet. Fallbeobachtungen haben auch hohe wissenschaftliche Bedeutung. So hat das bewuBte Bemerken des buntscheckigen Aussehens von Maiskolben Barbara McClintock vor fast 50 Jahren zu der (mit dem Nobelpreis belohnten) Erkenntnis gebracht, daB es springende Gene gibt. Die Verdauungsorgane ermuntem in besonderer Weise zu einer fallorientierten Aufmerksamkeit. Zwar liegen sie nicht wie Pathologika anderer Organsysteme offen zutage, doch lassen sich mit modemen abbildenden Verfahren, Biopsie und biochemischen Methoden klinische Befunde meist handfest untermauem. Nur selten ist man bloB auf das Sammeln 'weicher' Daten angewiesen, urn zu einer Diagnose zu gelangen.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 208 pp. Deutsch.

Taschenbuch. Etat : Neu. Neuware -Die Gefährdung und Verschmutzung unserer Umwelt wird zum zentralen Problem am Ende dieses Jahrtausends. Die Verfahren zur Messung und Erfassung insbesondere der Luftverunreinigung nimmt daher eine Schlüsselrolle ein, um Präventiv- und Sanierungsmaßnahmen gezielt einleiten zu können. Dieses Buch von zwei Experten aus Forschung und praktischem Einsatz liefert erstmals in deutscher Sprache eine geschlossene Darstellung aller heute praxisrelevanten Laser-Analyseverfahren. Darüber hinaus findet der Leser eine fundierte Einführung in die Luftchemie, die Schadstoffe, die physikalischen Prinzipien des Lasereinsatzes und die Gesetzgebung zur Reinhaltung der Luft. Das Buch wendet sich an Wissenschaftler und Ingenieure im Umweltbereich.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 272 pp. Deutsch.

Taschenbuch. Etat : Neu. Neuware -Dieser Band ist der vierte einer Reihe, der die interessantesten Anwendungen rund um den Transputer beschreibt. Anhand von Projekten, die Anwender aus Industrie, Forschung, Lehre und Entwicklung durchgeführt haben, wird dem Leser sowohl eine Übersicht über das zur Zeit Machbare vermittelt, als auch ein Werkzeug an Hand gegeben, das ihm bei der Eingrenzung und Lösung der eigenen Probleme helfen kann. Die in dem Band behandelten Schwerpunkte haben sich im Vergleich zu den Vorjahren erwartungsgemäß leicht verschoben; waren es in der Anfangszeit noch überwiegend Innovationsprobleme, so treten nun die Transputer-Anwendungen eindeutig in den Vordergrund. Dementsprechend ergab sich in diesem Jahr die folgende Einteilung: Transputer-Systeme:Systemprogrammierung und Evaluation Benutzeroberflächen und Hard-/Softwareumgebung Sprachen und Algorithmenentwicklung, Numerik Transputer-Anwendungen:Bildverarbeitung und Grafik Modellbildung und Simulation Meßtechnik und Signalverarbeitung Dieser Band verschafft durch sein breites Spektrum der beschriebenen Anwendungen und die Vielfalt der vertretenen Disziplinen sowohl erfahrenen Anwendern, als auch solchen, die es erst werden wollen, einen geeigneten Überblick. Er kann dadurch als Quelle und Kontaktpool für bereits gemachte Erfahrungen oder auch als Nachschlagewerk dienen.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 416 pp. Deutsch.

Taschenbuch. Etat : Neu. Neuware -Kinetisches Modelling ist ein wesentliches Werkzeug in der biotechnologischen Forschung und Entwicklung. Die komplexen Systeme, die in einem Reaktionskessel während der Fermenta- tion mittels Zellkulturen entstehen, können unmöglich unter jeder nur denkbaren Kombination von Reaktionsbedingungen ge- testet werden. Hierzu werden das Wissen und die Anwendung der Reaktionskinetik sowie der zugehörigen mathematischen Techniken benötigt. Das vorliegende Lehrbuch gibt eine grundlegende, leicht verständliche Einführung in das Modelling der Fermentationskinetik. Der Leser kann im Selbststudium lernen, wie eine simple mathematische Beschreibung eines Prozesses konstruiert wird und wie geeignete Modelle ausgesucht, kombiniert und verändert werden können.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 116 pp. Deutsch.

Buch. Etat : Neu. Neuware -Dieses Buch ist die erste geschlossene Darstellung von Fehlern in optischen Gl{sern. Es verbindet Forschung mit praktischer Erfahrung bei der Herstellung optischer Gl{ser. Dasreiche Bildmaterial spiegelt die intensive Erfahrung des Autors wider. 'Glasfehler' wendet sich an Forscherund Praktiker in der Glasentwicklung und -produktion. Wegen der vielf{ltigen Bestandteile optischer Gl{ser treten ungew|hnlichePh{nomene auf, die auch f}r Mineralogen und Werkstoffwissenschaftler allgemein interessant sind.Der Autor war 14 Jahre lang in der Produktion bei JenaerGlas Schott und Gen. t{tig und dann Professor f}r Glaschemiean der Universit{t Jena.Aus dem Inhalt: Kristallisationserscheinungen als Glasfehler Steinchen, Kn|tchen und Einschl}sse - Schlieren in optischen Gl{sern - Gase in optischen und technischen Gl{sernMi~f{rbungen - Oberfl{chenfehlerSpringer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 168 pp. Deutsch.

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Not very long ago, the uninhibited use of mathematics in thedevelopment of software was regarded as something foracademics alone. Today, there is moreand more interestfrom industry in formal methods based on mathematics. Thisinterest has come from the success of a number ofexperiments on real industrial applications. Thus, there isnot only a belief, but also evidence, that the study ofcomputer programs as mathematical objects leads to moreefficient methods for constructing them.The papers in this volume were presented at the SecondInternational Conference on the Mathematics of ProgramConstruction, held at St. Catherine's College, Oxford, June29 - July 3, 1992. The conference was organized by theOxford University Programming Research Group, and continuedthe theme set by the first - the use of crisp, clearmathematics in the discovery and design of algorithms. Thesecond conference gives evidence of the ever-widening impactof precise mathematical methods in program development.There are papers applying mathematics not only to sequentialprograms but also to parallel and on-current applications,real-time and reactive systems, and to designs realiseddirectly in hardware. The volume includes 5 invited papersand 19 contributed papers. 392 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume is the proceedings of the 10th InternationalSymposium on Applied Algebra, Algebraic Algorithms andError-Correcting Codes (AAECC 10),held in Puerto Rico, May1993.The aim of the AAECC meetings is to attract high-levelresearch papers and to encourage cross-fertilization amongdifferent areas which share the use of algebraic methods andtechniques for applications in the sciences of computing,communications, and engineering.The AAECC symposia are mainly devoted to research in codingtheory and computer algebra. The theoryof error-correctingcodes deals with the transmission of information in thepresence of noise. Coding is the systematic use ofredundancy in theformation of the messages to be sent so asto enable the recovery of the information present originallyafter it has been corrupted by (not too much)noise.Computer algebra is devoted to the investigation ofalgorithms, computational methods, software systems andcomputer languages, oriented to scientific computationsperformed on exact and often symbolic data, by manipulatingformal expressions by means of the algebraic rules theysatisfy. Questions of complexity and cryptography arenaturally linked with both coding theory and computeralgebra and represent an important share of the area coveredby AAECC. 372 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -The papers in this volume were presented at the First International Workshop on Larch, held at MIT Endicott House near Boston on 13-15 July 1992. Larch is a family of formal specification languages and tools, and this workshop was a forum for those who have designed the Larch languages, built tool support for them, particularly the Larch Prover, and used them to specify and reason about software and hardware systems. The Larch Project started in 1980, led by John Guttag at MIT and James Horning, then at Xerox/Palo Alto Research Center and now at Digital Equipment Corporation/Systems Research Center (DEC/SRC). Major applications have included VLSI circuit synthesis, medical device communications, compiler development and concurrent systems based on Lamport's TLA, as well as several applications to classical theorem proving and algebraic specification. Larch supports a two-tiered approach to specifying software and hardware modules. One tier of a specification is wrillen in the Larch Shared Language (LSL). An LSL specification describes mathematical abstractions such as sets, relations, and algebras; its semantics is defined in terms of first-order theories. The second tier is written in a Larch interface language, one designed for a specific programming language. An interface specification describes the effects of individual modules, e.g. state changes, resource allocation, and exceptions; its semantics is defined in terms of first-order predicates over two states, where state is defined in terms of the programming language's notion of state. Thus, LSL is programming language independent; a Larch interface language is programming language dependent.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 324 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -The Fifth International Workshop on Persistent Object Systems took place in the historic setting of Centro Studi 'I Cappuccini' della Cassa di Risparmio di San Miniato. San Miniato (pisa). Italy from 1-4 September 1992. The workshop continued the tradition of the previous four in concentrating on the design. implementation and use of persistent systems. The other workshops in the series are: Venue Date Organisers Appin POSI 27-30 August Atkinson. Buneman 1985 Scotland and Morrison Appin POS2 25-28 August Atkinson and Morrison 1987 Scotland Newcastle POS3 10-13 January Koch and Rosenberg 1989 Australia POS4 23-27 September Marthas Vineyard DearIe. Mitchell 1990 USA andZdonik The series of Workshops on Database Programming Languages is closely related to the POS workshops. These have been held every other year out of phase with POS. and tend to concentrate on the design and theory of persistent systems. The workshops in the DBPL series are: Date Venue Organisers DBPL 1 7-10 September Roscoff Bancilhon and France 1987 Buneman DBPL2 4-8 June Salishan Hull. Morrison and 1989 USA Stemple 27-30 August Nafplion Kanellakis and DBPL3 Greece Schmidt 1991 Preface vi This book follows the format of the workshop. Of the 39 papers submitted for the workshop, 22 were accepted in order to allow plenty of time for discussion. As at POS 4 in Marthas Vineyard each paper was followed by 5 minutes of questions and each session by a 30 minute discussion.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 460 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -This volume is the proceedings of the 10th InternationalSymposium on Applied Algebra, Algebraic Algorithms andError-Correcting Codes (AAECC 10),held in Puerto Rico, May1993.The aim of the AAECC meetings is to attract high-levelresearch papers and to encourage cross-fertilization amongdifferent areas which share the use of algebraic methods andtechniques for applications in the sciences of computingcommunications, and engineering.The AAECC symposia are mainly devoted to research in codingtheory and computer algebra. The theoryof error-correctingcodes deals with the transmission of information in thepresence of noise. Coding is the systematic use ofredundancy in theformation of the messages to be sent so asto enable the recovery of the information present originallyafter it has been corrupted by (not too much)noise.Computer algebra is devoted to the investigation ofalgorithms, computational methods, software systems andcomputer languages, oriented to scientific computationsperformed on exact and often symbolic data, by manipulatingformal expressions by means of the algebraic rules theysatisfy. Questions of complexity and cryptography arenaturally linked with both coding theory and computeralgebra and represent an important share of the area coveredby AAECC.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 372 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -Not very long ago, the uninhibited use of mathematics in thedevelopment of software was regarded as something for academics alone. Today, there is moreand more interest from industry in formal methods based on mathematics. This interest has come from the success of a number of experiments on real industrial applications. Thus, there is not only a belief, but also evidence, that the study of computer programs as mathematical objects leads to more efficient methods for constructing them. The papers in this volume were presented at the Second International Conference on the Mathematics of Program Construction, held at St. Catherine's College, Oxford, June 29 - July 3, 1992. The conference was organized by the Oxford University Programming Research Group, and continued the theme set by the first - the use of crisp, clear mathematics in the discovery and design of algorithms. The second conference gives evidence of the ever-widening impact of precise mathematical methods in program development. There are papers applying mathematics not only to sequential programs but also to parallel and on-current applications, real-time and reactive systems, and to designs realised directly in hardware. The volume includes 5 invited papers and 19 contributed papers.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 392 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -Database modelling is concerned with the design of reliable and efficient database systems. Three different approaches to modelling can be identified: structure-oriented, process-oriented, and behaviour-oriented. Database literature has traditionally focused on structure-oriented approaches, but it is now widely recognised that problems can be solved more effectively by integrating all three. As a result, modelling database dynamics is now considered to be as important as modelling static database structures. This volume contains selected papers from the Fourth International Workshop on Foundations of Models and Languages for Data and Objects, held in Volkse, Germany, 19-22 October, 1992. This series of international workshops was initiated by the Working Group on Foundations of Information Systems, part of the German Association for Informatics. It provides an international forum for the discussion of current research into database theory and its application to database technology. The theme of this particular workshop was modelling the dynamic behaviour of database systems in formal frameworks. As object-oriented principles are being widely used in current research work, particular emphasis was also given to object dynamics. Among the topics covered in this volume are: specifying the dynamics of complex objects databases; updates in a rule-based language for objects; an order-sorted approach to active objects; non-deterministic aspects of database transformations involving object creation; monitoring temporal permissions using partially evaluated transition graphs; a formalisation of logic databases and integrity constraints; a comparison of approaches for modelling dynamics of databases. Modelling Database Dynamics provides a comprehensive overview of current research into the modelling and use of database dynamics. It will provide invaluable reading for researchers, postgraduate students, and anyone interested in the theoretical foundations of computer science.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 248 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Nuclear physics between 1921 and 1947 shaped more than anyother science thepolitical landscape of our century and thepublic opinion on physical research. Using quantitativescientometric methods, a new branch in the history ofscience, the author focuses on the developments of nuclearphysics in these formative years paying special attention totheimpact of German emigrants on the evolution of the fieldas a cognitive and social unity. The book is based on athorough analysis of various citation analyses thusproducing results that should be more replicable and moreobjective. The scientometric techniques should complementthe more qualitative approach usually applied in historicalwriting. This makes the text an interesting study also forthe historian in general. 264 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -C-XSC is a tool for the development of numerical algorithms delivering highly accurate and automatically verified results. It provides a large number of predefined numerical data types and operators. These types are implemented as C++ classes. Thus, C-XSC allows high-level programming of numerical applications in C and C++. The most important features of C-XSC are: real, complex, interval, and complex interval arithmetic; dynamic vectors and matrices; subarrays of vectors and matrices; dotprecision data types, predefined arithmetic operators with maximum accuracy; standard functions of high accuracy; multiple precision arithmetic and standard functions; rounding control for I/O data; error handling, and library of problem solving routines with automatic result verification. Thus, C-XSC makes the computer more powerful concerning the arithmetic. C-XSC is immediately usable by C programmers, easy to learn, user-extendable, and may also be combined with other tools. The book can be used as a textbook and as a reference manual. It consists of an introduction to advanced computer arithmetic, a chapter describing the programming languages C and C++, the major chapter 'C-XSC Reference', sample programs, and indices. 288 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book was developed while teaching a graduate course at several universities in the United States. Europe and Israel. during the last two decades. The purpose of the book is to introduce the fundamentals and applications of optimum structural design. Much work has been done in this area recently and many studies have been published. The book is an attempt to collect together selected topics of this literature and to present them in a unified approach. It meets the need for an introductory text covering the basic concepts of modem structural optimization. A previous book by the author on this subject ('Optimum Structural Design'. published by McGraw-Hill New York in 1981 and by Maruzen Tokyo in 1983). has been used extensively as a text in many universities throughout the world. The present book reflects the rapid progress and recent developments in this area. A major difficulty in studying structural optimization is that integration of concepts used in several areas. such as structural analysis. numerical optimization and engineering design. is necessary in order to solve a specific problem. To facilitate the study of these topics. the book discusses in detail alternative problem formulations. the fundamentals of different optimization methods and various considerations related to structural design. The advantages and the limitations of the presented approaches are illustrated by numerous examples. 316 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The last few years have borne witness to a remarkablediversity of formal methods, with applications to sequentialand concurrent software, to real-time and reactive systems,and to hardware design. In that time, many theoreticalproblems have been tackled and solved, and many continue tobe worked upon. Yet it is by the suitability of theirindustrial application and the extent of their usage thatformal methods will ultimately be judged.This volume presents the proceedings of the firstinternational symposium of Formal Methods Europe, FME'93.The symposium focuses on the application ofindustrial-strength formal methods. Authors address thedifficulties of scaling their techniques up toindustrial-sized problems, and their suitability in theworkplace, and discuss techniques that are formal (thatis, they have a mathematical basis) and that areindustrially applicable.The volume has four parts:- Invited lectures, containing a lecture by Cliff B. Jonesand a lecture by Antonio Cau and Willem-Paul de Roever;- Industrial usage reports, containing 6 reports;- Papers, containing 32 selected and refereedpapers;- Tool descriptions, containing 11 descriptions. 708 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the proceedings of the fourthInternational Joint Conference on the Theory and Practice ofSoftware Development, TAPSOFT '93. Since the first in 1985,the aim of these conferences has been to bring togethertheoretical computer scientists and researchers in softwareengineering with a view to discussing how formal methods canusefully be applied in software development.TAPSOFT '93 consists ofthree parts: an advanced seminar,the Colloquium on Trees in Algebra and Programming (CAAP),and the Colloquium on Formal Approaches of SoftwareEngineering (FASE). The advanced seminar includes fourinvited surveys and four invited conferences. The selectedpapers for CAAP are organized in seven sessions:specifications and proofs, concurrency, automata andcounting, constraints solving, rewriting, logic and trees,analysis of algorithms, and a common session with FASE ontype inference. The selected papers for FASE are presentedin eight sessions: case studies in formal design anddevelopment, compositionality modules and development,formal development, foundations and analysis of formalspecifications, verification of concurrent systems, modelchecking, parallel calculus, and a common session with CAAPon type inference. 780 pp. Englisch.

Buch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -From the reviews: '., the book must be of great help for a researcher who already has some idea of Lie theory, wants to employ it in his everyday research and/or teaching, and needs a source for customary reference on the subject. From my viewpoint, the volume is perfectly fit to serve as such a source, . On the whole, it is quite a pleasure, after making yourself comfortable in that favourite office armchair of yours, just to keep the volume gently in your hands and browse it slowly and thoughtfully; and after all, what more on Earth can one expect of any book ' --The New Zealand Mathematical Society Newsletter 252 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -E.O. Fischer received the Nobel prize in 1973 for theinvestigations of complexes with a formal metal atom-carbondouble bond. Among these, the Iron-Carbene species isreadily available and has proved to be a versatile reagentin organic syntheses. It is rather simple to tune theelectronicproperties of this Fischer Carbene and to controlreactivity and stereospecificity of the reagent in, e.g.,cyclopropanation reactions.This first volume of the 'Scripts in Inorganic and Organome-tallic Chemistry' addresses graduate students in the fieldsofcoordination compounds and organic synthesis. It coversthe chemistry and structural aspects of iron-carbon com-pounds with a iron-carbon double bond. The first part dealswith the carbene moiety, the second with vinylidene ligands. 212 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -In the mid-1980s the European Journal of Biochemistry setout to publish review articles. The enterprise provedsuccessful resulting in high-level reviews written bywell-known scientists appearing in the Journal. The reviewsrepresent emerging and rapidly growing fields of research infundamental as well as applied areas of biochemistry, suchas medicine, biotechnology, agriculture and nutrition. Novelmethodological andtechnological approaches which stimulatebiochemical research are also included. The authors of thereviews are explicitly asked to be critical, selective,evaluative and interdisciplinarily oriented. The reviewsshould encourage young scientists toward independent andcreative thinking, and inform active investigators about thestate of the art in a given field. 288 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Researchers working on the semantics of programminglanguages came together in The Netherlands in June 1992 fora workshop on Semantics - Foundations and Applications. Thisvolume is based on the meeting and contains materialprepared by the lecturers after the meeting took place. Thevolume includes papers on a wide range of topics in bothfoundationsand applications, including:- Comparative domain theory, category theory, informationsystems,- Concurrency: process algebras, asynchronous communication,action semantics, trace nets, process refinement, concurrentconstraint programming,- Predicate transformers, refinement,weakest preconditions,- Comparative semantics of programming concepts, fullabstraction,- Reasoning about programs: total correctness, epistemiclogic,- Logic programming,- Functional programming: sequentiality, integration withconcurrency, applied structured operational semantics.The workshop was an activity of the project REX (ResearchandEducation in Concurrent Systems) sponsored by theNetherlands NFI (NationaleFaciliteit Informatica)Programme. 676 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book was developed while teaching a graduate course at several universities in the United States. Europe and Israel. during the last two decades. The purpose of the book is to introduce the fundamentals and applications of optimum structural design. Much work has been done in this area recently and many studies have been published. The book is an attempt to collect together selected topics of this literature and to present them in a unified approach. It meets the need for an introductory text covering the basic concepts of modem structural optimization. A previous book by the author on this subject ('Optimum Structural Design'. published by McGraw-Hill New York in 1981 and by Maruzen Tokyo in 1983). has been used extensively as a text in many universities throughout the world. The present book reflects the rapid progress and recent developments in this area. A major difficulty in studying structural optimization is that integration of concepts used in several areas. such as structural analysis. numerical optimization and engineering design. is necessary in order to solve a specific problem. To facilitate the study of these topics. the book discusses in detail alternative problem formulations. the fundamentals of different optimization methods and various considerations related to structural design. The advantages and the limitations of the presented approaches are illustrated by numerous examples.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 316 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -E.O. Fischer received the Nobel prize in 1973 for theinvestigations of complexes with a formal metal atom-carbondouble bond. Among these, the Iron-Carbene species isreadily available and has proved to be a versatile reagentin organic syntheses. It is rather simple to tune theelectronicproperties of this Fischer Carbene and to controlreactivity and stereospecificity of the reagent in, e.g.cyclopropanation reactions.This first volume of the 'Scripts in Inorganic and Organometallic Chemistry' addresses graduate students in the fieldsofcoordination compounds and organic synthesis. It coversthe chemistry and structural aspects of iron-carbon compounds with a iron-carbon double bond. The first part dealswith the carbene moiety, the second with vinylidene ligands.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 212 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -Inhaltsangabe1 Introduction.- 1.1 Typography.- 1.2 C-XSC: A Class Library in the Programming Language C++.- 1.3 C-XSC: A Programming Environment for Scientific Computing with Result Verification.- 1.4 Survey of C-XSC.- 2 The Programming Languages C and C++.- 2.1 A Short Introduction to C.- 2.1.1 Overview.- 2.1.2 Data Types, Operators, and Expressions.- 2.1.3 Control Flow.- 2.1.4 Functions.- 2.1.5 The Structure of a C Program.- 2.1.6 External Variables.- 2.1.7 The Scope of Variables and Functions.- 2.1.8 The C Preprocessor.- 2.1.9 Pointers.- 2.1.10 Pointers and Function Arguments.- 2.1.11 Arithmetic with Pointers and Arrays.- 2.1.12 Structures.- 2.1.13 The C Standard Library.- 2.2 Additional Features in C++.- 2.2.1 Overview.- 2.2.2 A Sample Program.- 2.2.3 Comments.- 2.2.4 Classes.- 2.2.5 Member Functions.- 2.2.6 Friend Functions.- 2.2.7 Reference Variables.- 2.2.8 Constructors and Destructors.- 2.2.9 The Structure of a C++ Program.- 2.2.10 Inline Functions.- 2.2.11 Overloaded Operators and Functions.- 2.2.12 Input and Output with Streams.- 2.2.13 Memory Management Operators.- 2.2.14 Type Casting.- 2.2.15 Additional Features of C++.- 3 C-XSC Reference.- 3.1 Constants, Data Types, and Variables.- 3.1.1 Constants.- 3.1.2 Variables.- 3.1.3 Scalar Data Types.- 3.1.4 Vector Data Types.- 3.1.5 Matrix Data Types.- 3.1.6 Dot precision Data Types.- 3.1.7 Multiple-Precision Data Types.- 3.1.8 User-Defined Data Types.- 3.2 Expressions.- 3.2.1 Implicit Type Casting.- 3.2.2 Explicit Type Casting.- 3.2.3 Arithmetic Operators.- 3.2.4 Relational Operators.- 3.2.5 Standard Functions.- 3.3 Statements.- 3.3.1 Assignments.- 3.3.2 Manipulation of Index Bounds.- 3.3.3 Resize of Vectors and Matrices.- 3.3.4 Addition of a Product to a Dotprecision Accumulator.- 3.3.5 Rounding of Dotprecision Accumulators.- 3.3.6 Input and Output.- 3.4 Error Handling.- 3.5 Pitfalls for Programming with C - XSC.- A Syntax Diagrams.- A.1 Data Types.- A.2 Management of Vectors and Matrices.- A.3 Definition of Variables.- A.4 Expressions.- A.5 Logical Expressions.- A.6 Type Castings.- A.7 Assignments.- A.8 Arithmetic Standard Functions.- A.9 Other Functions.- A.10 Input and Output.- A.11 Extension of a Syntax Diagram of C++.- B The Structure of the C - XSC Package.- B.1 Header Files.- B.2 Module Libraries.- C Error List.- D Sample Programs.- D.1 Rounding Control of Arithmetic Operations.- D.2 Rounding Control of Input and Output.- D.3 Scalar Product.- D.4 Transpose of a Matrix.- D.5 Trace of a Product Matrix.- D.6 Inverse of a Matrix.- D.7 Multiple-Precision Arithmetic.- D.8 Interval Newton Method.- D.9 Runge-Kutta Method.- D.10 Complex Polynomial Arithmetic.- D.11 Automatic Differentiation.- E Scientific Computation with Verified Results.- E.1 Evaluation of Polynomials.- E.2 Matrix Inversion.- E.3 Linear Systems of Equations.- E.4 Eigenvalues of Symmetric Matrices.- E.5 Fast Fourier Transform.- E.6 Zeros of a Nonlinear Equation.- E.7 System of Nonlinear Equations.- E.8 Ordinary Differential Equations.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 288 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -The last few years have borne witness to a remarkablediversity of formal methods, with applications to sequentialand concurrent software, to real-time and reactive systemsand to hardware design. In that time, many theoreticalproblems have been tackled and solved, and many continue tobe worked upon. Yet it is by the suitability of theirindustrial application and the extent of their usage thatformal methods will ultimately be judged.This volume presents the proceedings of the firstinternational symposium of Formal Methods Europe, FME'93.The symposium focuses on the application ofindustrial-strength formal methods. Authors address thedifficulties of scaling their techniques up toindustrial-sized problems, and their suitability in theworkplace, and discuss techniques that are formal (thatis, they have a mathematical basis) and that areindustrially applicable.The volume has four parts: Invited lectures, containing a lecture by Cliff B. Jonesand a lecture by Antonio Cau and Willem-Paul de Roever; Industrial usage reports, containing 6 reports; Papers, containing 32 selected and refereedpapers; Tool descriptions, containing 11 descriptions.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 708 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -Nuclear physics between 1921 and 1947 shaped more than anyother science thepolitical landscape of our century and thepublic opinion on physical research. Using quantitativescientometric methods, a new branch in the history ofscience, the author focuses on the developments of nuclearphysics in these formative years paying special attention totheimpact of German emigrants on the evolution of the fieldas a cognitive and social unity. The book is based on athorough analysis of various citation analyses thusproducing results that should be more replicable and moreobjective. The scientometric techniques should complementthe more qualitative approach usually applied in historicalwriting. This makes the text an interesting study also forthe historian in general.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 264 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -In the mid-1980s the European Journal of Biochemistry setout to publish review articles. The enterprise proved successful resulting in high-level reviews written by well-known scientists appearing in the Journal. The reviews represent emerging and rapidly growing fields of research in fundamental as well as applied areas of biochemistry, such as medicine, biotechnology, agriculture and nutrition. Novel methodological andtechnological approaches which stimulate biochemical research are also included. The authors of the reviews are explicitly asked to be critical, selective, evaluative and interdisciplinarily oriented. The reviews should encourage young scientists toward independent and creative thinking, and inform active investigators about the state of the art in a given field.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 288 pp. Englisch.

Buch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -This volume contains papers presented at the NATO sponsored Advanced Research Workshop on 'Software for Parallel Computation' held at the University of Calabria, Cosenza, Italy, from June 22 to June 26, 1992. The purpose of the workshop was to evaluate the current state-of-the-art of the software for parallel computation, identify the main factors inhibiting practical applications of parallel computers and suggest possible remedies. In particular it focused on parallel software, programming tools, and practical experience of using parallel computers for solving demanding problems. Critical issues relative to the practical use of parallel computing included: portability, reusability and debugging, parallelization of sequential programs, construction of parallel algorithms, and performance of parallel programs and systems. In addition to NATO, the principal sponsor, the following organizations provided a generous support for the workshop: CERFACS, France, C.I.R.A., Italy, C.N.R., Italy, University of Calabria, Italy, ALENIA, Italy, The Boeing Company, U.S.A., CISE, Italy, ENEL - D.S.R., Italy, Alliant Computer Systems, Bull RN Sud, Italy, Convex Computer, Digital Equipment Corporation, Rewlett Packard, Meiko Scientific, U.K., PARSYTEC Computer, Germany, TELMAT Informatique, France, Thinking Machines Corporation.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 380 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -This volume contains the proceedings of the fourthInternational Joint Conference on the Theory and Practice ofSoftware Development, TAPSOFT '93. Since the first in 1985the aim of these conferences has been to bring togethertheoretical computer scientists and researchers in softwareengineering with a view to discussing how formal methods canusefully be applied in software development.TAPSOFT '93 consists ofthree parts: an advanced seminarthe Colloquium on Trees in Algebra and Programming (CAAP)and the Colloquium on Formal Approaches of SoftwareEngineering (FASE). The advanced seminar includes fourinvited surveys and four invited conferences. The selectedpapers for CAAP are organized in seven sessions:specifications and proofs, concurrency, automata andcounting, constraints solving, rewriting, logic and treesanalysis of algorithms, and a common session with FASE ontype inference. The selected papers for FASE are presentedin eight sessions: case studies in formal design anddevelopment, compositionality modules and developmentformal development, foundations and analysis of formalspecifications, verification of concurrent systems, modelchecking, parallel calculus, and a common session with CAAPon type inference. 780 pp. Englisch.