Springer springer mär 1996 (125 risultati)

Buch. Condizione: Neu. Neuware - Forming minorities in five adjacent countries for 74 years, Kurds have been fighting for independence or autonomy, against governments reluctant to accede either. The Kurdish saga is one of periodic insurrections, partial victories, misfortunes, defeats, betrayal, national repression, clashing personalities, changing allegiances and an unusual mixture of heroism and expendiency. Kurds used governments, and governments used Kurds. A good insight is given into both political and military aspects of the struggle, and of the motives and machinations of major personalities involved. …

Buch. Condizione: Neu. Neuware - In Managing the British Economy in the 1960s Sir Alec Cairncross, who was Economic Adviser to HMG in 1961-64 and Head of the newly-created Government Economic Service in 1964-69, tells the inside story of the making of economic policy under four Chancellors of the Exchequer between 1960 and 1970, first under a Conservative government then under a Labour government. He describes how the Treasury dealt with a whole succession of crises and experimented with many new departures of policy over the decade: for example, the efforts to engage in long-term planning, form a workable incomes policy, make use of new taxes for new purposes and enter the European Community. In parallel with the 1990s, the story is dominated by the effort to avoid devaluation followed by the struggle to make it work and keep the pound from sliding further.…

Buch. Condizione: Neu. Neuware - This monograph provides a theoretical treatment of the problems related to the embeddability of graphs. Among these problems are the planarity and planar embeddings of a graph, the Gaussian crossing problem, the isomorphisms of polyhedra, surface embeddability, problems concerning graphic and cographic matroids and the knot problem from topology to combinatorics are discussed. Rectilinear embeddability, and the net-embeddability of a graph, which appears from the VSLI circuit design and has been much improved by the author recently, is also illustrated. Furthermore, some optimization problems related to planar and rectilinear embeddings of graphs, including those of finding the shortest convex embedding with a boundary condition and the shortest triangulation for given points on the plane, the bend and the area minimizations of rectilinear embeddings, and several kinds of graph decompositions are specially described for conditions efficiently solvable. At the end of each chapter, the Notes Section sets out the progress of related problems, the background in theory and practice, and some historical remarks. Some open problems with suggestions for their solutions are mentioned for further research. …

Buch. Condizione: Neu. Neuware - Architectures for Enterprise Integration describes the latest methods to guide enterprises and consultants, managers and technical personnel through a complete life-cycle of enterprise development. This book is based on the findings of the IFIP/IFAC Task Force and presents the state-of-the-art in enterprise architecture. This book is essential reading for all practising engineers and researchers in manufacturing and engineering management with special interest for those involved in CIM and Enterprise Modelling and Integration.…

Buch. Condizione: Neu. Neuware - This book documents progress and presents a broad perspective of recent developments in database security. It also discusses in depth the current state-of-the-art in research in the field. A number of topics are explored in detail including: current reseearch in database security and the state of security controls in present commercial database systems. Database Security IX will be essential reading for advanced students working in the area of database security research and development in for industrial researchers in this technical area.…

Buch. Condizione: Neu. Neuware - Erik Banks, responsible for global risk management at Merrill Lynch in Hong Kong, has written another text on the derivatives field covering innovation in these instruments in Asia Pacific. The text acts as a detailed reference on the nature of these markets and the prospects for the Asian derivative markets, both listed and OTC. He also includes an analysis of the Australian, New Zealand and Japanese markets to fit the emerging markets into context.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The research described in this book contributes to the scientific field of optimal control theory applied to dynamic models of the firm. In 1963, Jorgenson first wrote about the use of optimal control theory in order to analyze the dynamic investment behaviour of a hypothetical firm. A decade later, reports appeared of work on more realistic models of the firm carried out by, amongst others, Lesourne [1973) and Bensoussan et al. [1974). In The Netherlands, P. A. Verheyen, Professor of Management Science at Tilburg University, further instigated studies in this field which led to several publications, for example: Van Loon [1983], Van Schijndel [1988), Kort [1989]' Van Hilten [1991) and Van Hilten et al. [1993). Their investigations are char acterized by an analytical approach to optimization problems (The Maximum Principle of Pontryagin combined with the path coupling procedure of Van Loon). Inherent to this approach, a good economic interpretation of solutions is obtained; however, analytical solving becomes practically unfeasible when simulation models become more complex, e. g. by stronger non-linearity, explic itly time-dependent functions and larger numbers of state variables, control variables and subsidiary conditions. For example, the path coupling procedure is complicated for optimization problems where discontinuities in the costate variables occur. At Eindhoven University of Technology, P. M. E. M. 208 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Making Quality Happen presents a user friendly, customer focused approach for implementing Quality Improvement process in any type of organisation. The author draws upon personal experience of workin with over fifty different organisations and shows how to make quality an integral part of your professional life, not an added or extraneous feature. 216 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -There are two types of tenn structure models in the literature: the equilibrium models and the no-arbitrage models. And there are, correspondingly, two types of interest rate derivatives pricing fonnulas based on each type of model of the tenn structure. The no-arbitrage models are characterized by the work of Ho and Lee (1986), Heath, Jarrow, and Morton (1992), Hull and White (1990 and 1993), and Black, Dennan and Toy (1990). Ho and Lee (1986) invent the no-arbitrage approach to the tenn structure modeling in the sense that the model tenn structure can fit the initial (observed) tenn structure of interest rates. There are a number of disadvantages with their model. First, the model describes the whole volatility structure by a sin gle parameter, implying a number of unrealistic features. Furthennore, the model does not incorporate mean reversion. Black-Dennan-Toy (1990) develop a model along tbe lines of Ho and Lee. They eliminate some of the problems of Ho and Lee (1986) but create a new one: for a certain specification of the volatility function, the short rate can be mean-fteeting rather than mean-reverting. Heath, Jarrow and Morton (1992) (HJM) construct a family of continuous models of the term struc ture consistent with the initial tenn structure data. 168 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 5th International Workshop on Logic Program Synthesis and Transformation, LOPSTR'95, held in Utrecht, The Netherlands in September 1995.The 19 papers included were selected from 40 workshop submissions; they offer a unique up-to-date account of the use of formal synthesis and transformation techniques for computer-aided development of logic programs. Among the topics addressed are deductive and inductive program synthesis, synthesis models based on constructive type theory, program specification, program analysis, theorem proving, and applications to various types of programs. 284 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book presents five tutorial-style lectures on various approaches to the problem of verifying distributed systems: three chapters concentrate on linear-time or branching-time temporal logics; one addresses process equivalence with an emphasis on infinite-state systems; and the final one presents a novel category-theoretic approach to verification. The various formalisms for expressing properties of concurrent systems, based on automata-theoretic techniques or structural properties, are studied in detail.Much attention is paid to the style of writing and complementary coverage of the relevant issues. Thus these lecture notes are ideally suited for advanced courses on logics for concurrent systems. Equally, they are indispensable reading for anyone researching the area of distributed computing. 282 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 5th International Workshop on Extensions of Logic Programming, ELP '96, held in Leipzig, Germany in March 1996.The 18 full papers included were carefully selected by the program committee and are presented together with three invited papers. Among the topics addressed in this book are categorical logic programming, correctness of logic programs, functional-logic languages, implementation issues, linear logic programming, nonmonotonic reasoning, and proof search. 332 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The study of the evolution of galaxies has made remarkable progress in recent years and is currently undergoing a transformation arising from the application of new observational and theoretical tools. Twenty-one invited reviews, twenty-six contributed papers and 137 poster papers cover the wide variety of recent developments, present new insights and demonstrate the rapid increase in our knowledge about galaxy evolution and formation. 504 pp. Englisch. …

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Term indexing supports the construction of efficient automated reasoning systems, as e.g. automated theorem provers, by allowing rapid access to first order predicate calculus terms with specific properties.This monograph provides a comprehensive, well-written survey on term indexing in general and presents new indexing techniques for the retrieval and maintenance of data that help to overcome program degradation in automated reasoning systems. Theoretical foundations and applicational aspects are treated in detail; finally the PURR prover for parallel unit resulting resolution is discussed to demonstrate the importance of careful implementations. 308 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Using English Words examines the impact that the life histories of people have on their vocabulary. Its starting point is the taken-for-granted fact that the vocabulary of English falls into two very different sections. Randolph Quirk mentions this striking incompatibility between the Anglo Saxon and the Latinate elements in English: 'the familiar homely-sounding and typically very short words' that we learn very early in life and use for most everyday purposes; and 'the more learned, foreign-sounding and characteristically rather long words' (1974, p. 138). It is mainly the second type of word that native speakers start learning relatively late in their use of English, usually in the adolescent years of education, and keep on learning. It is mainly the one type of word, rather than the other, that ESL/ EFL students have more difficulty with, depending on their language background. This book shows how discursive relations, outside education, 'position' people through their vocabularies. Some are prepared for easy entry into lifetime prospects of relative privilege and educational success, while others are denied entry. In writing this book, I share an aim with other writers who observe the many discontinuities that exist between discursive practices in communities outside schools, and the discursive demands that schools make (e. g. Hamilton et a1. [19931, Heath [1983], Luke [19941, Philips [1983], Romaine [1984], Scollon & Scollon [1981]). 240 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -The research described in this book contributes to the scientific field of optimal control theory applied to dynamic models of the firm. In 1963, Jorgenson first wrote about the use of optimal control theory in order to analyze the dynamic investment behaviour of a hypothetical firm. A decade later, reports appeared of work on more realistic models of the firm carried out by, amongst others, Lesourne [1973) and Bensoussan et al. [1974). In The Netherlands, P. A. Verheyen, Professor of Management Science at Tilburg University, further instigated studies in this field which led to several publications, for example: Van Loon [1983], Van Schijndel [1988), Kort [1989]' Van Hilten [1991) and Van Hilten et al. [1993). Their investigations are char acterized by an analytical approach to optimization problems (The Maximum Principle of Pontryagin combined with the path coupling procedure of Van Loon). Inherent to this approach, a good economic interpretation of solutions is obtained; however, analytical solving becomes practically unfeasible when simulation models become more complex, e. g. by stronger non-linearity, explic itly time-dependent functions and larger numbers of state variables, control variables and subsidiary conditions. For example, the path coupling procedure is complicated for optimization problems where discontinuities in the costate variables occur. At Eindhoven University of Technology, P. M. E. M.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 208 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Making Quality Happen presents a user friendly, customer focused approach for implementing Quality Improvement process in any type of organisation. The author draws upon personal experience of workin with over fifty different organisations and shows how to make quality an integral part of your professional life, not an added or extraneous feature.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 216 pp. Englisch.…

Buch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -In studying General Equilibrium Theory the student must master first the theory and then apply it to solve problems. At the graduate level there is no book devoted exclusively to teaching problem solving. This book teaches for the first time the basic methods of proof and problem solving in General Equilibrium Theory. The problems cover the entire spectrum of difficulty; some are routine, some require a good grasp of the material involved, and some are exceptionally challenging. The book presents complete solutions to two hundred problems. In searching for the basic required techniques, the student will find a wealth of new material incorporated into the solutions. The student is challenged to produce solutions which are different from the ones presented in the book.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 264 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This volume includes revised final versions of the best papers presented at the fourth European Workshop on Natural Language Generation, EWNLG '93, held in Pisa, Italy in April 1993. Out of the 35 papers accepted for presentation at the workshop, 19 were selected for publication in this book.The papers deal with NLG from different perspectives: linguistics, artificial intelligence, psychology, and engineering. The broad spectrum covered and the outstanding quality of the papers presented are evidence of the remarkable dynamism of the field.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 400 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -The Yearbook compiles the most recent, widespread developments of experimental and clinical research and practice in one comprehensive reference book. The chapters are written by well recognized experts in the field of intensive care and emergency medicine. It is addressed to everyone involved in internal medicine, anesthesia, surgery, pediatrics, intensive care and emergency medicine.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 884 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Solving combinatorial optimization problems can often lead to runtime growing exponentially as a function of the input size. But important real-world problems, industrial applications, and academic research challenges, may demand exact optimal solutions. In such situations, parallel processing can reduce the runtime from days or months, typical when one workstation is used, to a few minutes or even seconds.Partners of the CEC-sponsored SCOOP Project (Solving Combinatorial Optimization Problems in Parallel) contributed, on invitation, to this book; much attention was paid to competent coverage of the topic and the style of writing. Readers will include students, scientists, engineers, and professionals interested in the design and implementation of parallel algorithms for solving combinatorial optimization problems.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 292 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book addresses issues concerning the engineering of system prod ucts that make use of computing technology. These systems may be prod ucts in their own right, for example a computer, or they may be the computerised control systems inside larger products, such as factory automation systems, transportation systems and vehicles, and personal appliances such as portable telephones. In using the term engineering the authors have in mind a development process that operates in an integrated sequence of steps, employing defined techniques that have some scientific basis. Furthermore we expect the operation of the stages to be subject to controls and standards that result in a product fit for its intended purpose, both in the hands of its users and as a business venture. Thus the process must take account of a wide range of requirements relating to function, cost, size, reliabili ty and so on. It is more difficult to define the meaning of computing technology. These days this involves much more than computers and software. For example, many tasks that might be performed by software running in a general purpose computer can also be performed directly by the basic technology used to construct a computer, namely digital hardware. However, hardware need not always be digital; we live in an analogue world, hence analogue signals appear on the boundaries of our systems and it can sometimes be advantageous to allow them to penetrate further.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 348 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book presents five tutorial-style lectures on various approaches to the problem of verifying distributed systems: three chapters concentrate on linear-time or branching-time temporal logics; one addresses process equivalence with an emphasis on infinite-state systems; and the final one presents a novel category-theoretic approach to verification. The various formalisms for expressing properties of concurrent systems, based on automata-theoretic techniques or structural properties, are studied in detail.Much attention is paid to the style of writing and complementary coverage of the relevant issues. Thus these lecture notes are ideally suited for advanced courses on logics for concurrent systems. Equally, they are indispensable reading for anyone researching the area of distributed computing.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 282 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book constitutes the refereed proceedings of the 5th International Workshop on Logic Program Synthesis and Transformation, LOPSTR'95, held in Utrecht, The Netherlands in September 1995.The 19 papers included were selected from 40 workshop submissions; they offer a unique up-to-date account of the use of formal synthesis and transformation techniques for computer-aided development of logic programs. Among the topics addressed are deductive and inductive program synthesis, synthesis models based on constructive type theory, program specification, program analysis, theorem proving, and applications to various types of programs.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 284 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Term indexing supports the construction of efficient automated reasoning systems, as e.g. automated theorem provers, by allowing rapid access to first order predicate calculus terms with specific properties.This monograph provides a comprehensive, well-written survey on term indexing in general and presents new indexing techniques for the retrieval and maintenance of data that help to overcome program degradation in automated reasoning systems. Theoretical foundations and applicational aspects are treated in detail; finally the PURR prover for parallel unit resulting resolution is discussed to demonstrate the importance of careful implementations.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 308 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -The objective of this study is to provide an in-depth analysis of the exchange rate pass-through relationship, using Australian imports of manufactures as a case study. The study begins by piecing together the theoretical literature on exchange rate pass-through, to provide the basis for the development of models for the empirical analysis. To place the empirical analysis m comparative context, a critical survey of the existing empirical literature on exchange rate pass-through is then undertaken. This is followed by a review of aspects of the structure and performance of Australian manufacturing that relate to the theme of the study. Next, the data and methodology are discussed. The analysis of exchange rate pass-through is conducted in two stages. First, it seeks to establish the degree to which Australian dollar (AUD) import prices of total manufactures and 50 product categories contained therein have responded to the massive fluctuations in the AUD during the 1980s. This is done by applying an econometric procedure which avoids the pit-falls in previous studies to a carefully assembled data set. Second, the study investigates the determinants of inter-product differences in the degree of exchange rate pass-through. This is done by relating the pass-through coefficients to a series of variables representing foreign control, quantitative restrictions (QRs), product characteristics and market structure within a cross section regression framework.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 328 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -There are two types of tenn structure models in the literature: the equilibrium models and the no-arbitrage models. And there are, correspondingly, two types of interest rate derivatives pricing fonnulas based on each type of model of the tenn structure. The no-arbitrage models are characterized by the work of Ho and Lee (1986), Heath, Jarrow, and Morton (1992), Hull and White (1990 and 1993), and Black, Dennan and Toy (1990). Ho and Lee (1986) invent the no-arbitrage approach to the tenn structure modeling in the sense that the model tenn structure can fit the initial (observed) tenn structure of interest rates. There are a number of disadvantages with their model. First, the model describes the whole volatility structure by a sin gle parameter, implying a number of unrealistic features. Furthennore, the model does not incorporate mean reversion. Black-Dennan-Toy (1990) develop a model along tbe lines of Ho and Lee. They eliminate some of the problems of Ho and Lee (1986) but create a new one: for a certain specification of the volatility function, the short rate can be mean-fteeting rather than mean-reverting. Heath, Jarrow and Morton (1992) (HJM) construct a family of continuous models of the term struc ture consistent with the initial tenn structure data.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 168 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book presents the refereed proceedings of the Second COST 237 International Workshop, held in Copenhagen, Denmark in November 1995 in the framework of the CEC COST 237 Multimedia Telecommunications Services Project.The 15 papers included in revised full versions were chosen from 24 workshop submissions individually solicited from groups of researchers and developers known to be active in the areas of interest. The papers are grouped in sections on multipeer communications, teleservices and applications support, broadband network and transport services, QoS assurance, and multimedia support.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 296 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -The notion of time plays an important role in modern science. In computer science and artificial intelligence, the parameter of time is of particular importance, e.g. for planning robot activity, natural language processing, and time-varying scene analysis. This work investigates the relationship between classic, first-order theories of point- and interval-based time structures, modal logics of corresponding structures, and their algorithmic representations. To make this relationship complete, a formalisation of Allen's famous algorithm, applicable to various structures of time, is presented along with its translation to modal logics. All in all, the book is a competent and comprehensive analysis of logical descriptions and algorithmic representations of time structures.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 260 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book constitutes the refereed proceedings of the 5th International Workshop on Extensions of Logic Programming, ELP '96, held in Leipzig, Germany in March 1996.The 18 full papers included were carefully selected by the program committee and are presented together with three invited papers. Among the topics addressed in this book are categorical logic programming, correctness of logic programs, functional-logic languages, implementation issues, linear logic programming, nonmonotonic reasoning, and proof search.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 332 pp. Englisch.…