Sprache: Englisch
Verlag: Springer Berlin Heidelberg Jan 1983, 1983
ISBN 10: 3540126546 ISBN 13: 9783540126546
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -In the past ten years, there have been significant advances in the diagnosis and therapy of arterial vascular disease. While long-term morbidity can only be improved by changing the patient's life-style and removing any risk factors that may be present(hypertension, hyperlipidemia,obesity,diabetesmellitus, nicotine abuse), symptomatic relief may be obtained by various procedures. Besides conservative treatment of arterial occlusive disease (physical therapy, medical treatment) and surgical vascular interventions (thromboendarterectomy, bypass procedures), balloon catheters introduced percutaneously under local anesthesia have found increased application in virtually all areas for the dilatation and recanalization of obstructive lesions in the past few years. The technique of balloon dilatation, as introduced by Griintzig as a further development of the percutaneous interventions by Dotter and Judkins, is no longer the decisive issue. The main objective of present clinical research is to de termine the proper indications and patient selection for this procedure, which has found its place between conservative treatment and surgery. The contents of this Symposium should provide some guidelines for the indi cations and postprocedural therapy for the referring physician, the angiologist, and for the radiologist and cardiologist performing the dilatation. We owe our thanks to all the specialists involved, who have provided us with the benefits of their experience. Mrs. H. Beilmann and Dr. M. Wojtowycz con tributed substantially to the preparation of the text. I would like to thank them and the staff of Springer-Verlag for their conscientious work in the interest of composition and publication quality. 392 pp. Englisch.
Sprache: Englisch
Verlag: Springer Berlin Heidelberg Jan 1983, 1983
ISBN 10: 3540119833 ISBN 13: 9783540119838
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The condition number of equivalence transformations that block diagonalize matrix pencils.- An approach to solving the spectral problem of A- B.- On computing the Kronecker canonical form of regular (A- B)-pencils.- Reducing subspaces: Definitions, properties and algorithms.- Differential/algebraic systems and matrix pencils.- Approximation of eigenvalues defined by ordinary differential equations with the Tau method.- The two-sided arnoldi algorithm for nonsymmetric eigenvalue problems.- Projection methods for solving large sparse eigenvalue problems.- The generalized eigenvalue problem in shipdesign and offshore industry ¿ a comparison of traditional methods with the lanczos process.- On the practical use of the lanczos algorithm in finite element applications to vibration and bifurcation problems.- Implementation and applications of the spectral transformation lanczos algorithm.- Preconditioned iterative methods for the generalized eigenvalue problem.- On bounds for symmetric eigenvalue problems.- A method for computing the generalized singular value decomposition.- Perturbation analysis for the generalized eigenvalue and the generalized singular value problem.- A generalized SVD analysis of some weighting methods for equality constrained least squares.- On angles between subspaces of a finite dimensional inner product space.- The multivariate calibration problem in chemistry solved by the PLS method. 312 pp. Englisch.
Sprache: Deutsch
Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg Jan 1983, 1983
ISBN 10: 3540111492 ISBN 13: 9783540111498
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Buch. Zustand: Neu. Neuware -Das dreibändige Werk Maschinenelemente ist längst zum Standardwerk auf seinem Gebiet geworden. Der vorliegende Band 2 bietet Studenten und Praktikern einen Überblick über das gesamte Wissensgebiet der Zahnradgetriebe. 'Sowohl derjenige, der sich mit dem gesamten Wissensgebiet der Zahnradgetriebe beschäftigen oder einen Überblick verschaffen will als auch derjenige, der eine konkrete Konstruktionsaufgabe zu lösen hat, findet konzentriert und übersichtlich die Zusammenhänge geboten. Konstruktions- und Berechnungsingenieure werden es dankbar begrüßen, daß neben Angaben von Berechnungsgleichungen weitgehend auch die Darstellung in Diagrammform beibehalten wurde, weil auf diese Weise die von der Anschauung her geprägte ingenieurmäßige Arbeitsweise berücksichtigt wird und ein rascher Überblick über die Größenordnungen und Zusammenhänge möglich ist. Der Vielfalt des Gebietes der Zahnradgetriebe Rechnung tragend, konnte man ein umfangreiches Kollektiv namhafter Fachleute für die Darstellung von Teilgebieten gewinnen.' (Maschinenbautechnik)Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 392 pp. Deutsch.
Sprache: Deutsch
Verlag: Springer Berlin Heidelberg, Springer Jan 1983, 1983
ISBN 10: 3540120580 ISBN 13: 9783540120582
Anbieter: Wegmann1855, Zwiesel, Deutschland
Taschenbuch. Zustand: Neu. Neuware -Wenn ich ein neues Buch zur Hand nehme, lese ich immer zuerst den Schluß, denn ich habe herausgefunden, daß auch in schwierigen Büchern gewöhnlich Schlußfolgerungen gezogen werden, die leicht zu lesen sind, und das gibt mir eine erste Vorstellung vom Inhalt. So erwarte ich natürlich auch von meinen Lesern, daß sie es so halten! Das vorliegende Buch bietet sogar eine Gelegenheit, die Methode zu verallgemei nern. Nachdem der Leser Kapitel14 überflogen hat, sollte er vorzugsweise die Kapitel 5, 2, 13 und 10 oder wenigstens einige davon (in dieser oder einer an deren Reihenfolge) lesen, bevor er sich an eine gründliche Lektüre macht. Das Entscheidende ist dabei, daß der Leser - an den geeigneten Stellen der ande ren Kapitel - Beweise vorfindet; und wie wir alle wissen, sind alle Beweise, die etwas taugen, notwendigerweise schwierig. Natürlich ist es gut, daß es Be weise gibt, aber ich glaube doch, daß man am ehesten das Interesse an ihrer Entwicklung nicht verliert, wenn man ihre Schlußfolgerungen vorläufig zu gibt, einfach um zu sehen, wohin sie führen, und sie dann genau zu studieren, wenn man überzeugt ist, daß das Ziel der Mühe wert ist. Dies ist der Grund dafür, daß ich vorschlage, Kapitel 4 und 11 beim ersten Durchlesen zu über schlagen - jedenfalls sollten das die 'Dichter' tun. Bernard d'Espagnat Vorwort zur französischen Ausgabe Das in Kapitel 4 behandelte Problem tauchte zuerst 1964 in der Fachliteratur auf. Die experimentellen Forschungen begannen Anfang der siebziger Jahre.
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg Jan 1983, 1983
ISBN 10: 3540121889 ISBN 13: 9783540121886
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Taschenbuch. Zustand: Neu. Neuware -This book, written by one of the pioneers of laser theory, is now considered a classic by many laser physicists. Originally published in the prestigious Encyclopedia of Physics series, it is now being republished in paperback to make it available not only to professors and scientists, but also to students. It presents a thorough treatment of the theory of laser resonators, the quantum theory of coherence, and the quantization of electromagnetic fields. Especial emphasis is placed on the quantum-mechanical treatment of laser light by means of quantum-mechanical Langevin equations, the density matrix equation, and the Fokker-Planck equation. The semiclassical approach and the rate equa tion approach are also presented. The principles underlying these approaches are used to derive the relevant equations, from which, in turn, the various properties of laser light are derived. Preface. The concept of the laser came into existence more than a decade ago when SCHAWLOW and TOWNES showed that the maser principle could be extended to the optical region. Since then this field has developed at an incredible pace which hardly anybody could have foreseen. The laser turned out to be a meeting place for such different disciplines as optics (e. g. spectroscopy). optical pumping, radio engineering, solid state physics, gas discharge physics and many other fields. The underlying structure of the laser theory is rather simple.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 340 pp. Englisch.
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg Jan 1983, 1983
ISBN 10: 3540119795 ISBN 13: 9783540119791
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Taschenbuch. Zustand: Neu. This item is printed on demand - Print on Demand Titel. Neuware -The German edition of this manual appeared in 1979. Its main objective then was to extend help to those engaged in multiaentric therapeutic studies, especially with respect to the 'Federal Government's Program on Promoting Research and Development in the Service of Health'. Experience with therapeutic studies in the Federal Republic of Germany showed that considerable problems as to methods and implementation of such studies exist. The manual was an attempt to present current metho dological knowledge and the experience obtained from completed studies in the light of the international literature. No radically new methodo logy was produced; however, the information representing the state-of the art, which is widely scattered up to now, has been compiled. For the American edition of this manual a few changes have been made. These concern especially the literature where references to German un published manuscripts were omitted. The authors wish to thank Dr. Andreas Jaffe for the translation, and Evelyn Birke who typewrited the lecture-notes manuscrip~ ¿ . GUnzburg and Munich Sibylle Biefang November 1981 Wolfgang Kopcke Martin A. Schreiber Contents Page Foreword 1. Methods of Therapeutic Studies 2 1. 1. Terminology 4 1. 2. Experimental Design 11 1. 3. Types of Studies 20 1. 4. Steps in Drug Testing 2. Checklist for the Planning, Implementation and Evaluation 22 of Therapeutic Studies 22 2. 1. Planning of Experiments 29 2. 2. Documentation 36 2. 3. Organization 41 2. 4. Statistical Analysis 44 2. 5.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 112 pp. Englisch.
Sprache: Englisch
Verlag: Springer Berlin Heidelberg Jan 1983, 1983
ISBN 10: 3540119779 ISBN 13: 9783540119777
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware 304 pp. Englisch.
Sprache: Englisch
Verlag: Springer Berlin Heidelberg Jan 1983, 1983
ISBN 10: 3540797858 ISBN 13: 9783540797852
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -mene Stil in jeglicher Kunst, daft er die spezijischen Schranken derselben zu entfernen weip, ohne doch ihre spezijischen Vorzuge mit aufzuhe ben, und durch eine weise Benut zung ihrer Eigentumlichkeit ihr einen mehr allgemeinen Charakter erteilt. Friedrich Schiller - Ober die as the tische Erziehung des Menschen. In den Horen, 22. Brief (1795) We are glad that you have all come to this small village and I hope that you will feel at home here for the next few days. The special atmosphere of the surround ings will probably have a good influence on our discussions, and you will perhaps remember this when you are back home again. It takes hard work to save this little piece of nature for man in our highly industrialized world, and we should all be grateful to the Verein Naturschutzpark e. V. (founded in 1909), Alfred Toepfer and his associates for their efforts. We intend to discuss modern trends in human leukemia in this workshop, but we should also take the opportunity to reflect on the trends of the past, which might still be modern. 592 pp. Englisch.
Sprache: Englisch
Verlag: Springer Berlin Heidelberg Jan 1983, 1983
ISBN 10: 3662231778 ISBN 13: 9783662231777
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware 468 pp. Englisch.
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg Jan 1983, 1983
ISBN 10: 3540121501 ISBN 13: 9783540121503
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware 176 pp. Englisch.
Sprache: Englisch
Verlag: Springer Berlin Heidelberg Jan 1983, 1983
ISBN 10: 3540119787 ISBN 13: 9783540119784
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The growing crisis of traditional information retrieval systems ¿ what is to follow .- FAKYR ¿ a method base system for education and research in information retrieval.- Liars: A software environment for testing query processing strategies.- The implementation of a document retrieval system.- An intelligent terminal for implementing relevance feedback on large operational retrieval systems.- Messidor : A distributed information retrieval system.- Adapting a data organization to the structure of stored information.- On the architecture of a system integrating data base management and information retrieval.- Probabilistic approaches to the document retrieval problem.- The unified probabilistic model for IR.- Explanation and generalization of vector models in information retrieval.- Incorporation of relevance feedback into boolean retrieval systems.- An evaluation of term dependence models in information retrieval.- A decision theory approach to optimal automatic indexing.- Simulation of bibliographic retrieval databases using hyperterms.- Techniques for measuring the stability of clustering: A comparative study.- Retrieval of abstracts by analogy.- From research to application: The cite natural language information retrieval system.- Machine intelligence VS. Machine-aided intelligence in information retrieval: A historical perspective.- Information retrieval by voice input and output.- Is text compression by prefixes and suffixes practical . 328 pp. Englisch.
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, Springer Jan 1983, 1983
ISBN 10: 3540119809 ISBN 13: 9783540119807
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Partial computation of programs.- Treatment of big values in an applicative language HFP.- Toward the design and implementation of object oriented architecture.- DURAL: an extended Prolog language.- An algorithm for intelligent backtracking.- A pattern matching algorithm in binary trees.- Polynomial time inference of extended regular pattern languages.- Effects of practical assumption in area complexity of VLSI computation.- Hardware algorithms and logic design automation.- List processing with a data flow machine.- Relational algebra machine GRACE.- Vocabulary building for database queries. 244 pp. Englisch.
Sprache: Englisch
Verlag: Springer Berlin Heidelberg Jan 1983, 1983
ISBN 10: 3540119752 ISBN 13: 9783540119753
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Lifting surface groups to SL(2, )\*.- NEC groups and Klein surfaces.- Remarks on the cyclotomic Fricke groups.- On the Noether gap theorem.- A 3-dimensional hyperbolic collar lemma.- Projective structures on open surfaces.- The Teichmuller-kobayashi metric for infinite dimensional complex teichmuller spaces.- The elementary theory of correspondences.- Panelled web groups.- Prescribed monodromy on noncompact surfaces. 128 pp. Englisch.
Sprache: Englisch
Verlag: Springer Berlin Heidelberg Jan 1983, 1983
ISBN 10: 3540119817 ISBN 13: 9783540119814
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Sharpening the characterization of the power of Floyd method.- On proving program correctness by means of stepwise refinement method.- Semantics and implementation of prefixing at many levels.- Nonstandard models in Propositional Dynamic Logic.- On priorities of parallelism: Petri nets under the maximum firing strategy.- On four logics of programs and complexity of their satisfiability problems : Extended abstract.- Are infinite behaviours of parallel system schemata necessary .- Algorithmic properties of finitely generated structures.- Algebraic semantics and program logics: Algorithmic logic for program trees.- Some model-theoretical properties of logic for programs with random control.- A formal system for parallel programs in discrete time and space.- On the propositional algorithmic theory of arithmetic.- Nonstandard runs of Floyd-provable programs.- On some extensions of dynamic logic.- On algorithmic logic with partial operations.- Towards a theory of parallelism and communications for increasing efficiency in applicative languages.- An operational semantics for CSP.- Programming languages and logics of programs.- Concurrent programs.- Axiomatic approach to the system of files.- A sequent calculus for Kr¿ger logic.- On axiomatization of process logic.- Filtration theorem for dynamic algebras with tests and inverse operator. 336 pp. Englisch.
Sprache: Englisch
Verlag: Springer Berlin Heidelberg Jan 1983, 1983
ISBN 10: 3540122842 ISBN 13: 9783540122845
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -System cars and its description language.- Software structuring: A pragmatic approach.- Development methodologies for event and message based application systems.- Software development in LDM.- Distributed computer systems: Two views.- Sziam: A data model design aid.- Espreso ¿ A system for process control software specification.- Program design ¿ A practical approach.- On implementation problems of shared abstract data types. 172 pp. Englisch.
Sprache: Deutsch
Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg Jan 1983, 1983
ISBN 10: 3540118705 ISBN 13: 9783540118701
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Taschenbuch. Zustand: Neu. Neuware -Dieses Buch ist eine Einfiihrung in die Grundlagen der moder nen Traumtheorie und die Moglichkeiten ihrer Anwendung in der Psychoanalyse und analytischen Psychotherapie. Die Ab sicht, mit der die Herausgabe dieser Sammlung verbunden ist, liegt in dem Versuch, den Bogen zu spannen von den Weiterent wicklungen der psychoanalytischen Auffassung von Traumen seit Freud hin zur Praxis der Arbeit mit Traumen in der analyti schen Diagnostik und Behandlung in den verschiedenen heuti gen Anwendungsbereichen. Ruckblick und Bestandsaufnahme vermitteln Zugang zu dem vielfaltigen Wissen, das von den verschiedenen tiefenpsy chologischen Schulen auf der Basis und in Abhebung von Freuds Traumdeutung in 8 Jahrzehnten zusammengetragen wor den ist. Dieses Wissen hat einige Grundpositionen der psycho analytischen Traumtheorien erschuttert und in einigen Berei chen zu einer Neubewertung der Bedeutung der Traume in der Psychoanalyse und ihren Anwendungen gefuhrt. Diese Entwick lung wird im ersten Teil dieses Buches nachgezeichnet. In ihr spiegelt sich auch die Entwicklung der Psychoanalyse von einer rein triebpsychologischen zu einer auch Objektbeziehungs- und Ich-psychologischen Wissenschaft. Das markanteste Ergebnis dieser Entwicklung ist die Neubewertung im Verhaltnis zwi schen latentem und manifestem Trauminhalt. War der Traum bislang in der Psychoanalyse ein bevorzugter, vielleicht der be vorzugte Zugangsweg zu den unbewuBten Triebkraften und Wunschphantasien, war die Enthullung des latenten Traumin haltes das ausgesprochene und vorherrschende Ziel der psycho analytischen Arbeit am Traum, so steht der manifeste Traum heute als AuBerung des Ich in seinem Bemuhen urn die Struktu rierung der Primarprozesse des UnbewuBten mindestens gleich wertig daneben.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 176 pp. Deutsch.
Sprache: Englisch
Verlag: Springer Berlin Heidelberg Jan 1983, 1983
ISBN 10: 3662387948 ISBN 13: 9783662387948
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware 224 pp. Englisch.
Sprache: Deutsch
Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg Jan 1983, 1983
ISBN 10: 3540119108 ISBN 13: 9783540119104
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Taschenbuch. Zustand: Neu. Neuware -Inhaltsangabeund Aufgabenstellung.- Stand der Erkenntnisse.- 2.1 Fehlerabgleichverfahren.- 2.2 Finite-Element-Verfahren.- 2.2.1 Verfahren mit elastisch-plastischem Werkstoffmodell.- 2.2.2 Verfahren mit starr-plastischem Werk stoffmodell.- Grundsatzliche Darstellung der verwende-ten Losungsverfahren.- 3.1 Finite-Elemente-Verfahren.- 3.1.1 Elastisch-plastisches Werkstoffmodell.- 3.1.2 Starr-plastisches Werkstoffmodell.- 3.2 Fehlerabgleichverfahren.- Grundlagen der Programmentwicklung für die einzelnen Näherungsverfahren.- 4.1 Finite-Elemente-Verfahren mit elastisch-plastischem Werkstoffmodell.- 4.1.1 Anwendung auf ebenen Spannungszustand.- 4.1.2 Anwendung auf ebenen Verzerrungszustand.- 4.1.3 Anwendung auf Probleme mit Axialsymmetrie.- 4.1.4 Elementanalyse.- 4.1.4.1 Dreieckelement mit drei Knoten.- 4.1.4.2 Viereckelement mit vier Knoten.- 4.1.4.3 Elemente mit Mittenknoten.- 4.1.5 KontinuitStsgleichung.- 4.1.6 Beschreibung des Rechenganges.- 4.2 Finite-Element-Verfahren mit starrem und plastischem Werkstoffmodell.- 4.2.1 Anwendung auf ebenen Spannungszustand.- 4.2.2 Anwendung auf ebenen Verzerrungszustand.- 4.2.3 Anwendung auf Probleme mit Axialsymmetrie.- 4.2.4 Elementanalyse.- 4.2.4.1 Dreieckelement mit drei Knoten.- 4.2.4.2 Viereckelement mit vier Knoten.- 4.2.5 Beschreibung des Rechenganges.- 4.2.5.1 Instationäre Umformvorgänge.- 4.2.5.2 Stationäre Umformvorgänge.- 4.2.6 Behandlung starrer Gebiete.- 4.2.7 Konvergenz des Verfahrens.- 4.3 Fehlerabgleichverfahren.- 4.3.1 Wahl der Ansatzfunktionen.- 4.3.2 Ebener Formänderungszustand.- 4.3.3 Axialsymmetrischer Formänderungszustand.- 4.3.3.1 Instationäre Umformvorgänge.- 4.3.3.2 Stationäre Umformvorgänge.- 4.3.4 Beschreibung des Rechenganges.- 4.3.5 Behandlung starrer Gebiete.- Programmaufbau.- 5.1 Finite-Elemente-Programm mit elastisch-plastischem Werkstoffmodell.- 5.2 Finite-Element-Programm mit starr-plasti-schem Werkstoffmodell.- 5.3 Fehlerabgleichverfahren.- Beispielrechnungen.- 6.1 Instationäre Vorgänge.- 6.1.1 Ebenes Stauchen.- 6.1.2 Axialsymmetrisches Stauchen.- 6.1.2.1 Stauchen eines Zylinders.- 6.1.2.2 Anstauchen eines Kopfes.- 6.1.3 Querfließpressen.- 6.1.4 Napf-Rückwärts-Fließpressen.- 6.1.5 Gesenkschmieden.- 6.1.6 Instationäres Fliefipressen.- 6.2 Stationäre Vorgänge.- 6.2.1 Axialsymmetrisches stationäres Fließpressen.- Vergleich der numerischen Näherungsver-fahren.- 7.1 Einfluß der Idealisierung bei Berechnung mit den FE-Verfahren.- 7.2 Einfluß der Polynomansatze beim Fehler-abgleichverfahren.- 7.3 Vergleich von Fehlerabgleichverfahren und FE-Verfahren.- 7.3.1 Axialsymmetrisches Stauchen.- 7.3.2 Axialsymmetrisches Fließpressen.- 7.4 Vergleich mit Gleitlinientheorie.- 7.4.1 Eindringen eines Stempels in eine halbun-endliche Platte.- 7.4.2 Ebenes FlieBpressen.- Zusammenfassung und Ausblick.- Schrifttum.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 168 pp. Deutsch.
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, J.B. Metzler Jan 1983, 1983
ISBN 10: 3540119817 ISBN 13: 9783540119814
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Taschenbuch. Zustand: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Sharpening the characterization of the power of Floyd method.- On proving program correctness by means of stepwise refinement method.- Semantics and implementation of prefixing at many levels.- Nonstandard models in Propositional Dynamic Logic.- On priorities of parallelism: Petri nets under the maximum firing strategy.- On four logics of programs and complexity of their satisfiability problems : Extended abstract.- Are infinite behaviours of parallel system schemata necessary .- Algorithmic properties of finitely generated structures.- Algebraic semantics and program logics: Algorithmic logic for program trees.- Some model-theoretical properties of logic for programs with random control.- A formal system for parallel programs in discrete time and space.- On the propositional algorithmic theory of arithmetic.- Nonstandard runs of Floyd-provable programs.- On some extensions of dynamic logic.- On algorithmic logic with partial operations.- Towards a theory of parallelism and communications for increasing efficiency in applicative languages.- An operational semantics for CSP.- Programming languages and logics of programs.- Concurrent programs.- Axiomatic approach to the system of files.- A sequent calculus for Kr¿ger logic.- On axiomatization of process logic.- Filtration theorem for dynamic algebras with tests and inverse operator.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 336 pp. Englisch.
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, J.B. Metzler Jan 1983, 1983
ISBN 10: 3540119752 ISBN 13: 9783540119753
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Taschenbuch. Zustand: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Lifting surface groups to SL(2, )\*.- NEC groups and Klein surfaces.- Remarks on the cyclotomic Fricke groups.- On the Noether gap theorem.- A 3-dimensional hyperbolic collar lemma.- Projective structures on open surfaces.- The Teichmuller-kobayashi metric for infinite dimensional complex teichmuller spaces.- The elementary theory of correspondences.- Panelled web groups.- Prescribed monodromy on noncompact surfaces.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 128 pp. Englisch.
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, J.B. Metzler Jan 1983, 1983
ISBN 10: 3540119833 ISBN 13: 9783540119838
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Taschenbuch. Zustand: Neu. This item is printed on demand - Print on Demand Titel. Neuware -The condition number of equivalence transformations that block diagonalize matrix pencils.- An approach to solving the spectral problem of A- B.- On computing the Kronecker canonical form of regular (A- B)-pencils.- Reducing subspaces: Definitions, properties and algorithms.- Differential/algebraic systems and matrix pencils.- Approximation of eigenvalues defined by ordinary differential equations with the Tau method.- The two-sided arnoldi algorithm for nonsymmetric eigenvalue problems.- Projection methods for solving large sparse eigenvalue problems.- The generalized eigenvalue problem in shipdesign and offshore industry ¿ a comparison of traditional methods with the lanczos process.- On the practical use of the lanczos algorithm in finite element applications to vibration and bifurcation problems.- Implementation and applications of the spectral transformation lanczos algorithm.- Preconditioned iterative methods for the generalized eigenvalue problem.- On bounds for symmetric eigenvalue problems.- A method for computing the generalized singular value decomposition.- Perturbation analysis for the generalized eigenvalue and the generalized singular value problem.- A generalized SVD analysis of some weighting methods for equality constrained least squares.- On angles between subspaces of a finite dimensional inner product space.- The multivariate calibration problem in chemistry solved by the PLS method.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 312 pp. Englisch.
Sprache: Französisch
Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg Jan 1983, 1983
ISBN 10: 3540119841 ISBN 13: 9783540119845
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Taschenbuch. Zustand: Neu. Neuware -Polynomes Orthogonaux.- Systemes Adjacents De Polynomes Orthogonaux.- Fonctionnelles Lineaires Particulieres.- Relations Tous Azimuts.- Quadratures De Gauss.- Approximants De Pade En Deux Points.- Approximants Des Series De Fonctions. 636 pp. Französisch.
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg Jan 1983, 1983
ISBN 10: 3540117040 ISBN 13: 9783540117049
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Taschenbuch. Zustand: Neu. Neuware -The stratum corneum is a magnificent example of the successful adaptation of a tissue. Its efficient function is a prerequisite for life itself. We depend on its control of the movement of water through the skin and on its protective role in the prevention of penetration by pathogens or harmful substances. Apart from its functional importance, there is no escaping the fact that the most common skin disorders (psoriasis, eczema, inherited disorders of keratinization, acne) are 'characterised by abnormal keratinization and or scaliness. Despite all this, understanding of its chemistry, structure, physiology and involvement in disease has been sadly deficient; however, there are signs of enlightenment. This symposium is evidence of changed atti tudes. Leading researchers from many countries have applied modem biomedical techniques and the methods of molecular biology to the many problems and questions posed by the stratum corneum. Although there have been several symposia and publications on the process of keratinization, few have been broadly based on the stratum corneum. For this reason we believe that the proceedings of this symposium will be invaluable for all who are profeSSionally concerned with skin biology. Cardiff/Diisseldorf, November 1982 R. Marks G. Plewig v Acknowledgements Alcon Labs. Limited Brocades G. B. Limited Cardiff City Council Cassella-Riedel Pharma GmbH. Cilag-Chemie Dermal Laboratories Limited Dista Products Limited Dome Div. Miles Laboratories Limited Hoechst AG. Imperial Chemical Industries Limited Janssen Pharmaceuticals Limited Johnson & Johnson Limited L'Oreal E.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 284 pp. Englisch.
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg Jan 1983, 1983
ISBN 10: 3540797858 ISBN 13: 9783540797852
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Taschenbuch. Zustand: Neu. This item is printed on demand - Print on Demand Titel. Neuware -mene Stil in jeglicher Kunst, daft er die spezijischen Schranken derselben zu entfernen weip, ohne doch ihre spezijischen Vorzuge mit aufzuhe ben, und durch eine weise Benut zung ihrer Eigentumlichkeit ihr einen mehr allgemeinen Charakter erteilt. Friedrich Schiller - Ober die as the tische Erziehung des Menschen. In den Horen, 22. Brief (1795) We are glad that you have all come to this small village and I hope that you will feel at home here for the next few days. The special atmosphere of the surround ings will probably have a good influence on our discussions, and you will perhaps remember this when you are back home again. It takes hard work to save this little piece of nature for man in our highly industrialized world, and we should all be grateful to the Verein Naturschutzpark e. V. (founded in 1909), Alfred Toepfer and his associates for their efforts. We intend to discuss modern trends in human leukemia in this workshop, but we should also take the opportunity to reflect on the trends of the past, which might still be modern.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 592 pp. Englisch.
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg Jan 1983, 1983
ISBN 10: 3662387948 ISBN 13: 9783662387948
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Taschenbuch. Zustand: Neu. Neuware Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 224 pp. Englisch.
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg Jan 1983, 1983
ISBN 10: 3540121501 ISBN 13: 9783540121503
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Taschenbuch. Zustand: Neu. This item is printed on demand - Print on Demand Titel. Neuware Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 176 pp. Englisch.
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg Jan 1983, 1983
ISBN 10: 3540119779 ISBN 13: 9783540119777
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Taschenbuch. Zustand: Neu. This item is printed on demand - Print on Demand Titel. Neuware Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 304 pp. Englisch.
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg Jan 1983, 1983
ISBN 10: 3540119809 ISBN 13: 9783540119807
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Taschenbuch. Zustand: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Partial computation of programs.- Treatment of big values in an applicative language HFP.- Toward the design and implementation of object oriented architecture.- DURAL: an extended Prolog language.- An algorithm for intelligent backtracking.- A pattern matching algorithm in binary trees.- Polynomial time inference of extended regular pattern languages.- Effects of practical assumption in area complexity of VLSI computation.- Hardware algorithms and logic design automation.- List processing with a data flow machine.- Relational algebra machine GRACE.- Vocabulary building for database queries.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 244 pp. Englisch.
Sprache: Französisch
Verlag: Springer Berlin Heidelberg Jan 1983, 1983
ISBN 10: 3540119841 ISBN 13: 9783540119845
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Polynomes Orthogonaux.- Systemes Adjacents De Polynomes Orthogonaux.- Fonctionnelles Lineaires Particulieres.- Relations Tous Azimuts.- Quadratures De Gauss.- Approximants De Pade En Deux Points.- Approximants Des Series De Fonctions. 636 pp. Französisch.
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg Jan 1983, 1983
ISBN 10: 3540119787 ISBN 13: 9783540119784
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Taschenbuch. Zustand: Neu. Neuware -The growing crisis of traditional information retrieval systems ¿ what is to follow .- FAKYR ¿ a method base system for education and research in information retrieval.- Liars: A software environment for testing query processing strategies.- The implementation of a document retrieval system.- An intelligent terminal for implementing relevance feedback on large operational retrieval systems.- Messidor : A distributed information retrieval system.- Adapting a data organization to the structure of stored information.- On the architecture of a system integrating data base management and information retrieval.- Probabilistic approaches to the document retrieval problem.- The unified probabilistic model for IR.- Explanation and generalization of vector models in information retrieval.- Incorporation of relevance feedback into boolean retrieval systems.- An evaluation of term dependence models in information retrieval.- A decision theory approach to optimal automatic indexing.- Simulation of bibliographic retrieval databases using hyperterms.- Techniques for measuring the stability of clustering: A comparative study.- Retrieval of abstracts by analogy.- From research to application: The cite natural language information retrieval system.- Machine intelligence VS. Machine-aided intelligence in information retrieval: A historical perspective.- Information retrieval by voice input and output.- Is text compression by prefixes and suffixes practical .Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 328 pp. Englisch.