Springer jul 1995 (243 Ergebnisse)
Sprache: Englisch
Verlag: Springer Nature B.V. Jul 1995, 1995
Serie: Buch 110 von 260 - The Springer International Series in Engineering and Computer Science
- Hardcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 156,71
EUR 61,89 VersandVersand von Deutschland nach USAAnzahl: 2 verfügbar
Buch. Zustand: Neu. Neuware - Program understanding plays an important role in nearly all software related tasks. It is vital to the development, maintenance and reuse activities. Program understanding is indispensable for improving the quality of software development. Several development activities such as code reviews, debuggi…ng and some testing approaches require programmers to read and understand programs. Maintenance activities cannot be performed without a deep and correct understanding of the component to be maintained. Program understanding is vital to the reuse of code components because they cannot be utilized without a clear understanding of what they do. If a candidate reusable component needs to be modified, an understanding how it is designed is also required. of This monograph presents a knowledge-based approach to the automation of program understanding. This approach generates rigorous program documentation mechanically by combining and building on strengths of a practical program decomposition method, the axiomatic correctness notation, and the knowledge based analysis approaches. More specifically, this approach documents programs by generating first order predicate logic annotations of their loops. In this approach, loops are classified according to their complexity levels. Based on this taxonomy, variations on the basic analysis approach that best fit each of the different classes are described. In general, mechanical annotation of loops is performed by first decomposing them using data flow analysis. This decomposition encapsulates interdependent statements in events, which can be analyzed individually.
- Hardcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 230,74
EUR 30,50 VersandVersand von Deutschland nach USAAnzahl: 2 verfügbar
Buch. Zustand: Neu. Neuware - Embodiment, Morality and Medicine deals with the relevance of `embodiment' to bioethics, considering both the historical development and contemporary perspectives on the mind--body relation. The emphasis of all authors is on the importance of the body in defining personal identity as well as on the…role of social context in shaping experience of the body. Among the perspectives considered are Christian, Jewish, Islamic, Buddhist, and African-American. Feminist concerns are important throughout.
- Hardcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 223,29
EUR 63,06 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Buch. Zustand: Neu. Neuware - Agroforestry research is central to developing methods for the sustainable use of natural renewable resources, evolving to address the needs of the coming century. It is now necessary to consolidate the scientific gains now being made in process-oriented research and to develop a policy framework to… encourage the adoption of sustainable land use practices. Agroforestry plays an important role in conserving forest resources, reducing the need for deforestation. Further, if `forest' is broadly defined as tree cover, agroforestry will also increase the proportion of woody biomass in farming landscapes. The papers selected for inclusion in Agroforestry: Science, Policy, and Practice establish agroforestry as an interdisciplinary science focused on the practical imperative of assisting farmers, forest dwellers and landscape-level planners to achieve sustainable food, fuel and timber production into the 21st century.
- Hardcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 304,50
EUR 64,11 VersandVersand von Deutschland nach USAAnzahl: 2 verfügbar
Buch. Zustand: Neu. Neuware - This volume includes papers presented at the Third Annual Computation and Neural Systems meeting (CNS\*94) held in Monterey California, July 21 - July 26, 1994. This collection includes 71 of the more than 100 papers presented at this year's meeting. Acceptance for meeting presentation was based on…the peer review of preliminary papers by at least two referees. The papers in this volume were submitted in final form after the meeting. As represented by this volume, CNS meetings continue to expand in quality, size and breadth of focus as increasing numbers of neuroscientists are taking a computational approach to understanding nervous system function. The CNS meetings are intended to showcase the best of current research in computational neuroscience. As such the meeting is fundamentally focused on understanding the relationship between the structure of neIVOUS systems and their function. What is clear from the continued expansion of the CNS meetings is that computational approaches are increasingly being applied at all levels of neurobiological analysis. in an ever growing number of experimental preparations. and neural subsystems. Thus. experimental subjects range from crickets to primates; sensory systems range from vision to electroreception; experimental approaches range from realistic models of ion channels to the analysis of the information content of spike trains. For this reason, the eNS meetings represent an opportunity for computational neurobiologists to consider their research results in a much broader context than is usually possible.
- Hardcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 304,50
EUR 64,29 VersandVersand von Deutschland nach USAAnzahl: 2 verfügbar
Buch. Zustand: Neu. Neuware - Towards Balanced Automation The concept. Manufacturing industries worldwide are facing tough challenges as a consequence of the globalization of economy and the openness of the markets. Progress of the economic blocks such as the European Union, NAFTA, and MERCOSUR, and the global agreements such as… GATT, in addition to their obvious economic and social consequences, provoke strong paradigm shifts in the way that the manufacturing systems are conceived and operate. To increase profitability and reduce the manufacturing costs, there is a recent tendency towards establishing partnership links among the involved industries, usually between big industries and the networks of components' suppliers. To benefit from the advances in technology, similar agreements are being established between industries and universities and research institutes. Such an open tete-cooperation network may be identified as an extended enterprise or a virtual enterprise. In fact, the manufacturing process is no more carried out by a single enterprise, rather each enterprise is just a node that adds some value (a step in the manufacturing chain) to the cooperation network of enterprises. The new trends create new scenarios and technological challenges, especially to the Small and Medium size Enterprises (SMEs) that clearly comprise the overwhelming majority of manufacturing enterprises worldwide. Under the classical scenarios, these SMEs would have had big difficulties to access or benefit from the state of the art technology, due to their limited human, financial, and material resources.
- Hardcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 304,50
EUR 64,32 VersandVersand von Deutschland nach USAAnzahl: 2 verfügbar
Buch. Zustand: Neu. Neuware - We are at the midpoint in the 'Decade of the Brain'. Why do we know so much and yet understand so little about the brain The field of neuroscience has exploded, and anyone who attends one of the large meetings has the impression of drinking from a fire hydran- as so aptly put by the late neuroanatom…ist Walle J. H. Nauta. Part of that feeling is a general-information problem, experienced in other fields of scienc as well. In brain research, however, the problem is accentuated by the rapid advances of molecular and cellular brain research. The dynamics created by these lines of research have multiplied published output, but have inevitably entailed a compartmentalization of scientific interests and research strategies. If the cost of gaining knowledge is a shrinking horizon of the individual scientist, neuroscience must develop strategies for organizing the acquisition of knowledge. Some of this guidance is given by the society -by medical and, perhaps, commercial needs. But who provides the backbone for establishing a generally accepted 'schema' for basic brain research -a frame of reference onto which the millions of information fragments can be fitted, in a way acceptable to a multicultural and polymethodical neuroscience community We believe that developmental and evolutionary biology has the potential to provide a commonly accepted frame of reference for that multilevel system approach needed to understand the workings of the brain.
- Hardcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 306,42
EUR 64,76 VersandVersand von Deutschland nach USAAnzahl: 2 verfügbar
Buch. Zustand: Neu. Neuware - The operation of semiconductor devices depends upon the use of electrical potential barriers (such as gate depletion) in controlling the carrier densities (electrons and holes) and their transport. Although a successful device design is quite complicated and involves many aspects, the device enginee…ring is mostly to devise a 'best' device design by defIning optimal device structures and manipulating impurity profIles to obtain optimal control of the carrier flow through the device. This becomes increasingly diffIcult as the device scale becomes smaller and smaller. Since the introduction of integrated circuits, the number of individual transistors on a single chip has doubled approximately every three years. As the number of devices has grown, the critical dimension of the smallest feature, such as a gate length (which is related to the transport length defIning the channel), has consequently declined. The reduction of this design rule proceeds approximately by a factor of 1. 4 each generation, which means we will be using 0. 1-0. 15 ). lm rules for the 4 Gb chips a decade from now. If we continue this extrapolation, current technology will require 30 nm design rules, and a cell 3 2 size 10 nm , for a 1Tb memory chip by the year 2020. New problems keep hindering the high-performance requirement. Well-known, but older, problems include hot carrier effects, short-channel effects, etc. A potential problem, which illustrates the need for quantum transport, is caused by impurity fluctuations.
- Hardcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 315,00
EUR 64,65 VersandVersand von Deutschland nach USAAnzahl: 2 verfügbar
Buch. Zustand: Neu. Neuware - It has been established that neuroglia are involved in early neu ronal growth, differentiation, and migration; these issues are well discussed in the companion volume entitled Neuron-Glia Interrela tions During Phylogeny: I. Phylogeny and Ontogeny of Glial Cells. The present volume, Neuron-Glia Inte…rrelations During Phylogeny: II. Plas ticity and Regeneration, focuses on two aspects: (1) neuron-glia inter relations as they relate to the physiological and metabolic homeostasis of neurons; and (2) the role of neuroglia and neuronal plasticity in regeneration and aging. Neuron-Glia Interrelations During Phylogeny: II. Plasticity and Regeneration begins with the unique presentation, 'Neuron-Glia In teractions in the Human Fetal Brain,' by Sogos et al. The interesting issue discussed in this chapter is the immunocompetence of the CNS, a field that is now rising. The chapter by Oland et al. , 'Glial Cells Playa Key Role in the Construction of Insect Olfactory Glomeruli,' discusses a unique role of glial cells as intermediates in afferent axon induction of substructure with the CNS. The chapter by Vanhems, 'Insect Glial Cells and Their Relationships with Neurons,' compliments the information presented in the companion volume by Fredieu and Mahowald and, in this volume, the chapter by Tobert and Oland. The chapter by Tsacopoulos and Poitry, 'Metabolite Exchanges and Signal Trafficking Between Glial Cells and Neurons in the Insect Retina,' provides evidence of the nutritive functions of glial cells and the important role of alanine supplied by glial cells to photoreceptors, a clear neuron-glia interaction.
- Hardcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 372,92
EUR 67,86 VersandVersand von Deutschland nach USAAnzahl: 2 verfügbar
Buch. Zustand: Neu. Neuware - 355 articles arranged under the following sections: B and T Cells of the Mucosal Immune System: Trafficking and Cytokine Regulation. Nonlymphoid Cells of the Mucosal Immune System: Epithelial Cells, APC, and Other Cell Types. Development of Mucosal Immunity: Reproductive Tract, Ontogeny, Phylogeny,…and Immunodeficiency. Gnotobiology, Environmental, Nutritional, and Intrinsic Factors in Mucosal Immunology. Structure, Proteolysis, and Function of Mucosal Immunoglobulins: Cellular Receptors. Clinical Immunology, Immunopathology, Immunodeficiency, and Allergology. Microbial, Parasite, and HIV Mucosal Infections. Immunology of the Liver. Oral Immunology and Immunopathology. Autoimmunity, Oral Tolerance, and Aging. Chronic Inflammation, Inflammatory Bowel Diseases and Celiac Disease. Induction of Mucosal Immune Responses and Vaccine Delivery Systems. Index.
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 784,33
EUR 69,52 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Taschenbuch. Zustand: Neu. Neuware - This ENCYCLOPAEDIA OF MATHEMATICS aims to be a reference work for all parts of mathe matics. It is a translation with updates and editorial comments of the Soviet Mathematical Encyclopaedia published by 'Soviet Encyclopaedia Publishing House' in five volumes in 1977-1985. The annotated transl…ation consists of ten volumes including a special index volume. There are three kinds of articles in this ENCYCLOPAEDIA. First of all there are survey-type articles dealing with the various main directions in mathematics (where a rather fine subdivi sion has been used). The main requirement for these articles has been that they should give a reasonably complete up-to-date account of the current state of affairs in these areas and that they should be maximally accessible. On the whole, these articles should be understandable to mathematics students in their first specialization years, to graduates from other mathematical areas and, depending on the specific subject, to specialists in other domains of science, en gineers and teachers of mathematics. These articles treat their material at a fairly general level and aim to give an idea of the kind of problems, techniques and concepts involved in the area in question. They also contain background and motivation rather than precise statements of precise theorems with detailed definitions and technical details on how to carry out proofs and constructions. The second kind of article, of medium length, contains more detailed concrete problems, results and techniques.
- Softcover
- Print-on-Demand
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, DeutschlandBuchWeltWeit Ludwig Meier e.K.
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 24,60
EUR 23,00 VersandVersand von Deutschland nach USAAnzahl: 2 verfügbar
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Indicators used to direct ecomonic policy (GDP, national income, etc.) are based on a number of factors ß but nowhere in their calculation is there an acknowledgement of the degradation of natural resources. The numbers may look good,… but continued deterioration of the environment is leading us closer to crises; meanwhile, policymakers and the public are basing decisions on dangerously incomplete information. In Taking Nature into Account, a number of the world's leading experts make the ethical, historical, economic, and ecological arguments for including environmental factors when measuring fiscal health. Initiated by the Club of Rome (an international group of influential businesspeople, statesmen, and scientists), and written in cooperation with the World Wide Fund for Nature, the report reviews existing methodologies and makes recommendations for adjusting the way we think about and measure the economy. 352 pp. Englisch.
- Softcover
- Print-on-Demand
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, DeutschlandBuchWeltWeit Ludwig Meier e.K.
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 37,44
EUR 23,00 VersandVersand von Deutschland nach USAAnzahl: 2 verfügbar
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book is essentially a set of lecture notes from a graduate seminar given at Cornell in Spring 1994. It treats basic mathematical theory for superconvergence in the context of second order elliptic problems. It is aimed at graduat…e students and researchers. The necessary technical tools are developed in the text although sometimes long proofs are merely referenced.The book gives a rather complete overview of the field of superconvergence (in time-independent problems). It is the first text with such a scope. It includes a very complete and up-to-date list of references. 184 pp. Englisch.
Sprache: Englisch
Verlag: Springer New York Jul 1995, 1995
- Softcover
- Print-on-Demand
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, DeutschlandBuchWeltWeit Ludwig Meier e.K.
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 42,75
EUR 23,00 VersandVersand von Deutschland nach USAAnzahl: 2 verfügbar
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -To the Teacher. This book is designed to introduce a student to some of the important ideas of algebraic topology by emphasizing the re lations of these ideas with other areas of mathematics. Rather than choosing one point of view of…modem topology (homotopy theory, simplicial complexes, singular theory, axiomatic homology, differ ential topology, etc.), we concentrate our attention on concrete prob lems in low dimensions, introducing only as much algebraic machin ery as necessary for the problems we meet. This makes it possible to see a wider variety of important features of the subject than is usual in a beginning text. The book is designed for students of mathematics or science who are not aiming to become practicing algebraic topol ogists-without, we hope, discouraging budding topologists. We also feel that this approach is in better harmony with the historical devel opment of the subject. What would we like a student to know after a first course in to pology (assuming we reject the answer: half of what one would like the student to know after a second course in topology) Our answers to this have guided the choice of material, which includes: under standing the relation between homology and integration, first on plane domains, later on Riemann surfaces and in higher dimensions; wind ing numbers and degrees of mappings, fixed-point theorems; appli cations such as the Jordan curve theorem, invariance of domain; in dices of vector fields and Euler characteristics; fundamental groups 452 pp. Englisch.
- Softcover
- Print-on-Demand
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, DeutschlandBuchWeltWeit Ludwig Meier e.K.
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 42,79
EUR 23,00 VersandVersand von Deutschland nach USAAnzahl: 2 verfügbar
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Hodge theory is a standard tool in characterizing differ- ential complexes and the topology of manifolds. This book is a study of the Hodge-Kodaira and related decompositions on manifolds with boundary under mainly analytic aspects. I…t aims at developing a method for solving boundary value problems. Analysing a Dirichlet form on the exterior algebra bundle allows to give a refined version of the classical decomposition results of Morrey. A projection technique leads to existence and regularity theorems for a wide class of boundary value problems for differential forms and vector fields. The book links aspects of the geometry of manifolds with the theory of partial differential equations. It is intended to be comprehensible for graduate students and mathematicians working in either of these fields. 172 pp. Englisch.
- Softcover
- Print-on-Demand
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, DeutschlandBuchWeltWeit Ludwig Meier e.K.
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 48,14
EUR 23,00 VersandVersand von Deutschland nach USAAnzahl: 2 verfügbar
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book contains two of the three lectures given at the Saint-Flour Summer School of Probability Theory during the period August 18 to September 4, 1993. 228 pp. Englisch, Französisch.
- Hardcover
- Print-on-Demand
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, DeutschlandBuchWeltWeit Ludwig Meier e.K.
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 53,49
EUR 23,00 VersandVersand von Deutschland nach USAAnzahl: 2 verfügbar
Buch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Capital theory is a cornerstone of modern economics. Its ideas are fundamental for dynamic equilibrium theory and its concepts are applied in many branches of economics like game theory, resource and environmental economics, although this ma…y not be recognized on a first glance. In this monograph, an approach is presented, which allows to derive important results of capital theory in a coherent and readily accessible framework. A special emphasis is given on infinite horizon and overlapping generations economics. Irreversibility of time, or the failure of the market system appear in a different light if an infinite horizon framework is applied. To bridge the gap between pure and applied economic theory, the structure of our theoretical approach is integrated in a computable general equilibrium model. 312 pp. Englisch.
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg Jul 1995, 1995
- Softcover
- Print-on-Demand
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, DeutschlandBuchWeltWeit Ludwig Meier e.K.
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 53,49
EUR 23,00 VersandVersand von Deutschland nach USAAnzahl: 2 verfügbar
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book presents the proceedings of the 4th International Symposium on large Spatial Databases, SSD '95, held in Portland, Maine, USA in August 1995.The 23 refereed full papers presented were selected from more than 60 submissions a…nd describe the state-of-the-art in the expanding field of large spatial databases, with a certain emphasis on an upcoming new generation of spatial database management systems. The volume is organized in sections on spatial data models, spatial data mining, spatial query processing, multiple representations, open GIS, geo-algorithms, reasoning about spatial relations, spatial joins, and benchmarks. 424 pp. Englisch.
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg Jul 1995, 1995
- Softcover
- Print-on-Demand
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, DeutschlandBuchWeltWeit Ludwig Meier e.K.
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 53,49
EUR 23,00 VersandVersand von Deutschland nach USAAnzahl: 2 verfügbar
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume constitutes the proceedings of the Third International Conference on the Mathematics of Program Construction, held at Kloster Irsee, Germany in July 1995.Besides five invited lectures by distinguished researchers there are… presented 19 full revised papers selected from a total of 58 submissions. The general theme is the use of crisp, clear mathematics in the discovery and design of algorithms and in the development of corresponding software and hardware; among the topics addressed are program transformation, program analysis, program verification, as well as convincing case studies. 488 pp. Englisch.
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg Jul 1995, 1995
- Softcover
- Print-on-Demand
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, DeutschlandBuchWeltWeit Ludwig Meier e.K.
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 53,49
EUR 23,00 VersandVersand von Deutschland nach USAAnzahl: 2 verfügbar
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the papers selected after a very careful refereeing process for presentation during the Workshop on Job Scheduling Stategies for Parallel Processing, held in Santa Barbara, California, as a prelude to the IPPS '95… conference in April 1995.The 19 full papers presented demonstrate that parallel job scheduling takes on a crucial role as multi-user parallel supercomputers become more widespread. All aspects of job scheduling for parallel systems are covered, from the perspectives of academic research, industrial design of parallel systems, as well as user needs. Of particular interest, also for nonexpert readers, is the introductory paper 'Parallel Job Scheduling: Issues and Approaches' by the volume editors. 376 pp. Englisch.
Sprache: Englisch
Verlag: Springer Vienna Jul 1995, 1995
Serie: Buch 185 von 433 - CISM International Centre for Mechanical Sciences
- Softcover
- Print-on-Demand
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, DeutschlandBuchWeltWeit Ludwig Meier e.K.
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 53,49
EUR 23,00 VersandVersand von Deutschland nach USAAnzahl: 2 verfügbar
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -In recent years it has become apparent that an important part of the theory of Artificial Intelligence is concerned with reasoning on the basis of uncertain, incomplete or inconsistent information. Classical logic and probability theo…ry are only partially adequate for this, and a variety of other formalisms have been developed, some of the most important being fuzzy methods, possibility theory, belief function theory, non monotonic logics and modal logics.The aim of this workshop was to contribute to the elucidation of similarities and differences between the formalisms mentioned above. 268 pp. Englisch.
Sprache: Englisch
Verlag: Springer Vienna Jul 1995, 1995
Serie: Buch 197 von 433 - CISM International Centre for Mechanical Sciences
- Softcover
- Print-on-Demand
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, DeutschlandBuchWeltWeit Ludwig Meier e.K.
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 53,49
EUR 23,00 VersandVersand von Deutschland nach USAAnzahl: 2 verfügbar
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume is the first to give the mathematical background and a comprehensive survey of the old and new summation formulae resulting in an approximate value of the critical load factor of a complex problem by means of the critical…load factors of subproblems by addition. The theorems and formulae are richly illustrated by examples in structural engineering. 232 pp. Englisch.
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, J.B. Metzler Jul 1995, 1995
- Softcover
- Print-on-Demand
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, DeutschlandBuchWeltWeit Ludwig Meier e.K.
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 53,49
EUR 23,00 VersandVersand von Deutschland nach USAAnzahl: 2 verfügbar
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book describes four different methods of paleotemperature assessment on selected Paleozoic rock units and determines spatial variations in maximum burial depths of these units and thicknesses of lost overburden. Stratigraphic and… tectonic history of the northern Appalachian basin is described in details followed by a critical review of fluid inclusion, clay diagenesis, organic maturation, and stable isotope techniques of paleotemperature measurements in sedimentary rocks. 128 pp. Englisch.
- Softcover
- Print-on-Demand
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, DeutschlandBuchWeltWeit Ludwig Meier e.K.
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 53,49
EUR 23,00 VersandVersand von Deutschland nach USAAnzahl: 2 verfügbar
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Logic is one of the most popular approaches to artificial intelligence. A potential obstacle to the use of logic is its high computational complexity, as logical inference is an extraordinarily powerful computational device.This book…is concerned with computational aspects of the logical approach to AI. The focus is on two strategies for achieving computational tractability in knowledge representation and reasoning by language restriction and approximation. Several formalisms for knowledge representation are taken into account; among the computational problems studied are checking satisfiability and entailment of formulae, finding a model, and approximating and compiling a logical for 276 pp. Englisch.
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg Jul 1995, 1995
- Softcover
- Print-on-Demand
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, DeutschlandBuchWeltWeit Ludwig Meier e.K.
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 53,49
EUR 23,00 VersandVersand von Deutschland nach USAAnzahl: 2 verfügbar
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Many parallel computer architectures are especially suited for particular classes of applications. However, there are only a few parallel architectures equally well suited for standard programs. Much effort is invested into research i…n compiler techniques to make programming parallel machines easier.This book presents methods for automatic parallelization, so that programs need not to be tailored for specific architectures; here the focus is on fine-grain parallelism, offered by most new microprocessor architectures. The book addresses compiler writers, computer architects, and students by demonstrating the manifold complex relationships between architecture and compiler technology. 204 pp. Englisch.
Sprache: Englisch
Verlag: Springer, Basel, Birkhäuser Basel, Birkhäuser Jul 1995, 1995
- Hardcover
- Print-on-Demand
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, DeutschlandBuchWeltWeit Ludwig Meier e.K.
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 53,49
EUR 23,00 VersandVersand von Deutschland nach USAAnzahl: 2 verfügbar
Buch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Pure and applied stochastic analysis and random fields form the subject of this book. The collection of articles on these topics represent the state of the art of the research in the field, with particular attention being devoted to stochast…ic models in finance. Some are review articles, others are original papers; taken together, they will apprise the reader of much of the current activity in the area. 394 pp. Englisch.
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg Jul 1995, 1995
- Softcover
- Print-on-Demand
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, DeutschlandBuchWeltWeit Ludwig Meier e.K.
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 53,49
EUR 23,00 VersandVersand von Deutschland nach USAAnzahl: 2 verfügbar
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume is based on the workshop 'Unifying Theory and Practice in Distributed Systems' held in Schloß Dagstuhl, Germany in September 1994.During the past 20 years, a substantial theoretical and practical base has evolved in the ar…ea of distributed computing. However, this work has been done by largely disjoint communities of researchers; this workshop brought together established experts from both worlds. The volume contains 17 full papers refereed and revised after the workshop so that they reflect original research enriched by insights gained through discussions at the workshop. Among the issues treated are paradigms and concepts, fundamental algorithms and principles, fault-tolerance, real-time, system structures, large case aspects and others. 280 pp. Englisch.
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, Springer Jul 1995, 1995
- Softcover
- Print-on-Demand
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, DeutschlandBuchWeltWeit Ludwig Meier e.K.
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 53,49
EUR 23,00 VersandVersand von Deutschland nach USAAnzahl: 2 verfügbar
Taschenbuch. Zustand: 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 exploitati…on 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. 268 pp. Englisch.
Sprache: Englisch
Verlag: Springer Vienna Jul 1995, 1995
Serie: Buch 199 von 433 - CISM International Centre for Mechanical Sciences
- Softcover
- Print-on-Demand
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, DeutschlandBuchWeltWeit Ludwig Meier e.K.
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 53,49
EUR 23,00 VersandVersand von Deutschland nach USAAnzahl: 2 verfügbar
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The CISM-IFToMM Symposia have played a dynamic role in the development of the theory and practice of robotics. The proceedings of the Tenth Symposia present a world view to date of the state-of-the-art, including a unique record of th…e results achieved in central and eastern Europe. 444 pp. Englisch.
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg Jul 1995, 1995
- Softcover
- Print-on-Demand
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, DeutschlandBuchWeltWeit Ludwig Meier e.K.
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 53,49
EUR 23,00 VersandVersand von Deutschland nach USAAnzahl: 2 verfügbar
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the proceedings of the 11th International Conference on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC-11, held in Paris, France in July 1995.The volume presents five invited papers and 3…2 full revised research papers selected from a total of 68 submissions; it is focussed on research directed to the exploitation of algebraic techniques and methodologies for the application in coding and computer algebra. Among the topics covered are coding, cryptoloy, communication, factorization of polynomials, Gröbner bases, computer algebra, algebraic algorithms, symbolic computation, algebraic manipulation. 504 pp. Englisch.
- Softcover
- Print-on-Demand
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, DeutschlandBuchWeltWeit Ludwig Meier e.K.
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 53,49
EUR 23,00 VersandVersand von Deutschland nach USAAnzahl: 2 verfügbar
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Experts from university and industry are presenting new technologies for solving industrial problems and giving many important and practicable impulses for new research. Topics explored include NURBS, product engineering, object orien…ted modelling, solid modelling, surface interrogation, feature modelling, variational design, scattered data algorithms, geometry processing, blending methods, smoothing and fairing algorithms, spline conversion.This collection of 24 articles gives a state-of-the-art survey of the relevant problems and issues in geometric modelling. 376 pp. Englisch.
