Springer mär 1996 (129 risultati)
- Rilegato
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 156,71
EUR 62,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Buch. Condizione: Neu. Neuware - The VITAL specification addresses the issues of interoperability, backannotation and high performance simulation for sign-off quality ASIC libraries in VHDL. VITAL provides modeling guidelines and a set of pre-defined packages (containing pre-defined routines for modeling functionality and timing…) to facilitate the acceleration of designs which use cells from a VITAL library. The VITAL Level-I guidelines constrain the modeling capabilities provided by VHDL in order to facilitate higher performance (Figure I). Accumulating 'gains' Constrained 'flexibility' Higher performance & Increased capacity Benefits Flexibility FujI VHDL 1076 Figure 1: VHDL and VITAL Even within the Level-I guidelines, there are several ways in which a model can be written. In this chapter, we highlight the various modeling trade-offs and provide guidelines which can be used for developing efficient models. We will also discuss the techniques that can be used by tool developers to accelerate the simulation of VIT AL based designs. 2.2. OVERVIEW OF A VITAL LEVEL-l ARCIDTECTURE The VITAL specification is versatile enough to support several modeling styles e.g., distributed delay style, pin-to-pin delay style etc. In general, a VITAL Level-I model can have the structure illustrated in Figure 2.
- Rilegato
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 158,29
EUR 63,82 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
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 cog…raphic 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.
- Rilegato
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 161,00
EUR 62,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Buch. Condizione: Neu. Neuware - Many people still believe in life after death, but modern institutions operate as though this were the only world - eternity is now eclipsed from view in society and even in the church. This book carefully observes the eclipse - what caused it, how full is it, what are its consequences, will it l…ast How significant is recent interest in near-death experiences and reincarnation.
- Rilegato
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 158,29
EUR 62,50 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
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 pe…rsonalities, 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.
- Rilegato
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 158,29
EUR 62,64 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
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.
- Rilegato
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 223,29
EUR 62,55 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Buch. Condizione: Neu. Neuware - Despite the significant ongoing work in the development of new database systems, many of the basic architectural and performance tradeoffs involved in their design have not previously been explored in a systematic manner. The designers of the various systems have adopted a wide range of strategie…s in areas such as process structure, client-server interaction, concurrency control, transaction management, and memory management. This monograph investigates several fundamental aspects of the emerging generation of database systems. It describes and investigates implementation techniques to provide high performance and scalability while maintaining the transaction semantics, reliability, and availability associated with more traditional database architectures. The common theme of the techniques developed here is the exploitation of client resources through caching-based data replication. Client Data Caching: A Foundation for High Performance Object Database Systems should be a value to anyone interested in the performance and architecture of distributed information systems in general and Object-based Database Management Systems in particular. It provides useful information for designers of such systems, as well as for practitioners who need to understand the inherent tradeoffs among the architectural alternatives in order to evaluate existing systems. Furthermore, many of the issues addressed in this book are relevant to other systems beyond the ODBMS domain. Such systems include shared-disk parallel database systems, distributed file systems, and distributed virtual memory systems. The presentation is suitable for practitioners and advanced students in all of these areas, although a basic understanding of database transaction semantics and techniques is assumed.
- Rilegato
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 223,29
EUR 63,77 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Buch. Condizione: Neu. Neuware - If one were forced to use a single key word to describe the decade of the 1980's, a very prominent one would be 'technology. ' Leading the forefront of tech nology advancement were breakthroughs in electronics. Devices that were uncommon or unknown in 1980 became commonplace, and almost indispens… able, by 1989. This trend has continued into the 1990's and it does not seem to be abating in any way. Microwave ovens, video recorders, telephone answer ing machines, compact disc players, computers, and a host of smaller or less sophisticated devices now appear in most households. The development of small and inexpensive computers, i. e. , personal computers, has placed computing resources within reach of many more people. In addition, many traditional, and largely mechanical devices, have been enhanced by electronics. For example, specialized microprocessors are combined with arrays of electronic sensors to control and monitor sophisticated engineering components in most new auto mobiles. In this and many other ways, we are touched by the new electronics in almost every aspect of our daily lives. Initially, personal computers were little more than toys. They contained only a small fraction of the computing power of their immediate ancestors, the mini computers and mainframe computers. However, rapid improvements in integ rated circuit design and chip manufacture produced regular reductions in size and cost of computer components. During the same time, processor speed and sophistication increased.
- Rilegato
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 223,29
EUR 63,13 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Buch. Condizione: Neu. Neuware - Reflection on religion inevitably involves consideration of its relation to morality. When great evil is done to human beings, we may feel that something absolute has been violated. Can that sense, which is related to gratitude for existence, be expressed without religious concepts Can we express… central religious concerns, such as losing the self, while abandoning any religious metaphysic Is moral obligation itself dependent on divine commands if it is to be objective, or is morality not only independent of religion, but its accuser if God is said to allow horrendous evils In any case, what happens to the absolute claims of religion in what is, undeniably, a morally pluralistic world These are the central questions discussed by philosophers of religion and moral philosophers in this collection. They do so in ways which bring new aspects to bear on these traditional issues.
- Rilegato
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 247,94
EUR 63,57 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
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.
Lingua: Inglese
Editore: Springer Nature B.V. Mär 1996, 1996
Serie: Libro 6 di 292 - IFIP Advances in Information and Communication Technology
- Rilegato
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 315,00
EUR 63,82 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
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.
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
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.
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
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 organ…isations and shows how to make quality an integral part of your professional life, not an added or extraneous feature. 216 pp. Englisch.
Lingua: Inglese
Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Mär 1996, 1996
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
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.
Lingua: Inglese
Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Mär 1996, 1996
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
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.
Lingua: Inglese
Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Mär 1996, 1996
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
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 w…ith 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.
Lingua: Inglese
Editore: Springer Berlin Heidelberg, Springer Mär 1996, 1996
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
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.
Lingua: Inglese
Editore: Springer Netherlands, Springer Netherlands Mär 1996, 1996
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
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, t…wenty-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.
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
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.
Lingua: Inglese
Editore: Springer Netherlands, Springer Netherlands Mär 1996, 1996
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 74,89
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
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 Qu…irk 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.
- Brossura
- Print on Demand
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germaniabuchversandmimpf2000
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 60,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
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 dyn…amic 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.
- Brossura
- Print on Demand
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germaniabuchversandmimpf2000
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 60,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
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.
- Brossura
- Print on Demand
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germaniabuchversandmimpf2000
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 60,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
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 i…ncluded 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.
- Brossura
- Print on Demand
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germaniabuchversandmimpf2000
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 60,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
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 a…nd 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.
- Brossura
- Print on Demand
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germaniabuchversandmimpf2000
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 60,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
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-v…arying 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.
- Brossura
- Print on Demand
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germaniabuchversandmimpf2000
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 60,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
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.
- Brossura
- Print on Demand
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germaniabuchversandmimpf2000
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 60,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
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 com…mittee 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.
- Brossura
- Print on Demand
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germaniabuchversandmimpf2000
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 60,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
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.
- Brossura
- Print on Demand
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germaniabuchversandmimpf2000
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 60,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
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 co…mprehensive, 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.
- Brossura
- Print on Demand
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germaniabuchversandmimpf2000
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 60,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book is based on the workshop on New Approaches to Learning for Natural Language Processing, held in conjunction with the International Joint Conference on Artificial Intelligence, IJCAI'95, in Montreal, Canada in August 1995.Most… of the 32 papers included in the book are revised selected workshop presentations; some papers were individually solicited from members of the workshop program committee to give the book an overall completeness. Also included, and written with the novice reader in mind, is a comprehensive introductory survey by the volume editors. The volume presents the state of the art in the most promising current approaches to learning for NLP and is thus compulsory reading for researchers in the field or for anyone applying the new techniques to challenging real-world NLP problems.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 484 pp. Englisch.
- Rilegato
- Print on Demand
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germaniabuchversandmimpf2000
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 60,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Buch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -In susceptible individuals, malignant hyperthermia (MH) can be triggered by various anesthetics during surgery. First described in 1960, research since then has concentrated on reducing the very high mortality rate associated with MH. Althoug…h significant progress in treatment has been made with the introduction of dantrolene sodium in 1979, many questions remain unanswered. Following on the results of more than 30 years of investigative efforts, the Third International Symposium on MH was held in Hiroshima, Japan, in 1994, immediately before the Seventh International Workshop on MH. Specialists in the field discussed the most up-to-date findings from the point of view of clinical classification, history, and incidence based on the evidence of epidemiology, diagnostic muscle testing, genetics, and biochemistry. These proceedings of the symposium present important keys to understanding the mechanism of MH and related syndromes at the genetic level and include procedures for the monitoring and care of patients. This volume will be invaluable not only for surgeons and anesthesiologists but also for physiologists and researchers.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 276 pp. Englisch.
