berlin springer berlin heidelberg springer apr 2012 (Over 1,100 results)

Buch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Können wir im Schlaf lernen Wie weit reicht der Einfluss der Hormone Und was bestimmt, ob wir hochgabt oder nur Durchschnitt sind Im Zentrum all dieser Fragen steht unser Gehirn, die Schaltzentrale unserer Persönlichkeit und unseres Menschseins. In den letzten Jahren sind Neurowissenschaftler immer tiefer in die Struktur und Physiologie des Gehirns vorgedrungen. Immer wieder entdeckten sie neue, überraschende Zusammenhänge und Wechselwirkungen, die auch unser Bild von uns selbst ständig verändern. Doch noch sind längst nicht alle 'Mitspieler' im Konzert unseres Bewusstseins bekannt. Dieses Buch nimmt Sie mit auf Erkundungsreise zu faszinierenden, rätselhaften und beeindruckenden Phänomenen unseres Denkes, Fühlen und Bewusstseins.

Taschenbuch. Condition: Neu. Neuware -In Part I of this report the pointwise derivation of scalar set functions is investigated, first along the lines of R. DE POSSEL (abstract derivation basis) and A. P. MORSE (blankets); later certain concrete situations (e. g. , the interval basis) are studied. The principal tool is a Vitali property, whose precise form depends on the derivation property studied. The 'halo' (defined at the beginning of Part I, Ch. IV) properties can serve to establish a Vitali property, or sometimes produce directly a derivation property. The main results established are the theorem of JESSEN-MARCINKIEWICZ-ZYGMUND (Part I, Ch. V) and the theorem of A. P. MORSE on the universal derivability of star blankets (Ch. VI) . . In Part II, points are at first discarded; the setting is somatic. It opens by treating an increasing stochastic basis with directed index sets (Th. I. 3) on which premartingales, semimartingales and martingales are defined. Convergence theorems, due largely to K. KRICKEBERG, are obtained using various types of convergence: stochastic, in the mean, in Lp-spaces, in ORLICZ spaces, and according to the order relation. We may mention in particular Th. II. 4. 7 on the stochastic convergence of a submartingale of bounded variation. To each theorem for martingales and semi-martingales there corresponds a theorem in the atomic case in the theory of cell (abstract interval) functions. The derivates concerned are global. Finally, in Ch.

Taschenbuch. Condition: Neu. Neuware -The effect of calcium antagonists on heart muscle and blood circulation is the reason that they have found widespread clinical application for a number of years. Less well known, in contrast, is the effect this group of substances has on the kidneys, both on kidney cells and the blood flow through the kidneys. This effect was the subject of a workshop we organized in Tiibingen in June 1986. Different groups studied the effects of these substances, especially in animals, on the processing of calcium by the kidney cells and on blood flow. A possible explanation is that the calcium antagonists block the influx of calcium through special cell canals, especially the cells of the distal tubule. It is necessary to test whether there is a blockade or only a reduction in the passage of calcium. Our understanding of the effect of calcium antagonists is in large part based on the results of morphologic, physiologic, and pharmacologic studies of calcium in the kidneys. The particular processes involved in nephrocalcinosis are special objects of study with regard to calcium antagonists. This book presents the results of experimental studies of the effect of calcium antagonists on nephrocalcinosis and acute renal failure after ischemia. In this context, the clinician is particularly interested in the use of calcium antagonists to protect against the kidney in urolithiasis, in acute renal failure and during kidney transplantation. The book is thus of interest to urologists and nephrologists as well as pharmacologists. biochemists, physiologists, and others in research.

Buch. Condition: Neu. Neuware -Können wir im Schlaf lernen Wie weit reicht der Einfluss der Hormone Und was bestimmt, ob wir hochgabt oder nur Durchschnitt sind Im Zentrum all dieser Fragen steht unser Gehirn, die Schaltzentrale unserer Persönlichkeit und unseres Menschseins. In den letzten Jahren sind Neurowissenschaftler immer tiefer in die Struktur und Physiologie des Gehirns vorgedrungen. Immer wieder entdeckten sie neue, überraschende Zusammenhänge und Wechselwirkungen, die auch unser Bild von uns selbst ständig verändern. Doch noch sind längst nicht alle ¿Mitspieler¿ im Konzert unseres Bewusstseins bekannt.Dieses Buch nimmt Sie mit auf Erkundungsreise zu faszinierenden, rätselhaften und beeindruckenden Phänomenen unseres Denkes, Fühlen und Bewusstseins.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 264 pp. Deutsch.

Taschenbuch. Condition: Neu. Neuware -In 2007, the International Max Planck Research School for Maritime Affairs together with the International Tribunal for the Law of the Sea (ITLOS), both based in Hamburg, decided to establish an annual lecture series, the 'Hamburg Lectures on Maritime Affairs' - giving distinguished scholars and practitioners the opportunity to present and discuss recent developments in this field. The present volume - the second in the series - collects eight of the lectures held in 2009 and 2010 by David Joseph Attard, Lucius Caflisch, Beate Czerwenka, Lars Gorton, Francesco Munari, Kyriaki Noussia, Peter Wetterstein and Wolfgang Wurmnest.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 220 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -This book contains the extended and revised versions of eight of the ten full papers (out of 58 submissions) presented at the First International Symposium on Business Modeling and Software Design (BMSD 2011), held in Sofia, Bulgaria.The theme of BMSD 2011 was 'Business Models and Advanced Software Systems,' and the related scientific areas of interest were: business models and requirements, business models and services, business models and software, and information systems architecture.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 160 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -This book constitutes the proceedings of the CAiSE Forum from the 23rd International Conference on Advanced Information Systems Engineering (CAiSE 2011), held in London, UK, June 2011.The CAiSE 2011 Forum was a place to present and discuss new ideas, emerging topics, and controversial positions; and to demonstrate innovative tools and systems related to information systems engineering. The 15 papers presented in this volume were carefully reviewed and selected from 46 submissions. The reworked and extended versions of the original presentations cover topics such as business process management, enterprise architecture and modeling, model-driven development, and requirements engineering.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 248 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -This book constitutes the refereed proceedings of the Workshop on E-Business (WEB 2011), held in Shanghai, China, on December 4, 2011.The 40 papers, which were selected from 88 submissions to the workshop, touch on topics that are diverse yet highly relevant to the challenges faced by today's e-business researchers and practitioners. They are organized in topical sections on social networks, business intelligence, and social computing; economics and organizational implications of electronic markets; and e-business systems and applications.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 460 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -This book constitutes the post conference proceedings of the 5th International IFIP Working Conference on Research and Practical Issues of Enterprise Information Systems (CONFENIS 2011), held in Aalborg, Denmark, October 16-18, 2011.The 12 papers presented in this volume were carefully reviewed and selected from 103 submissions. The papers are organized in four sections on conceptualizing enterprise information systems; emerging topics in enterprise information systems; enterprise information systems as a service; and new perspectives on enterprise information systems. These papers are complemented by two keynotes and a short summary of the co-located Workshop on Future Enterprise Information Systems using Lego Serious Games.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 232 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -This monograph is aiming at researchers of systems control, especially those interested in multiagent systems, distributed and decentralized control, and structured systems. The book assumes no prior background in geometric control theory; however, a firstyear graduate course in linear control systems is desirable. Since not all control researchers today are exposed to geometric control theory, the book also adopts a tutorial style by way of examples that illustrate the geometric and abstract algebra concepts used in linear geometric control. In addition, the matrix calculations required for the studied control synthesis problems of linear multivariable control are illustrated via a set of running design examples. As such, some of the design examples are of higher dimension than one may typically see in a text; this is so that all the geometric features of the design problem are illuminated.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 180 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -Bretagnolle, Jean: Processus a accroissements indépendants.- Ibragimov, Ildar: Théorèmes limites pour les marches aléatoires.- Jacod, Jean: Théorèmes limite pour les processus.- Bertoin, Jean: Subordinators: Examples and applications.- Doney, Ronald A.: Fluctuation theory for Lévy processes.¿Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 484 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -The basic idea, simple and revolutionary at the same time, to replace the concept of a point particle with a one-dimensional string, has opened up a whole new field of research. Even today, four decades later, its multifaceted consequences are still not fully conceivable.Up to now string theory has offered a new way to view each particle:as different excitations of the same fundamental object. It has celebrated success in discovering the graviton in its spectrum, and it has naturally led scientists to posit space-times with more than four dimensions¿which in turn has triggered numerous interesting developments in fields as varied as condensed matter physics and pure mathematics.This book collects pedagogical lectures by leading experts in string theory, introducing the non-specialist reader to some of the newest developments in the field. The carefully selected topics are at the cutting edge of research in string theory and include new developments in topological strings, or AdS/CFT dualities, as well as newly emerging subfields such as doubled field theory and holography in the hydrodynamic regime.The contributions to this book have been selected and arranged in such a way as to form a self-contained, graduate level textbook.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 308 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -It is to the great and lasting credit of LORENZ BOHLER and his school that they have in the last decade developed and demonstrated so thoroughly the techniques for the conservative management of fractures. Nevertheless there have always been many, including some from BOHLER'S school, who have found considerable place for surgical management, and with the significant progress in general surgery seen in postwar years, a new stimulus has been given to this part of traumatic surgery, especially since bone injuries have become more complex and frequent. The concept of internal fixation is not new. The serious criticisms that have been levelled at it retain today their basic significance. Progress in the fields of asepsis, corrosion-free metal implants, operative experience and postoperative care has diminished the dangers but has not relieved the surgeon of responsibility. The Association for the Study of the Problems of Internal Fixation (AO) has devoted itself over a number of years to the basic principles and best methods of open treatment of fractures by means of extended clinical and scientific studies in order to determine in each individual case the most promising line of treatment. At the same time a well designed and tested instrument set has been developed with precise instructions for the appropriate techniques. As a result, the new observations about primary bone healing which have emerged from the practice of rigid internal fixation are as interesting as the uses to which they can be put in allowing early mobilization.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 288 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -The present volume gives a systematic treatment of potential functions. It takes its origin in two courses, one elementary and one advanced, which the author has given at intervals during the last ten years, and has a two-fold purpose: first, to serve as an introduction for students whose attainments in the Calculus include some knowledge of partial derivatives and multiple and line integrals; and secondly, to provide the reader with the fundamentals of the subject, so that he may proceed immediately to the applications, or to the periodical literature of the day. It is inherent in the nature of the subject that physical intuition and illustration be appealed to freely, and this has been done. However, that the book may present sound ideals to the student, and in order also serve the mathematician, both for purposes of reference and as a basis for further developments, the proofs have been given by rigorous methods. This has led, at a number of points, to results either not found elsewhere, or not readily accessible. Thus, Chapter IV contains a proof for the general regular region of the divergence theorem (Gauss', or Green's theorem) on the reduction of volume to surface integrals. The treatment of the fundamental existence theorems in Chapter XI by means of integral equations meets squarely the difficulties incident to the discontinuity of the kernel, and the same chapter gives an account of the most recent developments with respect to the Dirichlet problem.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 400 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -Conformal invariance has been a spectacularly successful tool in advancing our understanding of the two-dimensional phase transitions found in classical systems at equilibrium. This volume sharpens our picture of the applications of conformal invariance, introducing non-local observables such as loops and interfaces before explaining how they arise in specific physical contexts. It then shows how to use conformal invariance to determine their properties.Moving on to cover key conceptual developments in conformal invariance, the book devotes much of its space to stochastic Loewner evolution (SLE), detailing SLE¿s conceptual foundations as well as extensive numerical tests. The chapters then elucidate SLE¿s use in geometric phase transitions such as percolation or polymer systems, paying particular attention to surface effects. As clear and accessible as it is authoritative, this publication is as suitable for non-specialist readers and graduate students alike.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 208 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -It is hardly an exaggeration to say that, if the study of general topolog ical vector spaces is justified at all, it is because of the needs of distribu tion and Linear PDE \* theories (to which one may add the theory of convolution in spaces of hoi om orphic functions). The theorems based on TVS \*\* theory are generally of the 'foundation' type: they will often be statements of equivalence between, say, the existence - or the approx imability -of solutions to an equation Pu = v, and certain more 'formal' properties of the differential operator P, for example that P be elliptic or hyperboJic, together with properties of the manifold X on which P is defined. The latter are generally geometric or topological, e. g. that X be P-convex (Definition 20. 1). Also, naturally, suitable conditions will have to be imposed upon the data, the v's, and upon the stock of possible solutions u. The effect of such theorems is to subdivide the study of an equation like Pu = v into two quite different stages. In the first stage, we shall look for the relevant equivalences, and if none is already available in the literature, we shall try to establish them. The second stage will consist of checking if the 'formal' or 'geometric' conditions are satisfied.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 140 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -This is not an introduction to physics but an analysis of its founda tions. Indeed, the aims of this book are: (1) to analyze the form and content of some of the key ideas of physics; (2) to formulate several basic physical theories in an explicit and orderly (i. e. , axiomatic) fashion; (3) to exhibit their presuppositions and discuss some of their philosoph ical implications; (4) to discuss some of the controversial issues, and (5) to debunk certain dusty philosophical tenets that obscure the under standing of physics and hinder its progress. To the extent to which these goals are attained, the volume can serve as a companion to studies in theoretical physics aiming at deepening the understanding of the logical structure and the physical meaning of our science. In order to keep the book slender, whole fields of basic physical research had to be excluded - chiefly many-body physics, quantum field theories, and elementary particle theories. A large coverage was believed to be less important than a comparatively detailed analysis and reconstruction of three representative monuments: classical mechan ics, general relativity, and quantum mechanics, as well as their usually unrecognized presuppositions. The reader is invited to join the project and supply some of the many missing chapters - or to rewrite the present ones entirely.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 328 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -The organic chemists of Russia during the pre-revolutionary period included some of the most creative and talented chemists of the nineteenth and early twentieth centuries. Indeed, this is attested by the number of reactions and empirical rules bearing their names. This volume is of interest for both historians of chemistry and organic chemists wishing to discover more about the historical development of their discipline in Russia. From the founding of the Russian Academy of Sciences by Peter the Great in 1725 to the early years of the nineteenth century, Russian organic chemistry was largely in the hands of foreign scientists. However, the Russification of organic chemistry in Russia had begun before the middle of the nineteenth century, and reached its zenith during the last half of the same century, by which time vibrant schools of chemistry had arisen in the eastern city of Kazan', at Moscow and at St. Petersburg. By the end of the century, the Chairs of organic chemistry at universities throughout the Russian empire were occupied by Russian chemists, almost half of them trained at Kazan'. This volume discusses the contributions of these organic chemists which include: the structural theory of organic chemistry, empirical rules for addition and elimination, reactions involving carbon nucleophiles, such as the aldol reaction and alcohol synthesis using organozinc nucleophiles, the discovery of sulfoxides and sulfonium salts, and a range of important redox reactions.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 148 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -Igneous petrology was to some extent essentially a descriptive sci ence until about 1960. The results were mainly obtained from field work, major element analyses, and microscopical studies. During the 1960's two simultaneous developments took place, plate tectonics became generally accepted, and the generation of magmas could now be related to the geodynamic features like convection cells and subduction zones. The other new feature was the development of new analytical apparatus which allowed high accuracy analyses of trace elements and isotopes. In addition it became possible to do ex perimental studies at pressures up to 100 kbar. During the 1970's a large amount of analytical data was obtained and it became evident that the igneous processes that control the compositions of magmas are not that simple to determine. The composition of a magma is controlled by the compositions of its source, the degree of partial melting, and the degree of fractionation. In order to understand the significance of these various processes the relationship between the physical processes and their geochemical consequences should be known. Presently there are several theories that attempt to explain the origin of the various magma types, and these theories can only be evaluated by turning the different ideas into quantitative models. We will so to speak have to do some book keeping for the various theories in order to see which ones are valid. the present book is intended as an introduction to the more fun damental aspects of quantitative igneous petrology.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 392 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -This book constitutes the thoroughly refereed post-proceedings of the 4th International Conference on Software Language Engineering, SLE 2011, held in Braga, Portugal, in July 2011.The 18 papers presented together with 4 tool/language demonstration papers were carefully reviewed and selected from numerous submissions. SLE¿s foremost mission is to encourage and organize communication between communities that have traditionally looked at software languages from different, more specialized, and yet complementary perspectives. SLE emphasizes the fundamental notion of languages as opposed to any realization in specific technical spaces.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 404 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -The term ¿control theory¿ refers to the body of results - theoretical, numerical and algorithmic - which have been developed to influence the evolution of the state of a given system in order to meet a prescribed performance criterion. Systems of interest to control theory may be of very different natures. This monograph is concerned with models that can be described by partial differential equations of evolution. It contains five major contributions and is connected to the CIME Course on Control of Partial Differential Equations that took place in Cetraro (CS, Italy), July 19 - 23, 2010. Specifically, it covers the stabilization of evolution equations, control of the Liouville equation, control in fluid mechanics, control and numerics for the wave equation, and Carleman estimates for elliptic and parabolic equations with application to control. We are confident this work will provide an authoritative reference work for all scientists who are interested in this field, representing at the same time a friendly introduction to, and an updated account of, some of the most active trends in current research.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 360 pp. Englisch.

Buch. Condition: Neu. Neuware -This book constitutes the refereed proceedings of the 6th IFIP WG 11.11 International Conference, IFIPTM 2012, held in Surat, India, in May 2012. The 12 revised full papers presented together with 8 short papers and the abstracts of 4 keynote talks were carefully reviewed and selected from 51 submissions. Building on the traditions inherited from the iTrust and previous IFIPTM conferences, IFIPTM 2012 is a multi-disciplinary conference focusing on areas such as: trust models, social, economic and behavioural aspects of trust, trust in networks, mobile systems and cloud computation, privacy, reputation systems, and identity management.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 296 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -This book describes a coherent approach to the explanation of the movement of individual vehicles or groups of vehicles. To avoid possible misunderstandings, some preliminary remarks are called for. 1. This is intended to be a textbook. It brings together methods and approaches that are widely distributed throughout the literature and that are therefore difficult to assess. Text citations of sources have been avoided; literature references are listed together at the end of the book. 2. The book is intended primarily for students of engineering. It describes the theoretical background necessary for an understanding of the methods by which links in a road network are designed and dimensioned or by which traffic is controlled; the methods themselves are not dealt with. It may also assist those actually working in such sectors to interpret the results of traffic flow measure ments more accurately than has hitherto been the case. 3. The book deals with traffic flow on links between nodes, and not at nodes themselves. Many readers will probably regret this, since nodes are usually the bottlenecks which limit the capacity of the road network. A book dedicated to the node would be the obvious follow-up. A separation of link and node is justified, however, partly because the quantity of material has to be kept within reasonable bounds and partly because the treatment of traffic flow at nodes requires additional mathematical techniques (in particular, those relating to queueing theory).Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 220 pp. Englisch.

Buch. Condition: Neu. Neuware -With a length of about 1200 km, the Son-Narmada-Tapti Lineament (NSL) is one of the most prominent geomorphic features in the Indian subcontinent. Anomalous conductive bodies are delineated at mid-lower crustal depths below major earthquake epicentral zones. The region has been interpreted as the collision zone of the Indian Plate with the Eurasian Plate. The NSL zone is therefore also known to be the second most important tectonic feature in the Indian geology, after the Himalayas.The present thesis describes significant new insight into the seismotectonics of this Central India tectonic zone, based on thorough magnetotelluric studies. The main objectives of the present study are: (i) to delineate subtrappean sediments across the NSL region along four different traverses, (ii) to understand the characterization of geo-electrical structure of the crust and examine the nature of geo-electrical signatures of the known faults, (iii) to integrate the results with other geophysical data such as seismicity, gravity and heat flow, in order to understand the tectonic scenario of the region.Deep electromagnetic (magnetotelluric) analyses were integrated in this study with gravity, seismic and heat flow studies and distinct, delineated deep crustal features. The resulting high conductivity is justified with the presence of fluids at mid-lower crustal depths. The migration of these fluids from mantle to mid-lower crustal depths through pre-existing brittle fracture/fault zones were obviously caused by the plume related to the Deccan volcanism. Migration of the fluids generated a higher fluid pressure along the faults and resulted in earthquakes.Based on the geo-electric sections derived along the four traverses of the Narmada-Son Lineament Zone, the present study gives important clues on the subduction/collision history in this important tectonic zone.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 168 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Reversible Computation, RC 2011, held in Gent, Belgium, in July 2011. The 10 revised full papers presented were carefully reviewed and selected from 25 initial submissions for inclusion in the book. The papers are devoted to all aspects of reversible computation, ranging from theoretical and experimental aspects to various applications. Topics addressed are: functional language for reversible computations, logic design, reversible circuits designed by a software toolkit called RevKit, application of reversible computation to the domain of quantum circuits, and physical realizations of reversible circuits in CMOS technologies.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 136 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -This book constitutes the refereed proceedings of the 9th International Conference on Information in Cells and Tissues, IPCAT 2012, held in Cambridge, UK, in March/April 2012.The 13 revised full papers presented together with 26 extended abstracts were carefully reviewed and selected from numerous submissions. The papers cover a wide range of topics in disciplines related to genetic and epigenetic networks, transcriptomics and gene regulation, signalling pathways and responses, protein structure and metabolic networks, patterning and rhythm generation, neural modelling and neural networks, biomedical modelling and signal processing, information processing and representation, and algorithmic approaches in computational biology.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 292 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -Except for this preface, this study is completely self-contained. It is intended to serve both as an introduction to Quantification Theory and as an exposition of new results and techniques in 'analytic' or 'cut-free' methods. We use the term 'analytic' to apply to any proof procedure which obeys the subformula principle (we think of such a procedure as 'analysing' the formula into its successive components). Gentzen cut-free systems are perhaps the best known example of ana lytic proof procedures. Natural deduction systems, though not usually analytic, can be made so (as we demonstrated in [3]). In this study, we emphasize the tableau point of view, since we are struck by its simplicity and mathematical elegance. Chapter I is completely introductory. We begin with preliminary material on trees (necessary for the tableau method), and then treat the basic syntactic and semantic fundamentals of propositional logic. We use the term 'Boolean valuation' to mean any assignment of truth values to all formulas which satisfies the usual truth-table conditions for the logical connectives. Given an assignment of truth-values to all propositional variables, the truth-values of all other formulas under this assignment is usually defined by an inductive procedure. We indicate in Chapter I how this inductive definition can be made explicit-to this end we find useful the notion of a formation tree (which we discuss earlier).Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 176 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -This book discusses the basic idea of Common Radio Resource Management (CRRM), especially on the Radio Access Technologies selection part of CRRM. It introduces two interaction functions (information reporting function and RRM decision support function) and four interaction degrees (from low to very high) of CRRM. Four possible CRRM topologies (CRRM server, integrated CRRM, Hierarchical CRRM, and CRRM in user terminals) are described. The book presents different Radio Access Technologies selection algorithms, including single criterion and multiple criteria based algorithms are presented and compares them. Finally, the book analyses the advantages and disadvantages of the different selection algorithms.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 52 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -'Field Theory Concepts' is a new approach to the teachingand understanding of field theory. Exploiting formal analogies of electric, magnetic, and conduction fields andintroducing generic concepts results in a transparentlystructured electomagnetic field theory. Highly illustrativeterms alloweasyaccess to the concepts of curl and div whichgenerally are conceptually demanding. Emphasis is placed onthe static, quasistatic and dynamic nature of fields.Eventually, numerical field calculation algorithms, e.g.Finite Element method and Monte Carlo method, are presentedin a concise yet illustrative manner.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 236 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -The present short monograph concerns analytic and semi-analytic techniques for finding an approximate value of the limit load. The limit load is an essential input parameter of flaw assessment procedures. In most cases, finding the limit load involves some numerical calculations of different levels of complexity, including numerical minimization of functions of one or several arguments, the slip-line technique and the finite element method. This book shows in particular how to use singular behavior of the real velocity field in the vicinity of bi-material interfaces in kinematically admissible velocity fields to increase the accuracy of upper bound solutions. An approach to recalculate the limit load for a class of structures with defects with the use of its value for the corresponding structure with no defect is discussed. The upper bound technique is applied to evaluate the limit load of overmatched and undermatched welded joints with cracks subject to various loading conditions of practical importance in conjunction with the aforementioned special techniques.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 128 pp. Englisch.