springer berlin heidelberg springer aug 1989 (114 résultats)

Taschenbuch. Etat : Neu. Neuware -These notes consist of two parts: Selected in York 1) Geometry, New 1946, Topics University Notes Peter Lax. by Differential in the 2) Lectures on Stanford Geometry Large, 1956, Notes J.W. University by Gray. are here with no essential They reproduced change. Heinz was a mathematician who mathema- Hopf recognized important tical ideas and new mathematical cases. In the phenomena through special the central idea the of a or difficulty problem simplest background is becomes clear. in this fashion a crystal Doing geometry usually lead serious allows this to to - joy. Hopf's great insight approach for most of the in these notes have become the st- thematics, topics I will to mention a of further try ting-points important developments. few. It is clear from these notes that laid the on Hopf emphasis po- differential Most of the results in smooth differ- hedral geometry. whose is both t1al have understanding geometry polyhedral counterparts, works I wish to mention and recent important challenging. Among those of Robert on which is much in the Connelly rigidity, very spirit R. and in - of these notes (cf. Connelly, Conjectures questions open International of Mathematicians, H- of gidity, Proceedings Congress sinki vol. 1, 407-414) 1978, .Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 200 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -A covariant Feynman-Kac formula for unitary bundles over euclidean space.- On the integrated formulation of Zakai and Kushner equations.- Lattice approximation in the stochastic quantization of ( 4)2 fields1.- The support of the density of a filter in the uncorrelated case.- Variational inequalities for the control of stochastic partial differential equations.- Generalized solutions of stochastic evolution equations.- On the relation of anticipative Stratonovich and symetric integrals: A decomposition formula.- Some applications of quantum probability to stochastic differential equations in Hilbert space.- The stability of stochastic partial differential equations and applications. Theorems on supports.- Weak convergence of solutions of stochastic evolution equations on nuclear spaces.- A stochastic reaction-diffusion model.- Stochastic partial differential equations of generalized Brownian functionals.- Viscosity solutions of fully nonlinear second order equations and optimal stochastic control in infinite dimensions. Part II: Optimal control of Zakai's equation.- A generalized equation for a continuous measure branching process.- Mesures cylindriques et distributions sur l'espace de Wiener.- A summary of some identities of the Malliavin calculus.- A Lie algebraic criterion for non-existence of finite dimensionally computable filters.- A generalization of Wahba's theorem on the equivalence between spline smoothing and Bayesian estimation.- A connection between the expansion of filtrations and Girsanov's theorem.- White noise in space and time as the time-derivative of a cylindrical Wiener process.- Large deviations for non-linear radonifications of white noise.- Symmetric solutions of semilinear stochastic equations. 276 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -These proceedings include the papers presented at the logic meeting held at the Research Institute for Mathematical Sciences, Kyoto University, in the summer of 1987. The meeting mainly covered the current research in various areas of mathematical logic and its applications in Japan. Several lectures were also presented by logicians from other countries, who visited Japan in the summer of 1987.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 236 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -Safe surgery is founded upon careful dissection and clear identification of vital structures. Knowledge of the appropriate anatomy and anatomical relations is therefore essential, not only during surgical training, but as the cornerstone of surgical practice. The aim of this book is to describe the essential anatomical basis of a range of common procedures in general and vascular surgery. The large-format multi-volume texts on operative surgery, despite their undoubted excellence, are now too expensive for individual purchase. Single-volume books on operative surgery have been unable to devote sufficient attention to anatomical detail and the surgeon is left ploughing through anatomy texts, often failing to find illustrations which demonstrate clearly the features that are important in an operative dissection. The present text highlights features of the operations which are important anatomically while not attempting to give a complete description of the operative procedure. A combination of line diagrams and cross sections has been used to provide the topographical detail. The volume is aimed mainly at surgeons in training, to help them on a day-to day basis and to provide a text which will be useful in revising for post graduate examinations in surgery. It is also hoped that the book will be of use to practising surgeons, providing an easy means of highlighting important anatomical aspects of the procedures they perform relatively infrequently. 1989 S.J.S.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 100 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -Pyroclastic Rocks is the first modern comprehensive treatment of what they are and how they were formed. The subject is discussed against a background of plate tectonics theory and modern advances in volcanology, sedimentology and igneous petrology. The book provides a thorough discussion of magmatic volatiles and pyroclastic processes as well as magma-water interactions. Most of the book is concerned with the wide spectrum of pyroclastic rocks formed on land and under water and by fallout and various flowage mechanisms. Diagenetic processes by which pyroclastic particles are transformed into rocks are discussed in detail. The stratigraphic and tectonic importance of pyroclastic rocks are illustrated using selected case histories. This uniquely integrated account of pyroclastic processes, particles and rocks will prove a valuable aid in reconstructing dynamic aspects of earth evolution as well as predicting future volcanic hazards; understanding sedimentary basins containing petroleum and gas deposits; locating ore deposits in volcanic complexes and heat sources in geothermal prospecting; and facilitating stratigraphic analysis in complex volcanic terrains.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 488 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -Computer Aided Design - kurz CAD - ist die Wissenschaft und Technik des Automatisierens von Konstruktions- und Zeichentätigkeiten. Wesentliche Inhalte des vorliegenden Buches sind dementsprechend die Grundlagen zur Automatisierung von Konstruktions- bzw. Gestaltungsprozessen, von Zeichen- und Darstellungsprozessen sowie der einschlägigen Datentechnik. Der Darstellung von Konstruktionsergebnissen, deren Übertragung (Schnittstellenproblematik) und Weiterverarbeitung zu Produktionsdaten sind weitere Kapitel gewidmet. Ein Konzept für ein umfassendes CAD-Konstruktions- und Zeichensystem, Beispiele allgemeiner und spezieller Gestaltungs-, Berechnungs-, Beratungs- sowie Simulationsprogramme vervollständigen die Übersicht über dieses Fachgebiet. Das Buch dient vorrangig der Lehre an Technischen Universitäten und Fachhochschulen. Es vermittelt aber auch Anwendern und Entwicklern von CAD-Systemen in der Industrie und in Forschungsinstituten einen umfassenden Einblick in den derzeitigen Stand dieser modernen Technik mit möglichen zukünftigen Entwicklungstrends und regt zu ihrem Einsatz bei eigenen Arbeiten an.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 240 pp. Deutsch.

Taschenbuch. Etat : Neu. Neuware -Die klare Gliederung und die schrittweise Erkl{rung derArbeitsg{nge, wie man sie in guten Kochb}chern findet, warendas Vorbild dieses Buchs. ]bersichtlich und knapp gibt esAntwort auf folgende Fragen: Wie mu~ ein Patient f}r dieUntersuchung vorbereitet werden - Welche Materialienbraucht man f}r die Untersuchung - Wie wird die Untersuchung durchgef}hrt, welche Tips und Tricks gibt es daf}r Isteine Nachsorge beim Patienten notwendig - Damiteignet es sich besonders zum Nachschlagen am Arbeitsplatzf}r den Arzt, der sich }ber den Untersuchungsgangorientieren will, wie auch f}r die R|ntgenassistentin beider Vorbereitung des Materials.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 264 pp. Deutsch.

Taschenbuch. Etat : Neu. Neuware -Dieses Buch ist als EinfUhrung in die Theoretische Okologie gedacht. Den Begriff 'okologisches Modell' habe ich im Titel absichtlich vermieden, denn hierzu ziihlen ganz verschiedene Methoden der mathematischen Beschreibung von okologischen V orgiingen. Ziel einer Theorie ist es, ein Verstandnis fUr die Vor gange und funktionellen Zusammenhange eines Fachgebietes zu erlangen. Dies kann natiirlich auch ohne Mathematik durch Denken in verbalen Kategorien ge schehen. Jeder Naturwissenschaftler ist angehalten, iiber das, was er im Experi ment oder in der freien Natur gefunden hat, nachzudenken. Dies sind bereits die ersten Ansiitze zu einer Theorie. Eine mathematische Theorie ist nun' nichts weiter, als eine Fortsetzung dieses Denkens in einer anderen Spnlche - der Sprache der Mathematik. Dabei muB immer das okologische Problem im Vorder grund stehen. Die Mathematik ist nur ein' mogliches Hilfsmittel, urn em besseres Verstandnis fUr die okologischen Vorgange zu bekommen. Anders als in der Theoretischen Physik sind in der Okologie kaum all gemeingiiltige Prinzipien und Gesetze gefunden worden, aus denen man die Losung eines speziellen Problems deduzieren kann. Eine Ursache hierfUr mag neben der Komplexitat von Okosystemen auch die Schwierigkeit sein, Modelle und Theorien der Okologie durch gezielte Experimente in der freien Natur zu iiberpriifen. Das Fehlen einer allgemein anerkannten Theorie hat zur Folge, daB die Auswahl der induktiv aufgestellten Modelle subjektiv sein muB. So wird man cher Leser einzelnen Darstellungen dieses Buches nicht zustimmen. Es gibt recht verschiedene Methoden des Modellierens. Mitunter ist nicht einmal klar, mit welcher Fragestellung man an die Objekte herangehen solI.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 312 pp. Deutsch.

Buch. Etat : Neu. Neuware -Die nun in 9. Auflage erscheinenden Grundlagen der Nationalökonomie von Walter Eucken sind ein Klassiker der Wirtschaftsliteratur. Das Buch erschien erstmals 1940, die 8. Auflage 1965 und es ist nun mit der vorliegenden Neuauflage wieder lieferbar. Eucken beschreibt in seinem Standardwerk ausgereift und verständlich die Grundlagen der Volkswirtschaftslehre. Neben der starken Gewichtung auf die wirtschaftliche Wirklichkeit zeichnet das Buch sich durch die gute Lesbarkeit und übersichtliche Darstelllung schwieriger und interessanter Tatbestände aus. Seit der 1. Auflage im Jahre 1940 sah es der Autor als Aufgabe des Buches, mit seinen Theorien und Aussagen in die wirtschaftliche Realität einzudringen. Ausgehend von alltäglichen Beobachtungen versucht er komplexe Zusammenhänge zu erschließen. Neben einer umfassenden Kritik zur klassischen Nationalökonomie liefert Eucken wissenschaftliche Erkenntnisse der wirtschaftlichen Wirklichkeit mit besonderer Betonung der Analyse von Wirtschaftssystemen, Wirtschaftsordnung und Wirtschaftsablauf. Mit seiner Veröffentlichung hat dieser Klassiker der Wirtschaftsliteratur vielfältige wissenschaftliche Diskussion ausgelöst. Für die Entwicklung der Wirtschaftsordnung der Bundesrepublik Deutschland war das Buch von Bedeutung.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 300 pp. Deutsch.

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Developments in numerical initial value ode methods were the focal topic of the meeting at L'Aquila which explord the connections between the classical background and new research areas such as differental-algebraic equations, delay integral and integro-differential equations, stability properties, continuous extensions (interpolants for Runge-Kutta methods and their applications, effective stepsize control, parallel algorithms for small- and large-scale parallel architectures). The resulting proceedings address many of these topics in both research and survey papers. 144 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -State-space formulation for functional differential equations of neutral-type.- Some remarks on forced integrable systems.- Some remarks on the nonlinear Schr¿dinger equation in the critical case.- On the integrability of nonlinear evolution equations.- On quasilinear hyperbolic integrodifferential equations in unbounded domains.- Positive solutions for semilinear elliptic systems.- Recent rigorous results in Thomas-Fermi theory.- Methods of computing fractal dimensions.- Asymptotic behavior of solutions to quasimonotone parabolic systems.- Global existence for semilinear parabolic systems via Lyapunov type methods.- A difference inclusion.- Spectrum estimations for the generalized quantum Henon-Heiles system.- A survey of local existence theories for abstract nonlinear initial value problems.- The transient semiconductor problem with generation terms, II.- Switching systems and periodicity.- Breathers for the Sine-Gordon equation.- The riccati equation revisited. 244 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -These notes consist of two parts: Selected in York 1) Geometry, New 1946, Topics University Notes Peter Lax. by Differential in the 2) Lectures on Stanford Geometry Large, 1956, Notes J.W. University by Gray. are here with no essential They reproduced change. Heinz was a mathematician who mathema- Hopf recognized important tical ideas and new mathematical cases. In the phenomena through special the central idea the of a or difficulty problem simplest background is becomes clear. in this fashion a crystal Doing geometry usually lead serious allows this to to - joy. Hopf's great insight approach for most of the in these notes have become the st- thematics, topics I will to mention a of further try ting-points important developments. few. It is clear from these notes that laid the on Hopf emphasis po- differential Most of the results in smooth differ- hedral geometry. whose is both t1al have understanding geometry polyhedral counterparts, works I wish to mention and recent important challenging. Among those of Robert on which is much in the Connelly rigidity, very spirit R. and in - of these notes (cf. Connelly, Conjectures questions open International of Mathematicians, H- of gidity, Proceedings Congress sinki vol. 1, 407-414) 1978, . 200 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -A covariant Feynman-Kac formula for unitary bundles over euclidean space.- On the integrated formulation of Zakai and Kushner equations.- Lattice approximation in the stochastic quantization of ( 4)2 fields1.- The support of the density of a filter in the uncorrelated case.- Variational inequalities for the control of stochastic partial differential equations.- Generalized solutions of stochastic evolution equations.- On the relation of anticipative Stratonovich and symetric integrals: A decomposition formula.- Some applications of quantum probability to stochastic differential equations in Hilbert space.- The stability of stochastic partial differential equations and applications. Theorems on supports.- Weak convergence of solutions of stochastic evolution equations on nuclear spaces.- A stochastic reaction-diffusion model.- Stochastic partial differential equations of generalized Brownian functionals.- Viscosity solutions of fully nonlinear second order equations and optimal stochastic control in infinite dimensions. Part II: Optimal control of Zakai's equation.- A generalized equation for a continuous measure branching process.- Mesures cylindriques et distributions sur l'espace de Wiener.- A summary of some identities of the Malliavin calculus.- A Lie algebraic criterion for non-existence of finite dimensionally computable filters.- A generalization of Wahba's theorem on the equivalence between spline smoothing and Bayesian estimation.- A connection between the expansion of filtrations and Girsanov's theorem.- White noise in space and time as the time-derivative of a cylindrical Wiener process.- Large deviations for non-linear radonifications of white noise.- Symmetric solutions of semilinear stochastic equations. 276 pp. Englisch, Französisch.

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Une forme g¿rale de la loi forte des grands nombres pour des variables al¿oires vectorielles.- On some sufficient conditions for the existence of a consistent test in noncommutative statistics.- L¿-Kchinchine formula on vector spaces.- A problem on rearrangements of summands in normed spaces and rademacher sums.- An extreme-sum approximation to infinitely divisible laws without a normal component.- An operator approach to processes on Lie groups.- R¿larit¿e fonctions al¿oires Gaussiennes stationnaires ¿aleurs vectorielles.- L p multipliers in the central limit theorem with p-stable limit.- A universal law of the iterated logarithm for trimmed and censored sums.- On the decomposability group of a convolution semigroup.- Strong laws of large numbers for orthogonal sequences in von Neumann algebras.- Strong laws of large numbers for several contractions in a von Neumann algebra.- Linear supports and absolute continuity of certain random integrals.- Conditional moments for coordinates of stable vectors.- Appendix Multidimensional infinitely divisible variables and processes. Part I: Stable case.- Real translates of complex measures.- Banach space-valued Gleason measures on von Neumann algebras.- On the p-L¿-Baxter property and its applications.- Notes on infinite dimensional stationary sequences.- Admissible and singular translates of stable processes.- An outline of the integration theory of banach space valued measures.- Norm dependent positive definite functions and measures on vector spaces.- On the convergence of weighted sums of martingale differences.- Density of the norm of translated stable vectors in Banach spaces.- Martingale approach to Boltzmann's entropy and exact transformations.- On the martingale central limit theorem in Banach spaces.- On series expansions of stochastic integrals.- Master equation for quantum oscillator with infinitely divisible noise.- On the convergence of the series Kn(Un-U n).- On admissible translates of subgaussian stable measures.- An L1 extention of stochastic dynamics for irreversible systems.- Vector valued fourier series and sample continuity of random processes.- Singular integrals and second-order stationary sequences.- On the difference of Gaussian measure of two balls in Hilbert spaces.- Brownian sheets in a locally pseudoconvex metric linear space. 440 pp. Englisch, Französisch.

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Ramanujan and I.- Appendix: On composite numbers.- The distribution of additive functions in special sets of integers.- An identity of sylvester and the rogers-ramanujan identities.- Variations on the Rogers-Ramanujan continued fraction in Ramanujan's not Elektronisches Buch.- Beta integrals and the associated orthogonal polynomials.- Ramanujan and the theory of prime numbers.- Lattice paths and the Rogers-Ramanujan identities.- Multiplicative properties of -products.- Some asymptotic formulae involving powers of arithmetic functions. 244 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The simultaneous inclusion of polynomial complex zeros is a crucial problem in numerical analysis. Rapidly converging algorithms are presented in these notes, including convergence analysis in terms of circular regions, and in complex arithmetic. Parallel circular iterations, where the approximations to the zeros have the form of circular regions containing these zeros, are efficient because they also provide error estimates. There are at present no book publications on this topic and one of the aims of this book is to collect most of the algorithms produced in the last 15 years. To decrease the high computational cost of interval methods, several effective iterative processes for the simultaneous inclusion of polynomial zeros which combine the efficiency of ordinary floating-point arithmetic with the accuracy control that may be obtained by the interval methods, are set down, and their computational efficiency is described. The rate of these methods is of interest in designing a package for the simultaneous approximation of polynomial zeros, where automatic procedure selection is desired. The book is both a text and a reference source for mathematicans, engineers, physicists and computer scientists who are interested in new developments and applications, but the material is also accessible to anyone with graduate level mathematical background and some knowledge of basic computational complex analysis and programming. 280 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -These proceedings include the papers presented at the logic meeting held at the Research Institute for Mathematical Sciences, Kyoto University, in the summer of 1987. The meeting mainly covered the current research in various areas of mathematical logic and its applications in Japan. Several lectures were also presented by logicians from other countries, who visited Japan in the summer of 1987. 236 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -On regular and stable ruled surfaces in P3.- Appendix to 'On regular and stable ruled surfaces in P3'.- Configurations of linear projective subvarieties.- Plane sections of arthmetically normal curves in 3.- Sur les lacunes d'Halphen.- Some results on the codimension-two Chow group of the moduli space of stable curves.- Restrictions of linear series to hyperplanes, and some results of Macaulay and Gotzmann.- La Rationalit¿es sch¿s de Hilbert de courbes gauches rationnelles suivant Katsylo.- Coh¿nce et dualit¿ur le gros site de Zariski.- Nouvelles fonctions constructibles et rang des images directes.- Generating six skew lines in 3.- Liaison of families of subschemes in Pn.- On curves on K 3 surfaces.- Gonality and Hilbert schemes of smooth curves.- Geometry of complete cuspidal plane cubics.- Unobstructed arithmetically Buchsbaum curves.- On the N¿n-Severi groups of the surfaces of special divisors.- Deformations of maps.- Green's conjecture for general P-gonal curves of large genus.- On rank-1 degenerations of abelian varieties.- Sur une conjecture de Griffiths et Harris.- Open problems. 296 pp. Englisch, Französisch.

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book presents the proceedings of the Sixth International Conference on Category Theory and Computer Science, CTCS '95, held in Cambridge, UK in August 1995.The 15 revised full papers included in the volume document the exploitation of links between logic and category theory leading to a solid basis for much of the understanding of the semantics of computation. Notable amongst other advances is the introduction of linear logic and other substructural logics, providing a new approach to proof theory. Further aspects covered are semantics of lambda calculi and type theories, program specification and development, and domain theory. 376 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This monograph considers stochastic models for laser propagation in atmospheric turbulence in a Hilbert space context. The laser beam intensity is formulated as the solution to a random Schroedinger equation. This model is considered as an abstract bilinear system with a multiplicative white noise input. This monograph applied the Hilbert space valued white noise theory to the laser distortion problem and relates it to the Wiener process formulation. This monograph will be of interest to researchers working in stochastic differential equations, as well as engineers and physicists working in atmoshperic optics. The monograph is intended for readers who have taken a graduate course in functional analysis and probability. 160 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The ESPRIT Project 1072, DIAMOND (Development and Integration of Accurate Mathematical Operations in Numerical Data-Processing) was carried out from January 1986 through April 1989 by the five partners Siemens Miinchen (prime contractor), CWI Amsterdam, University of Karlsruhe (Institut fiir Ange wandte Mathematik), NAG Oxford and University of Bath (subcontractor to NAG). The technical work was divided into three main work packages with one additional work package for miscellaneous topics. The major goals of this project, according to its title, were to develop a set of accurate numerical algorithms (work package 3) and to provide tools to support their implementation by means of an embedding of accurate arithmetic into programming languages (work package 1) and by transform ation techniques which either improve the accuracy of expression evaluation or detect and eliminate presumable deficiencies in accuracy in existing programs (work package 2). A great variety of working papers describing and discussing the results of these work packages have been written during the collaboration of the project. This book (Accurate Numericlll A 19oritltms) mainly summarizes the results of work package 3, carried through by the two partners Karlsruhe University and NAG Oxford under the leadership of the editors and Dr. G. S. Hodgson. Another book (Improving Floating-Point Programming, J. Tliley, to appear 1989), edited by P.J.L. Wallis, which is one of the DIAMOND project's final deliverables, concentrates more on the fundamental tools. 248 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Die Autorin erkrankte 1976 an Brustkrebs. Nach anfänglicher Angst, Ungewißheit und Trauer beschäftigten sie hoffnungsvolle Fragen: Lohnt es sich zu kämpfen, statt zu resignieren Könnte diese Krankheit auch 'Gutes' bringen Kann neben Verzweiflung auch Hoffnung wachsen Ihre künstlerische Begabung half ihr, anhand einer Reihe von Aquarellen auszudrücken, wie sie den Beginn der Krankheit erlebte und operative und chemotherapeutische Behandlung empfand. Die Schlichtheit und Wirklichkeitsnähe ihrer Bilder, kommentiert durch eigene kurze Texte und ausgewählte Dichterzitate, erregten erhebliches Aufsehen. Die Malerei half ihr, Krankheit und Behandlung positiv zu erleben und zu verarbeiten. Das Buch will Betroffenen und Betreuern helfen, inmitten von Krankheitsbedrohung und Ungewißheit neue Kräfte zu schöpfen und Hoffnung zu gewinnen. 72 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book contains the papers presented at the 1989 Workshop on Algorithms and Data Structures, which succeeds the 1988 Scandinavian Workshop on Algorithm Theory. It presents current research in various areas of algorithms, computational geometry, geometric searching, VLSI placement and routing, graph algorithms, parallel algorithms, distributed algorithms, databases, and text searching. 608 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Paleoceanographic conditions which led to the formation of the 'mid'-cretaceous triad along the northern Tethys margin are elucidated. In the first part, the evolution of this sequence is traced from the demise of the platform to the return of the detritus dominated deposition. The second part includes a discussion of the reconstructed paleoceanographic and tectonic variables, their possible interaction as well as their influence on sediment properties. 164 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -InhaltsangabeGeological setting and petrography of evaporites and basaltic rocks in the Werra mining district, Germany.- Exposures and sampling.- Sample preparation and analytical methods.- Composition of the basaltic rocks.- Isotope determinations.- K-Ar age determinations on the basaltic rocks.- Model calculations of the spatial and temporal temperature distribution at the basalt-rock salt contact after intrusion of the basaltic melts.- Conclusions.- Suggestions for further studies. 144 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The present volume contains papers selected for presentation at the 14th Symposium on Mathematical Foundations of Computer Science - MFCS '89 held in Porabka-Kozubnik, Poland, from August 28 to September 1, 1989. Previous MFCs proceedings have also been published in the Lecture Notes in Computer Science. This volume presents investigations and results in theoretical computer science, in particular in the following areas: logics of programs, parallel and distributed computing, deductive databases, automata and formal languages, algorithms and data structures, software specification and validity, complexity and computability theory. 620 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This work relates different approaches for the modelling of parallel processes. On the one hand there are theso-called 'process algebras' or 'abstract programming languages' with Milner's Calculus of Communicating Systems (CCS) and the theoretical version of Hoare's Communicating Sequential Processes (CSP) as main representatives. On the other hand there are machine models, i.e. the classical finite state automata (transition systems), for which, however, more discriminating notions of equivalence than equality of languages are used; and secondly, there are differently powerful types of Petri nets, namely safe and general (place/transition) nets respectively, and predicate/transition nets. Within a uniform framework the syntax and the operational semantics of CCS and TCSP are explained. We consider both, Milner's well-known interleaving semantics, which is based on infinite transition systems, as well as the new distributed semantics introduced by Degano et al., which is based on infinite safe nets. The main part of this work contains three syntax-driven constructions of transition systems, safe nets, and predicate/transition nets respectively. Each of them is accompanied by a proof of consistency. Due to intrinsic limits, which are also investigated here, neither for transition systems and finite nets, nor for general nets does a finite consistent representation of all CCS and TCSP programs exist. However sublanguages which allow finite representations are discerned. On the other hand the construction of predicate/transition nets is possible for all CCS programs in which every choice and every recursive body starts sequentially. 184 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Preliminaries on real algebraic varieties.- General results on real algebraic surfaces.- Algebraic cycles on real varieties and application to rational surfaces.- Digression on real abelian varieties and classification of real abelian surfaces.- Real ruled surfaces.- Rational real surfaces.- Real elliptic surfaces.- Real K3 surfaces. 228 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -Developments in numerical initial value ode methods were the focal topic of the meeting at L'Aquila which explord the connections between the classical background and new research areas such as differental-algebraic equations, delay integral and integro-differential equations, stability properties, continuous extensions (interpolants for Runge-Kutta methods and their applications, effective stepsize control, parallel algorithms for small- and large-scale parallel architectures). The resulting proceedings address many of these topics in both research and survey papers. 144 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -L'Oeuvre de Marcel Brelot (1903¿1987).- Boundary behaviour of solutions to the Generalised Weinstein Equation.- On the derivability, with respect to the initial data, of the solution of a stochastic differential equation with Lipschitz coefficients.- Etude de fonctions de Green associees a des operateurs elliptiques a coefficients complexes.- Approximation discrete de mesures dans un espace harmonique.- Sur la caracterisation des noyaux potentiels.- Cones et noyaux locaux.- Valeurs propres pour l'operateur de Schroedinger.- Semi-groupes deterministes.- Probl¿ de Neumann faible avec condition fronti¿ dans 1.- Equations de diffusion dans des domaines (x, t) non-cylindriques et semi-groupes 'espace-temps'.- Perturbation et subordination des semi-groupes.- Erratum et Addendum a 'Sur la subordination des fesolvantes' 'Resolvantes complexes et potentiels intrinseques'.- Potentiels de Green sur les ouverts fins.- Le probleme du nuage de glace.- Lignes de Green et frontiere de R.S. Martin en quelques cas particuliers.- Comparaison de noyaux de Schr¿dinger.- Ensembles equivalents a un point frontiere dans un domaine lipschitzien. 272 pp. Englisch, Französisch.