springer netherlands springer netherlands mai 1996 (44 Ergebnisse)

Buch. Zustand: Neu. Neuware -Arid and semi-arid regions can be defined as environments in which water is the limit ing factor for bio-systems. This means that survival of life in these regions involves a constant struggle to obtain this limited commodity and draw the maximum benefit out of it. However, despite the difficulties for plants, animals, and man to live in, these regions, they are being utilized more and more because of the pressure of world population growth. This is expressed in the expansion of agricultural activities in desert lands as well as by the formation and rapid growth of urban and industrial centers. These trends result in a growing demand for water on the one hand, and the disposal of vast amounts of waste water, as well as other types of refuse, on the other. Meeting the first demand, namely, supplying water to the agricultural communities and urban centers, involves, in many instances, the over-exploitation and misuse of nat ural water resources. The surplus of waste water, sometimes highly loaded with toxic compounds, is likely to cause irreversible damage to the environment. The geoscientists and engineers face a challenge on two conflicting fronts. Success on one front, namely, in answering the full demand for water, may lead to an increase in the pollution of the environment by waste water.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 196 pp. Englisch.

Buch. Zustand: Neu. Neuware -Aristotle's Idea of the Soul considers the nature of the soul within Aristotle's psychology and natural philosophy. A survey is provided of the contemporary interpretations of Aristotle's idea of the soul, which are prominent in the Aristotelian scholarship within the analytic tradition. These interpretations are divided into two positions: `attributivism', which considers the soul to be a property; and `substantialism', which considers it to be a thing. Taxonomies are developed for attributivism and substantialism, and the cases for each of them are considered. It is concluded that neither position may be maintained without compromise, since Aristotle ascribes to the soul features that belong exclusively to a thing and exclusively to a property. Aristotle treats the soul as a `property-thing', as a cross between a thing and a property. It is argued that Aristotle comes by this idea of the soul because his hylomorphism casts the soul as a property and his causal doctrine presents it as a causal agent and thereby as a thing.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 202 pp. Englisch.

Buch. Zustand: Neu. Neuware -The purpose of this book is to provide the reader who is interested in applications of fuzzy set theory, in the first place with a text to which he or she can refer for the basic theoretical ideas, concepts and techniques in this field and in the second place with a vast and up to date account of the literature. Although there are now many books about fuzzy set theory, and mainly about its applications, e. g. in control theory, there is not really a book available which introduces the elementary theory of fuzzy sets, in what I would like to call 'a good degree of generality'. To write a book which would treat the entire range of results concerning the basic theoretical concepts in great detail and which would also deal with all possible variants and alternatives of the theory, such as e. g. rough sets and L-fuzzy sets for arbitrary lattices L, with the possibility-probability theories and interpretations, with the foundation of fuzzy set theory via multi-valued logic or via categorical methods and so on, would have been an altogether different project. This book is far more modest in its mathematical content and in its scope.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 428 pp. Englisch.

Buch. Zustand: Neu. Neuware -In recent years, analysts, researchers and environmental policy makers have been faced with a serious shortage of empirical data on environmental phenomena. In fact, the information gathered by various organisations has not yet been systematically classified into a consistent system of accounts.This book presents the results of a joint research effort by the Fondazione Eni Enrico Mattei and Italy's Central Statistical Office (ISTAT) to design a system of accounts for natural and environmental resources. The resulting environmental accounts can be integrated with the existing system of national accounts, in order to estimate the so-called `green GDP' or `net national product' (NNP).Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 324 pp. Englisch.

Buch. Zustand: Neu. Neuware -The European Union faces several interlinked challenges: how to protect the environment and favour sustainability; how to reduce unemployment and foster competitiveness in a context of growing globalization; how to reduce regional disparities among and within me mb er countries. The recent policy debate has clarified that the above objectives are not a trade off if jointly tackled. In particular, win-win policy options are available to the European Union by an appropriate integration of regulation, macro policy, social policy, fiscal policy and environmental policy. Evidence shows that optimising on each single policy will not meet the needs of the European Union. On the contrary, an integrated approach will make it possible to reach the various objectives, as stated in the Treaty on European Union, in the 5th Environmental Action Programme, in the White Paper on Growth, Competitiveness and Employment. This integrated approach would im plement a genuine sustainable development policy.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 296 pp. Englisch.

Buch. Zustand: Neu. Neuware -Many companies have adopted the approach of Material Requirements Planning (MRP) and Manufacturing Resource Planning (MRP II). Despite the improvements and broadening of the MRP framework, MRP II systems still perform poorly in certain manufacturing environments. Help is at hand. This book proposes new ideas to improve the planning activities at the strategic, tactical and execution layers in manufacturing organisations. It takes into account the diverse nature of manufacturing environments. The book presents an almost unique combination of theory tested in practice, enhancing traditional manufacturing planning approaches. It is essential reading for managers and practitioners in the field, and is also suitable as an advanced text for students in industrial engineering, manufacturing and management.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 260 pp. Englisch.

Buch. Zustand: Neu. Neuware -This book provides the reader with inside knowledge about the application and workability of the concept of benchmarking in different industrial contexts. It takes a practical approach, including case studies in benchmarking applications from a cross-section of industry and commerce, and promotes state-of-the-art thinking and innovation through the use of benchmarking. It is the key text for senior managers, project teams, trainers and consultants in benchmarking and quality management. Effective Benchmarking features include: 20 case studies from nine different sectors; evidence that benchmarking can help achieve competitive advantage; numerous tips and useful information.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 404 pp. Englisch.

Buch. Zustand: Neu. Neuware -The Supramolecular Compounds refer to organised multi-molecular assemblies and associated phenomena. The stability and the properties of these compounds strongly involve structural three-dimensional (3D) information. The crystal itself can be considered as a giant supermolecule. Thus, a thorough understanding of crystal structures and crystal growth provides a unique information on the intermolecular interactions. Indeed, each crystal reflects in a particular way the recognition properties of molecules. More so, modern crystallography allows to study in detail two or three-component crystalline solids in which the recognition processes can be seen from the structural standpoint. Crystallography of smaller and smaller single crystals, faster and faster experiments, time-resolved x-ray crystallography, are extremely potent source of physico-chemical information. The present Advanced Study Institute (A.S.I.) - which was planned five years ago as the 22nd Course of the International School of Crystallography (director: T. L. BLUNDELL), 1-11 June 1995, E. Majorana Centre, Erice, Italy - is probably the first international meeting specifically devoted to the Crystallography of Supramolecular Compounds. The presence of crystallographers, chemists and physicists enhanced the coherence of the typical sequence: Conception and Design - Synthesis - Structure and Visualisation - Properties. The interactive and interdisciplinary character of this research is central to the development of general structural models for a large spectrum of compounds: ionophores, cryptates, fullerenes, calixarenes, cyclodextrins, cyclotriveratrylenes, pillar type compounds, zeolites, hydrates, solvates and others.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 540 pp. Englisch.

Buch. Zustand: Neu. Neuware -This book provides a broad introduction to electrical methods, with particular emphasis on concepts, methods, exploration strategy and interpretation. The book is designed to be used by non-specialists, and complex mathematical derivations and details of rapidly changing subjects such as instrumentation and data processing are deliberately kept to a minimum.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 222 pp. Englisch.

Buch. Zustand: Neu. Neuware -In the past decade, indirect (Doppler) imaging techniques have opened up a whole new discipline in stellar astronomy, providing increasingly detailed photometric, magnetic, and chemical inhomogeneity images of stellar surfaces. Furthermore, new optical interferometers are already being used with sophisticated interferometer techniques to image stellar surface structures more directly, and in the future the ESO VLT Interferometer and other instruments will extend these capabilities enormously. These developments are highlighted in the first two sections of this book.The large number of recent results, ground-based and space-based, and the lack of a generally accepted dynamo theory with predictive power for the stars and the Sun, result in an ever-growing complexity of interpretation of individual results. The IAU Symposium 176 on `Stellar Surface Structure' consequently focused on spatially resolved stellar observations throughout the H-R diagram, from O- and B-stars to late M-stars. Two further sections in this book summarize the current observational data on surface inhomogeneities in stellar photospheres, chromospheres, and coronae. Finally, a special section is devoted to next generation model atmospheres.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 628 pp. Englisch.

Buch. Zustand: Neu. Neuware -Maximum entropy and Bayesian methods have fundamental, central roles in scientific inference, and, with the growing availability of computer power, are being successfully applied in an increasing number of applications in many disciplines. This volume contains selected papers presented at the Thirteenth International Workshop on Maximum Entropy and Bayesian Methods. It includes an extensive tutorial section, and a variety of contributions detailing application in the physical sciences, engineering, law, and economics.Audience: Researchers and other professionals whose work requires the application of practical statistical inference.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 428 pp. Englisch.

Buch. Zustand: Neu. Neuware -Sealing of boreholes and underground excavations has not received much engineering attention until fairly recently. The growing awareness of and sensitivity to environmental concerns of the technical community as well as of the public at large has resulted in an increasing recognition of the fact that these geological penetrations may have an environmental impact. The issue of possible contamination resulting from migration along boreholes, adits, shafts or tunnels unquestionably has been raised most forcefully with in the context of nuclear waste disposal. Several nuclear waste disposal programs, notably the Civilian and the Defence programs of the US De partment of Energy, the US Nuclear Regulatory Commission and the Canadian and Swedish radioactive waste disposal programs have conducted major research efforts aimed at developing adequate seal designs for penet rations in host rock formations for high-level nuclear waste repositories. While a considerable data base has been gathered over the last two decades or so with regard to the performance of seals, most of the information is presented in research reports and widely scattered papers in journals and proceedings of conferences. Hence, the materials are not readily accessible to potential users such as designers, contractors or regulators who are not familiar with nuclear waste disposal programs.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 348 pp. Englisch.

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This manual comprises a range of techniques for research workers in the fields of cell and molecular biology, physiology, plant breeding and propagation, and genetic engineering. 212 pp. Englisch.

Taschenbuch. Zustand: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This manual comprises a range of techniques for research workers in the fields of cell and molecular biology, physiology, plant breeding and propagation, and genetic engineering.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 212 pp. Englisch.

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Digital signal processing has become an integral part of observational seismology. Seismic waveforms and the parameters commonly extracted from them are strongly influenced by the effects of numerous filters, both within the earth and within the recording system. With the advent of numerous software tools for the processing of digital seismograms, seismologists have unprecedented power in extracting information from seismic records. These tools are often based on sophisticated theoretical aspects of digital signal processing which, to be used properly, need to be understood. This book is aimed at observational seismologists and students in geophysics trying to obtain a basic understanding of those aspects of digital signal processing that are relevant to the interpretation of seismograms. It covers the basic theory of linear systems, the design and analysis of simple digital filters, the effect of sampling and A/D conversion, the calculation of `true ground motion', and the effects of seismic recording systems on parameters extracted from digital seismograms. It contains numerous examples and exercises together with their solutions. 272 pp. Englisch.

Buch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Modern statistics consists of methods which help in drawing inferences about the population under consideration. These populations may actually exist, or could be generated by repeated experimentation. The medium of drawing inferences about the population is the sample, which is a subset of measurements selected from the population. Each measurement in the sample is used for making inferences about the population. The populations and also the methods of sample selection differ from one field of science to the other. Social scientists use surveys tocollectthe sample information, whereas the physical scientists employ the method of experimentation for obtaining this information. This is because in social sciences the factors that cause variation in the measurements on the study variable for the population units can not be controlled, whereas in physical sciences these factors can be controlled, at least to some extent, through proper experimental design. Several excellent books on sampling theory are available in the market. These books discuss the theory of sample surveys in great depth and detail, and are suited to the postgraduate students majoring in statistics. Research workers in the field of sampling methodology can also make use of these books. However, not many suitable books are available, which can be used by the students and researchers in the fields of economics, social sciences, extension education, agriculture, medical sciences, business management, etc. These students and workers usually conduct sample surveys during their research projects. 410 pp. Englisch.

Buch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Arid and semi-arid regions can be defined as environments in which water is the limit ing factor for bio-systems. This means that survival of life in these regions involves a constant struggle to obtain this limited commodity and draw the maximum benefit out of it. However, despite the difficulties for plants, animals, and man to live in, these regions, they are being utilized more and more because of the pressure of world population growth. This is expressed in the expansion of agricultural activities in desert lands as well as by the formation and rapid growth of urban and industrial centers. These trends result in a growing demand for water on the one hand, and the disposal of vast amounts of waste water, as well as other types of refuse, on the other. Meeting the first demand, namely, supplying water to the agricultural communities and urban centers, involves, in many instances, the over-exploitation and misuse of nat ural water resources. The surplus of waste water, sometimes highly loaded with toxic compounds, is likely to cause irreversible damage to the environment. The geoscientists and engineers face a challenge on two conflicting fronts. Success on one front, namely, in answering the full demand for water, may lead to an increase in the pollution of the environment by waste water. 196 pp. Englisch.

Buch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -FRANCIS W. HOLM Science Applications International Corporation 7102 Meadow Lane, Chevy Chase, MD 20815 The North Atlantic Treaty Organization (NATO) sponsored an Advanced Research Workshop (ARW) in Warsaw, Poland on April 24-25, 1995, to collect and study information on alternative and supplemental demilitarization technologies. The conference included experienced scientists and engineers, who delivered presentations and provided written reports oftheir findings. Countries describing their technologies included: Poland (pre-processing, thermal oxidation, and instrumentation), Russia (molten salt oxidation, plasma, catalytic oxidation, supertoxicants, molten metal, fluid bed reactions, and hydrogenation), Germany (supercritical water oxidation and detoxification), the United Kingdom (electrochemical oxidation), the United States (wet air oxidation, detoxification and biodegradation), and the Czech Republic (biodegradation). The technologies identified for assessment at the workshop are alternatives to incineration technology for chemical warfare agent destruction. Treatment of metal parts and explosive or energetic material were considered as a secondary issue. The treatment of dunnage and problems associated with decontamination, while recognized as an element of demilitarization, received only limited discussion. The alternative technologies are grouped into three categories based on process bulk operating temperature: low (O-200°C), medium (200-600°C), and high (600-3,500°C). Reaction types considered include hydrolysis, oxidation, electrochemical, hydrogenation, and pyrolysis. These categories represent a broad spectrum of processes, some of which have been studied only in the laboratory and some of which are in commercial use for destruction of hazardous and toxic wastes. Some technologies have been developed and used for specific commercial applications. 190 pp. Englisch.

Buch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The purpose of this book is to provide the reader who is interested in applications of fuzzy set theory, in the first place with a text to which he or she can refer for the basic theoretical ideas, concepts and techniques in this field and in the second place with a vast and up to date account of the literature. Although there are now many books about fuzzy set theory, and mainly about its applications, e. g. in control theory, there is not really a book available which introduces the elementary theory of fuzzy sets, in what I would like to call 'a good degree of generality'. To write a book which would treat the entire range of results concerning the basic theoretical concepts in great detail and which would also deal with all possible variants and alternatives of the theory, such as e. g. rough sets and L-fuzzy sets for arbitrary lattices L, with the possibility-probability theories and interpretations, with the foundation of fuzzy set theory via multi-valued logic or via categorical methods and so on, would have been an altogether different project. This book is far more modest in its mathematical content and in its scope. 428 pp. Englisch.

Buch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Aristotle's Idea of the Soul considers the nature of the soul within Aristotle's psychology and natural philosophy. A survey is provided of the contemporary interpretations of Aristotle's idea of the soul, which are prominent in the Aristotelian scholarship within the analytic tradition. These interpretations are divided into two positions: `attributivism', which considers the soul to be a property; and `substantialism', which considers it to be a thing. Taxonomies are developed for attributivism and substantialism, and the cases for each of them are considered. It is concluded that neither position may be maintained without compromise, since Aristotle ascribes to the soul features that belong exclusively to a thing and exclusively to a property. Aristotle treats the soul as a `property-thing', as a cross between a thing and a property. It is argued that Aristotle comes by this idea of the soul because his hylomorphism casts the soul as a property and his causal doctrine presents it as a causal agent and thereby as a thing. 202 pp. Englisch.

Buch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The idea of optimization runs through most parts of control theory. The simplest optimal controls are preplanned (programmed) ones. The problem of constructing optimal preplanned controls has been extensively worked out in literature (see, e. g. , the Pontrjagin maximum principle giving necessary conditions of preplanned control optimality). However, the concept of op timality itself has a restrictive character: it is limited by what one means under optimality in each separate case. The internal contradictoriness of the preplanned control optimality ('the better is the enemy of the good') yields that the practical significance of optimal preplanned controls proves to be not great: such controls are usually sensitive to unregistered disturbances (includ ing the round-off errors which are inevitable when computer devices are used for forming controls), as there is the effect of disturbance accumulation in the control process which makes controls to be of little use on large time inter vals. This gap is mainly provoked by oversimplified settings of optimization problems. The outstanding result of control theory established in the end of the first half of our century is that controls in feedback form ensure the weak sensitivity of closed loop systems with respect to 'small' unregistered internal and external disturbances acting in them (here we do not need to discuss performance indexes, since the considered phenomenon is of general nature). But by far not all optimal preplanned controls can be represented in a feedback form. 420 pp. Englisch.

Buch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -It has been shown how the common structure that defines a family of proofs can be expressed as a proof plan [5]. This common structure can be exploited in the search for particular proofs. A proof plan has two complementary components: a proof method and a proof tactic. By prescribing the structure of a proof at the level of primitive inferences, a tactic [11] provides the guarantee part of the proof. In contrast, a method provides a more declarative explanation of the proof by means of preconditions. Each method has associated effects. The execution of the effects simulates the application of the corresponding tactic. Theorem proving in the proof planning framework is a two-phase process: 1. Tactic construction is by a process of method composition: Given a goal, an applicable method is selected. The applicability of a method is determined by evaluating the method's preconditions. The method effects are then used to calculate subgoals. This process is applied recursively until no more subgoals remain. Because of the one-to-one correspondence between methods and tactics, the output from this process is a composite tactic tailored to the given goal. 2. Tactic execution generates a proof in the object-level logic. Note that no search is involved in the execution of the tactic. All the search is taken care of during the planning process. The real benefits of having separate planning and execution phases become appar ent when a proof attempt fails. 236 pp. Englisch.

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book provides a comprehensive framework for workers in materials science, physics, chemistry, metrology and non-destructive testing, entering the field of photothermal and thermal wave techniques and can be used by those making use of these methods for a wide range of applications. The essential physics is covered from basic principles, using thermal wave analysis to gain physical insight. Each of the commonly used measurement systems is described and assessed, and the major application areas: spectroscopy; non-destructive evaluation; thermal properties measurement and semiconductor material evaluation are each reviewed. 256 pp. Englisch.

Buch. Zustand: Neu. This item is printed on demand - Print on Demand Titel. Neuware -FRANCIS W. HOLM Science Applications International Corporation 7102 Meadow Lane, Chevy Chase, MD 20815 The North Atlantic Treaty Organization (NATO) sponsored an Advanced Research Workshop (ARW) in Warsaw, Poland on April 24-25, 1995, to collect and study information on alternative and supplemental demilitarization technologies. The conference included experienced scientists and engineers, who delivered presentations and provided written reports oftheir findings. Countries describing their technologies included: Poland (pre-processing, thermal oxidation, and instrumentation), Russia (molten salt oxidation, plasma, catalytic oxidation, supertoxicants, molten metal, fluid bed reactions, and hydrogenation), Germany (supercritical water oxidation and detoxification), the United Kingdom (electrochemical oxidation), the United States (wet air oxidation, detoxification and biodegradation), and the Czech Republic (biodegradation). The technologies identified for assessment at the workshop are alternatives to incineration technology for chemical warfare agent destruction. Treatment of metal parts and explosive or energetic material were considered as a secondary issue. The treatment of dunnage and problems associated with decontamination, while recognized as an element of demilitarization, received only limited discussion. The alternative technologies are grouped into three categories based on process bulk operating temperature: low (O-200°C), medium (200-600°C), and high (600-3,500°C). Reaction types considered include hydrolysis, oxidation, electrochemical, hydrogenation, and pyrolysis. These categories represent a broad spectrum of processes, some of which have been studied only in the laboratory and some of which are in commercial use for destruction of hazardous andtoxic wastes. Some technologies have been developed and used for specific commercial applications.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 190 pp. Englisch.

Buch. Zustand: Neu. This item is printed on demand - Print on Demand Titel. Neuware -The idea of optimization runs through most parts of control theory. The simplest optimal controls are preplanned (programmed) ones. The problem of constructing optimal preplanned controls has been extensively worked out in literature (see, e. g. , the Pontrjagin maximum principle giving necessary conditions of preplanned control optimality). However, the concept of op timality itself has a restrictive character: it is limited by what one means under optimality in each separate case. The internal contradictoriness of the preplanned control optimality ('the better is the enemy of the good') yields that the practical significance of optimal preplanned controls proves to be not great: such controls are usually sensitive to unregistered disturbances (includ ing the round-off errors which are inevitable when computer devices are used for forming controls), as there is the effect of disturbance accumulation in the control process which makes controls to be of little use on large time inter vals. This gap is mainly provoked by oversimplified settings of optimization problems. The outstanding result of control theory established in the end of the first half of our century is that controls in feedback form ensure the weak sensitivity of closed loop systems with respect to 'small' unregistered internal and external disturbances acting in them (here we do not need to discuss performance indexes, since the considered phenomenon is of general nature). But by far not all optimal preplanned controls can be represented in a feedback form. 420 pp. Englisch.

Buch. Zustand: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Modern statistics consists of methods which help in drawing inferences about the population under consideration. These populations may actually exist, or could be generated by repeated experimentation. The medium of drawing inferences about the population is the sample, which is a subset of measurements selected from the population. Each measurement in the sample is used for making inferences about the population. The populations and also the methods of sample selection differ from one field of science to the other. Social scientists use surveys tocollectthe sample information, whereas the physical scientists employ the method of experimentation for obtaining this information. This is because in social sciences the factors that cause variation in the measurements on the study variable for the population units can not be controlled, whereas in physical sciences these factors can be controlled, at least to some extent, through proper experimental design. Several excellent books on sampling theory are available in the market. These books discuss the theory of sample surveys in great depth and detail, and are suited to the postgraduate students majoring in statistics. Research workers in the field of sampling methodology can also make use of these books. However, not many suitable books are available, which can be used by the students and researchers in the fields of economics, social sciences, extension education, agriculture, medical sciences, business management, etc. These students and workers usually conduct sample surveys during their research projects.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 410 pp. Englisch.

Buch. Zustand: Neu. This item is printed on demand - Print on Demand Titel. Neuware -It has been shown how the common structure that defines a family of proofs can be expressed as a proof plan [5]. This common structure can be exploited in the search for particular proofs. A proof plan has two complementary components: a proof method and a proof tactic. By prescribing the structure of a proof at the level of primitive inferences, a tactic [11] provides the guarantee part of the proof. In contrast, a method provides a more declarative explanation of the proof by means of preconditions. Each method has associated effects. The execution of the effects simulates the application of the corresponding tactic. Theorem proving in the proof planning framework is a two-phase process: 1. Tactic construction is by a process of method composition: Given a goal, an applicable method is selected. The applicability of a method is determined by evaluating the method's preconditions. The method effects are then used to calculate subgoals. This process is applied recursively until no more subgoals remain. Because of the one-to-one correspondence between methods and tactics, the output from this process is a composite tactic tailored to the given goal. 2. Tactic execution generates a proof in the object-level logic. Note that no search is involved in the execution of the tactic. All the search is taken care of during the planning process. The real benefits of having separate planning and execution phases become appar ent when a proof attempt fails.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 236 pp. Englisch.

Taschenbuch. Zustand: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Digital signal processing has become an integral part of observational seismology. Seismic waveforms and the parameters commonly extracted from them are strongly influenced by the effects of numerous filters, both within the earth and within the recording system. With the advent of numerous software tools for the processing of digital seismograms, seismologists have unprecedented power in extracting information from seismic records. These tools are often based on sophisticated theoretical aspects of digital signal processing which, to be used properly, need to be understood. This book is aimed at observational seismologists and students in geophysics trying to obtain a basic understanding of those aspects of digital signal processing that are relevant to the interpretation of seismograms. It covers the basic theory of linear systems, the design and analysis of simple digital filters, the effect of sampling and A/D conversion, the calculation of `true ground motion', and the effects of seismic recording systems on parameters extracted from digital seismograms. It contains numerous examples and exercises together with their solutions.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 272 pp. Englisch.

Buch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The European Union faces several interlinked challenges: how to protect the environment and favour sustainability; how to reduce unemployment and foster competitiveness in a context of growing globalization; how to reduce regional disparities among and within me mb er countries. The recent policy debate has clarified that the above objectives are not a trade off if jointly tackled. In particular, win-win policy options are available to the European Union by an appropriate integration of regulation, macro policy, social policy, fiscal policy and environmental policy. Evidence shows that optimising on each single policy will not meet the needs of the European Union. On the contrary, an integrated approach will make it possible to reach the various objectives, as stated in the Treaty on European Union, in the 5th Environmental Action Programme, in the White Paper on Growth, Competitiveness and Employment. This integrated approach would im plement a genuine sustainable development policy. 296 pp. Englisch.

Buch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -In recent years, analysts, researchers and environmental policy makers have been faced with a serious shortage of empirical data on environmental phenomena. In fact, the information gathered by various organisations has not yet been systematically classified into a consistent system of accounts. This book presents the results of a joint research effort by the Fondazione Eni Enrico Mattei and Italy's Central Statistical Office (ISTAT) to design a system of accounts for natural and environmental resources. The resulting environmental accounts can be integrated with the existing system of national accounts, in order to estimate the so-called `green GDP' or `net national product' (NNP). 324 pp. Englisch.