Springer vieweg apr 2003 (10 Ergebnisse)

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The objective of program analysis is to automatically determine the p- perties of a program. Tools of software development, such as compilers, p- formance estimators, debuggers, reverse-engineering tools, program veri - tion/testing/proving systems, program comprehension systems, and program specializationtoolsarelargelydependentonprogramanalysis. Advancedp- gram analysis can: help to nd program errors; detect and tune performan- critical code regions; ensure assumed constraints on data are not violated; tailor a generic program to suit a speci c application; reverse-engineer so- ware modules, etc. A prominent program analysis technique is symbolic a- lysis, which has attracted substantial attention for many years as it is not dependent on executing a program to examine the semantics of a program, and it can yield very elegant formulations of many analyses. Moreover, the complexity of symbolic analysis can be largely independent of the input data size of a program and of the size of the machine on which the program is being executed. In this book we present novel symbolic control and data ow repres- tation techniques as well as symbolic techniques and algorithms to analyze and optimize programs. Program contexts which de ne a new symbolic - scription of program semantics for control and data ow analysis are at the center of our approach. We have solved a number of problems encountered in program analysis by using program contexts. Our solution methods are e cient, versatile, uni ed, and more general (they cope with regular and irregular codes) than most existing methods. 148 pp. Englisch. …

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This is a softcover reprint of the English translation of 1990 of the revised and expanded version of Bourbaki's, Algèbre, Chapters 4 to 7 (1981). Thiscompletes Algebra, 1 to 3, by establishing the theories of commutative fields and modules over a principal ideal domain. Chapter 4 deals with polynomials, rational fractions and power series. A section on symmetric tensors and polynomial mappings between modules, and a final one on symmetric functions, have been added. Chapter 5 was entirely rewritten. After the basic theory of extensions (prime fields, algebraic, algebraically closed, radical extension), separable algebraic extensions are investigated, giving way to a section on Galois theory. Galois theory is in turn applied to finite fields and abelian extensions. The chapter then proceeds to the study of general non-algebraic extensions which cannot usually be found in textbooks: p-bases, transcendental extensions, separability criterions, regularextensions. Chapter 6 treats ordered groups and fields and based on it is Chapter 7: modules over a p.i.d. studies of torsion modules, free modules, finite type modules, with applications to abelian groups and endomorphisms of vector spaces. Sections on semi-simple endomorphisms and Jordan decomposition have been added.Chapter IV: Polynomials and Rational FractionsChapter V: Commutative FieldsChapter VI: Ordered Groups and FieldsChapter VII: Modules Over Principal Ideal Domains 464 pp. Englisch.…

Buch. Zustand: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This guide to the use of surface analysis techniques, now in its second edition, has expanded to include more techniques, current applications and updated references. It outlines the application of surface analysis techniques to a broad range of studies in materials science and engineering. The book consists of three parts: an extensive introduction, a techniques section and a section on applications. Each chapter has been written by specialists in the field. This book is aimed at industrial scientists and engineers in R&D seeking a description of available techniques in a concise but informative style. It is invaluable as a comprehensive text and reference for scientists and engineers attending training courses and workshopsSpringer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 616 pp. Englisch.…

Buch. Zustand: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Only satellite-based remote-sensing instruments generate the wealth of global data on the concentrations of atmospheric constituents that are necessary for long-term monitoring of the atmosphere. This set of courses and lectures sponsored by ICTP in Trieste focuses on remote sensing for atmospheric applications and inverse methods to assess atmospheric components, gases, aerosols and clouds. It addresses primarily graduate students and young researchers in the atmospheric sciences but will be useful for all those wishing to study various techniques for exploring the atmosphere by remote sensing. Contributions span topics such as on IGOS (Integrated Global Observing Strategy), electromagnetic scattering by non-spherical particles, forward-modelling requirements and the information content problem, Earth radiation, and aerosol monitoring by LIDAR.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 280 pp. Englisch.…

Buch. Zustand: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book summarizes the current knowledge on the interaction between fast electrons and solid targets. It gives basic information important for the various analytical and process-oriented electron beam techniques.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 120 pp. Englisch.…

Taschenbuch. Zustand: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book reports the state of the art of energy-efficient electrical motor driven system technologies, which can be used now and in the near future to achieve significant and cost-effective energy savings. It includes the recent developments in advanced electrical motor end-use devices (pumps, fans and compressors) by some of the largest manufacturers. Policies and programs to promote the large scale penetration of energy-efficient technologies and the market transformation are featured in the book, describing the experiences carried out in different parts of the world. This extensive coverage includes contributions from relevant institutions in the Europe, North America, Latin America, Africa, Asia, Australia and New Zealand.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 584 pp. Englisch. …

Buch. Zustand: Neu. This item is printed on demand - Print on Demand Titel. Neuware -To our sons, Mike, Andrew, Alex, who did not inherit their fathers' level of interest in applied mechanics, but who became sophisticated in software development and in this regard surpassed their parents. A.P., V.S. Hard times came, the god5 got angry. Children do not behave themselves and everybody wishes to write a book. Ancient Babylonian inscription X Preface Preface to the English Edition The book you are reading is a translation from Russian into English. Within a pretty short term this book saw two editions in Russian. The authors received in spiring responses from readers that both stimulated our continuing and improving this work and made sure it would not be in vain of us to try to multiply our readers by covering the English-speaking engineering community. When we prepared the present edition, we took into account interests of the Western readers, so we had to make some changes to our text published earlier. These changes include the following aspects. First, we excluded a lot of references and discussions regarding Russian engi neering codes. It seems to us those are of no real interest for Western engineers oriented at Eurocode or national construction design regulations.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 528 pp. Englisch. …

Buch. Zustand: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Organolithium chemistry occupies a central position in the selective construction of C-C bonds in both simple and complex molecules. Paralleling the surge of interest in methods for asymmetric synthesis, the use of organolithiums in enantioselective synthesis has witnessed spectacular advances in a little over a decade. This volume is the first dedicated to a comprehensive coverage of this important area. It is designed to provide graduate students and researchers with a rich source of essential information on synthesising molecules in an enantioselective manner using organolithiums, and be an inspiration for future developments. Following an overview chapter summarising the key milestones, successive chapters, each written by leading experts in their field, critically survey all the major areas of progress.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 340 pp. Englisch.…

Buch. Zustand: Neu. This item is printed on demand - Print on Demand Titel. Neuware Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 588 pp. Deutsch.

Taschenbuch. Zustand: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Die 6. Auflage wurde überarbeitet und erweitert, so dass sie auch als Grundlage für den Basiskurs in den neueren osteopathischen Techniken verwendet werden kann. Das Kapitel 'Grundlagen der Manuellen Medizin' wird durch ein von H. Locher erarbeitetes neurologisches Denkmodell ergänzt. Neu hinzugefügt ist der Abschnitt 'Bindegewebe' von L. Beyer. G. Marx aktualisierte die 'Röntgenuntersuchung der Wirbelsäule'. In einem neuen Kapitel 'Die Bedeutung der Manuellen Medizin in der Praxis' berichten Kollegen verschiedener Fachgebiete aus allen drei Ärzteseminaren der DGMM über ihre Erfahrungen mit der Manuellen Medizin/Therapie. Es soll Ärzte und Physiotherapeuten, welche diese Methode noch nicht kennen, anregen, sich mit ihr zu befassen.Das erfolgreiche Buch ist eine unentbehrliche Hilfe für Ärzte und Physiotherapeuten - eine fundierte Einführung, die auf das Studium weiterer Literatur und die Teilnahme an praktischen Kursen vorbereitet.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 188 pp. Deutsch. …