Springer springer feb 2001 (244 resultados)
Idioma: Inglés
Editorial: Springer Nature B.V. Feb 2001, 2001
Serie: Libro 55 de 260 - The Springer International Series in Engineering and Computer Science
- Tapa dura
Librería: AHA-BUCH GmbH, Einbeck, AlemaniaAHA-BUCH GmbH
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 247,94
Envío por EUR 62,21Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Buch. Condición: Neu. Neuware - Systematic Design for Optimisation of Pipelined ADCs proposes and develops new strategies, methodologies and tools for designing low-power and low-area CMOS pipelined A/D converters. The task is tackled by following a scientifically-consistent approach. First of all, the state of the art in pipeli…ne A/D converters is analysed with a double purpose: a) to identify the best suited among different strategies reported in literature and taking into account the objectives pursued; b) to identify the drawbacks of these strategies as a basic first step to improve them. Then, the book proposes a top-down design approach for implementing high-performance low-power and low-area CMOS pipelined A/D converters through: The conception, development and implementation of self-calibrated techniques to extend the linearity of some critical stages in the architecture of pipelined ADCs. The detailed analysis and modelling of some major non-idealities that limit the physical realisation of pipelined ADCs and the proposal, development and implementation of design methodologies to support systematic design of optimised instances of these converters which combine maximum performance with minimum power dissipation and minimum area occupation. £/LIST£ Several implementations together with consistent measured results are presented. In particular, a practical realisation of a low-power 14-bit 5MS/s CMOS pipelined ADC with background analogue self-calibration is fully described. The proposed approach is fully in line with the best practice regarding the design of mixed-signal integrated circuits. On the one hand, drawbacks of currently existing solutions are overcame through innovative strategies and, on the other hand, the expert knowledge is packaged and made available for re-usability by the community of circuit designers. Finally, feasibility of the strategies and the associated encapsulated knowledge isgranted through experimental validation of working silicon. Systematic Design for Optimisation of Pipelined ADCs serves as an excellent reference for analogue design engineers especially designers of low-power CMOS A/D converters. The book may also be used as a text for advanced reading on the subject.
- Tapa dura
Librería: AHA-BUCH GmbH, Einbeck, AlemaniaAHA-BUCH GmbH
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 304,50
Envío por EUR 64,45Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Buch. Condición: Neu. Neuware - Rae Earnshawand John A. Vince --_. . _----- 1 Introduction The USPresident's Information Technology Advisory Committee (PITAC)recently advised the US Senate of the strategic importance of investing in IT for the 21st century, particularlyin the areas of software,human-computer interaction, scalabl…e information infrastructure, high-end computing and socioeconomic issues [1]. Research frontiers ofhuman-computer interaction include the desire that interac tion be more centered around human needs and capabilities, and that the human environment be considered in virtual environments and in other contextual infor mation-processing activities. The overall goal is to make users more effective in their information or communication tasks by reducing learning times, speeding performance, lowering error rates, facilitating retention and increasing subjective satisfaction. Improved designs can dramatically increase effectiveness for users, who range from novices to experts and who have diverse cultures with varying educational backgrounds. Their lives could be made more satisfying, their work safer, their learning easier and their health better.
Idioma: Alemán
Editorial: Springer Berlin Heidelberg, Springer Spektrum Feb 2001, 2001
- Tapa blanda
Librería: Rheinberg-Buch Andreas Meier eK, Bergisch Gladbach, AlemaniaRheinberg-Buch Andreas Meier eK
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 74,99
Envío por EUR 23,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Taschenbuch. Condición: Neu. Neuware -Die Sauerstofflangzeittherapie bei chronischen Lungenerkrankungen gewinnt an Bedeutung. Bisher ist diese Maßnahme eine Domäne der Pneumologen. Zunehmend begegnet diese Therapie den Allgemeinmedizinern und Internisten.Das vorliegende Buch stellt die Indikationsstellung zur und die Durchführun…g der Sauerstofflangzeittherapie dar. Die praxisrelevante Information wird schnörkellos, klar gegliedert, gut strukturiert und in verständlicher Sprache übermittelt. Übersichtlich werden die Grundlagen, die Diagnostik und die Wahl der optimalen Therapieform dargestellt. Mustertexte zu verschiedenen Indikationen erleichtern die Verordnung einer Sauerstofflangzeittherapie. 108 pp. Deutsch.
Idioma: Alemán
Editorial: Springer Berlin Heidelberg, Springer Spektrum Feb 2001, 2001
- Tapa blanda
Librería: AHA-BUCH GmbH, Einbeck, AlemaniaAHA-BUCH GmbH
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 69,99
Envío por EUR 62,12Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Taschenbuch. Condición: Neu. Neuware - Ist es gerecht, einen Drogenkonsumenten wegen Betäubungsmittelbesitzes zu bestrafen, der damit zunächst nur sich selbst schädigt Verdient derjenige Strafe, der einen anderen auf dessen Verlangen hin tötet oder verletzt Der Autor prüft diese grundsätzlichen Fragen anhand der Rechtsphilosophi…e Immanuel Kants. Er zeigt dabei auf, daß die Bestrafung eines bloß selbstschädigenden oder konsentiert fremdschädigenden Verhaltens ungerecht ist, weil dies alleine kein Unrecht darstellt, das Strafe gerechter Weise vergelten könnte. Die Folgen dieses liberalen Gehalts des Vergeltungsgedankens für die Strafrechtsdogmatik und für die Diskussion um die Legitimität 'opferloser' Delikte werden eingehend untersucht. Ein Gesetzgebungsvorschlag zu Par. 228 StGB rundet das Werk ab.
Idioma: Alemán
Editorial: Springer Berlin Heidelberg, Springer Spektrum Feb 2001, 2001
- Tapa blanda
Librería: AHA-BUCH GmbH, Einbeck, AlemaniaAHA-BUCH GmbH
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 74,99
Envío por EUR 60,59Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - Die Sauerstofflangzeittherapie bei chronischen Lungenerkrankungen gewinnt an Bedeutung. Bisher ist diese Maßnahme eine Domäne der Pneumologen. Zunehmend begegnet diese Therapie den Allgemeinmedizinern und Internisten.Das vorliegende Buch stellt die… Indikationsstellung zur und die Durchführung der Sauerstofflangzeittherapie dar. Die praxisrelevante Information wird schnörkellos, klar gegliedert, gut strukturiert und in verständlicher Sprache übermittelt. Übersichtlich werden die Grundlagen, die Diagnostik und die Wahl der optimalen Therapieform dargestellt. Mustertexte zu verschiedenen Indikationen erleichtern die Verordnung einer Sauerstofflangzeittherapie.
- Tapa blanda
- Impresión bajo demanda
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AlemaniaBuchWeltWeit Ludwig Meier e.K.
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 35,00
Envío por EUR 23,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume presents a broad range of critical essays exemplifying different approaches to Shakespeare's two comedies, The Taming of the Shrew and Much Ado about Nothing. The essays approach the plays from a number of theoretical po…sitions: feminist, historicist, deconstruction and psychoanalytic, as well as offering general commentary and a discussion of film versions and stage productions. The introduction explains the development of these critical pieces, making the two plays considered accessible to students at all levels. 272 pp. Englisch.
- Tapa blanda
- Impresión bajo demanda
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AlemaniaBuchWeltWeit Ludwig Meier e.K.
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 53,49
Envío por EUR 23,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains updated versions of the ten papers presented at the First International Workshop on Temporal, Spatial and Spatio-Temporal Data Mining (TSDM 2000) held in conjunction with the 4th European Conference on Prin- ple…s and Practice of Knowledge Discovery in Databases (PKDD 2000) in Lyons, France in September, 2000. The aim of the workshop was to bring together experts in the analysis of temporal and spatial data mining and knowledge discovery in temporal, spatial or spatio-temporal database systems as well as knowledge engineers and domain experts from allied disciplines. The workshop focused on research and practice of knowledge discovery from datasets containing explicit or implicit temporal, spatial or spatio-temporal information. The ten original papers in this volume represent those accepted by peer review following an international call for papers. All papers submitted were refereed by an international team of data mining researchers listed below. We would like to thank the team for their expert and useful help with this process. Following the workshop, authors were invited to amend their papers to enable the feedback received from the conference to be included in the nal papers appearing in this volume. A workshop report was compiled by Kathleen Hornsby which also discusses the panel session that was held. 180 pp. Englisch.
- Tapa blanda
- Impresión bajo demanda
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AlemaniaBuchWeltWeit Ludwig Meier e.K.
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 53,49
Envío por EUR 23,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -EDO2000wasthesecondinternationalworkshoponsoftwareengineeringfor distributedobjectsystems. EDO2000wasacontinuationofEDO 99,the rst workshopinthisseries,whichwasheldinconjunctionwithICSE 99. Distributedobjecttechnologies asexempli ed…byCORBAandtheCORBA Services,COM+,EJB,andtheJ2EE areincreasinglybeingadoptedbyvarious enterprisesasafundamentaltechnologyfortheirITinfrastructures. Asacon- quence,extensiveindustrypracticeofusingthetechnologiesisbeinggained. At thesametime,thetechnologiescontinuetoadvanceandnewfunctionalityand servicescontinuetobeintroduced. Inordertousetheexistingandemergingfunctionsofdistributedobjectte- nologiese ectively,andtobettermeettoday sdemandingbusinessandcomp- ingrequirements,advancesinsoftwareengineeringmethodsandtechniquesfor distributedobjectsarestronglyneeded. Softwareengineeringfordistributed- jectsistheresearchareathatprovidessolutionsofprovenpracticeforissuesand problemsthatareuniquetosystemsemployingdistributedobjecttechnologies. EDOis the premierworkshopthatbringstogetherthe researchandpractice communityofsoftwareengineeringfordistributedobjects. Wereceivedabout30submissionsandtheinternationalprogramcommittee selected15papers. Weclusteredacceptedpapersintosessionsandtheauthors ofthesepaperschampionedthesessionsandtookaleadinthediscussions. The workshoporganizersselectedparticularauthorstogivebriefpresentationsthat wereaimedtokicko thediscussionineachsession. Theresultofthedi erent sessionswassummarizedattheendoftheworkshopandthesesessionsummaries areincludedintheseproceedings. Alsointraditionwiththeworkshopseries,wehadaninvitedindustrialp- sentation. ThisyearWalterSchwarztalkedaboutanenterpriseapplication- tegrationprojectinthe nancialdomainthatdeployedajudiciouscombination ofdistributedobjectmiddlewareandmarkuplanguagestoachieveintegration of nancialtradingsystems. December2000 WolfgangEmmerichandStefanTai ProgramCo-chairs EDO2000 Program Committee Organization ConferenceChair: VolkerGruhn,UniversityofDortmund,Germany ProgramCo-chairs:WolfgangEmmerich,UniversityCollegeLondon,UK StefanTai,IBMWatsonResearch,U. S. A. OrganizingChair: PremDevanbu,UniversityofCalifornia,Davis,U. S. A. Referees JeanBezivin,UniversityofNantes,France GordonBlair,LancasterUniversity,UK AlfredBro ckers,AdessoGmbH,Germany PeterCroll,UniversityofWollongong,Australia ElisabettaDiNitto,PolitecnicodiMilano,Italy AlfonsoFuggetta,PolitecnicodiMilano,Italy WilliHasselbring,UniversityofOldenburg,Germany JusukeHashimoto,NEC,Japan WalterHuersch,Zuehlke,Switzerland ArnoJacobson,INRIA,France MehdiJazayeri,TUVienna,Austria GertiKappel,UniversityofLinz,Austria WojtekKozacynski,Rational,USA BerndKr amer,FUHagen,Germany Je Magee,ImperialCollege,UK NenadMedvidovic,UniversityofSouthernCalifornia,USA NeilRoodyn,Cognitech,UK DavidRosenblum,UniversityofCaliforniaIrvine,USA IsabelleRouvellou,IBMWatsonResearch,USA WalterSchwarz,DGBank,Germany DirkSlama,ShinkaTechnologies,Germany DanielSteinmann,UBS,Switzerland AlfredStrohmeier,EPFL,Switzerland StanSutton,IBMWatsonResearch,USA Sponsoring Institutions AdessoGmbH,Germany IBMWatsonResearch,U. S. A. Z uhlkeEngineeringGmbH,Germany Table of Contents Invited Industry Presentation ApplicationIntegrationwithCORBAandXML . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 WalterSchwarz MiddlewareSelection MiddlewareSelection . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2 StanleyM. SuttonJr. AKeyTechnologyEvaluationCaseStudy: ApplyingaNewMiddlewareArchitectureontheEnterpriseScale . . . . . . . . . . . 8 MichaelGoedickeandUweZdun AnArchitectureProposalforEnterpriseMessageBrokers. . . . . . . . . . . . . . . . . . 27 J ornGuySu ßandMichaelMewes ResourceManagement ResourceManagement. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43 StoneyJacksonandPremDevanbu TheImportanceofResourceManagementin EngineeringDistributed.
- Tapa blanda
- Impresión bajo demanda
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AlemaniaBuchWeltWeit Ludwig Meier e.K.
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 53,49
Envío por EUR 23,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The publication of a third edition after only five years confirms the widespread popularity of this book. Apart from the numerous additions and modifications consequent on the substantial expansion of knowledge in this field, the au…thors have further improved the value of this text with the excellent chapter, as men tioned in their preface, on general aspects of the problem. The advances referred to in this chapter, particularly molecular genetics and database access, have transformed the diagnosis of skeletal dysplasias. However, this basic text remains an essential starting point for anyone confronted with an unfamiliar condition. Among the references listed on page xix, Dr Kozlowski's paper 'The radiographic clues in the diagnosis of bone dysplasias', Pediatric Radiology 1985; 15: 1-3, is still essential reading. John Masel Preface to the First Edition The skeleton is involved to a significant extent in more than 500 genetic and congenital syndromes and although the majority of these are individually rare, collectively they are not uncommon. Diagnostic precision, which is crucial for accurate prognostication and effective management, is frequently dependent upon recognition of radiological stigmata. For this reason the radiologist plays a key role in the appraisal and investigation of persons with disorders of this type. With these points in mind we have written this handbook for use in the radiographic reporting room. We have endeavored to provide the essential information which will facilitate radiodiagnosis and have striven for clarity and accuracy. 284 pp. Englisch.
- Tapa blanda
- Impresión bajo demanda
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AlemaniaBuchWeltWeit Ludwig Meier e.K.
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 53,49
Envío por EUR 23,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The paper is organized as follows: In section 2, we describe the no- orientation-discontinuity interfering model based on a Gaussian stochastic model in analyzing the properties of the interfering strokes. In section 3, we describe…the improved canny edge detector with an ed- orientation constraint to detect the edges and recover the weak ones of the foreground words and characters; In section 4, we illustrate, discuss and evaluate the experimental results of the proposed method, demonstrating that our algorithm significantly improves the segmentation quality; Section 5 concludes this paper. 2. The norm-orientation-discontinuity interfering stroke model Figure 2 shows three typical samples of original image segments from the original documents and their magnitude of the detected edges respectively. The magnitude of the gradient is converted into the gray level value. The darker the edge is, the larger is the gradient magnitude. It is obvious that the topmost strong edges correspond to foreground edges. It should be noted that, while usually, the foreground writing appears darker than the background image, as shown in sample image Figure 2(a), there are cases where the foreground and background have similar intensities as shown in Figure 2(b), or worst still, the background is more prominent than the foreground as in Figure 2(c). So using only the intensity value is not enough to differentiate the foreground from the background. (a) (b) (c) (d) (e) (f) 496 pp. Englisch.
- Tapa dura
- Impresión bajo demanda
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AlemaniaBuchWeltWeit Ludwig Meier e.K.
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 53,49
Envío por EUR 23,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Buch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The observational evidence for the existence of black holes has grown significantly over recent decades. Stellar-mass black holes are detected as X-ray sources in binary systems, while supermassive black holes, with masses more than a mill…ion times the mass of the Sun, lurk in the nuclei of galaxies. These proceedings provide a useful and up-to-date overview of the observations of black holes in binaries, in the center of the Milky Way, and in the nuclei of galaxies, presented by leading expert astronomers. Special attention is given to the formation (including the recent evidence from gamma-ray bursts), physical properties, and demographics of black holes. 404 pp. Englisch.
- Tapa blanda
- Impresión bajo demanda
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AlemaniaBuchWeltWeit Ludwig Meier e.K.
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 53,49
Envío por EUR 23,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -1. 1 The Pressure on Information Technology (IT) 'In today's environment, the ability to react quickly to change by reducing the devel opment life cycle in order to be first to market will give a company an important com petitive ed…ge. ' -James Martin The market conditions of the 21 st century put business under continual pressure. The most successful companies are those who are able to reduce their time to market, to launch initiatives before their competitors, to respond very rapidly to opportunities in the marketplace or to change direction in response to a move by the competition or a change in circumstances. All of these business initiatives rely on support from Infor mation Technology (IT). For a business to launch a new product in three months time, the supporting IT processes must be available and working in that three month time frame. In this fast moving environment, late IT delivery is not acceptable and may pose a major risk to the business. The marketplace of 21 st century business measures timescales in months, whereas in the past, timescales of two to three years were more typical. Internet related and e business projects frequently require even tighter timescales, measured in days rather than months. This need for speed puts tremendous pressure on IT departments. Pressure does not just come from the need for speed. There is also an ever-increasing rate of change within business. 304 pp. Englisch.
- Tapa dura
- Impresión bajo demanda
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AlemaniaBuchWeltWeit Ludwig Meier e.K.
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 53,49
Envío por EUR 23,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Buch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Against the backdrop of Britain's underground 18th and early-19th century homosexual culture, mob persecutions, and executions of homosexuals, Hobson shows how Blake's hatred of sexual and religious hypocrisy and state repression, and his…revolutionary social vision, led him gradually to accept homosexuality as an integral part of human sexuality. In the process, Blake rejected the antihomosexual bias of British radical tradition, revised his idealization of aggressive male heterosexuality and his male-centered view of gender, and refined his conception of the cooperative commonwealth. 249 pp. Englisch.
- Tapa blanda
- Impresión bajo demanda
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AlemaniaBuchWeltWeit Ludwig Meier e.K.
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 53,49
Envío por EUR 23,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Africa has been noticeably absent in international relations theory. This new collection of essays by contemporary Africanists convincingly demonstrates the importance of the continent to every theoretical approach in international…relations. This collection breaks new ground in how we think about both international relations and Africa, re-examining such foundational concepts as sovereignty, the state, and power; critically investigating the salience of realism, neo-liberalism, liberalism in Africa, and providing new thinking about regionalism, security and identity. 242 pp. Englisch.
- Tapa dura
- Impresión bajo demanda
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AlemaniaBuchWeltWeit Ludwig Meier e.K.
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 53,49
Envío por EUR 23,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Buch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Marxism's chief failing is its substitution of a labour theory of value for the struggles of the labour movement. Consequently, Marxism rests on transhistorical categories that are vulnerable to his own critique of political economy. Jurge…n Habermas and Axel Honneth seek to correct this by placing critical theory on a normative foundation. Unfortunately, they restrict this to the cultural sphere. By extending their notion of intersubjectivity to the economic system it can be viewed as an inactive form of morality which social movements influence in the course of their struggles. 211 pp. Englisch.
Idioma: Inglés
Editorial: Springer Berlin Heidelberg Feb 2001, 2001
Serie: Libro 86 de 126 - Lecture Notes in Economics and Mathematical Systems
- Tapa blanda
- Impresión bajo demanda
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AlemaniaBuchWeltWeit Ludwig Meier e.K.
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 53,49
Envío por EUR 23,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -In this book we intend to discuss economic fluctuations and growth and possible stabilizing fiscal policies. Since these topics are major preoccupa tions of economic theorists and have been extensively discussed since the classics,…one may wonder why another book on these subjects. A possible defense is that we are going to do so in the framework of a two-sector model where the main featureS of each sector depend on the characteristics of the goods produced by the sector itself. The conventional wisdom suggests that the problem of (dis )aggregation in growth and business cycle theory is basically a quantitative one: the model should consider as many sectors, goods, and agents as necessary to provide a sufficiently rich picture, the upper bound obviously resulting from the tractability of the problem. In this attitude the same equilibrium (or diseqUilibrium) assumptions generally hold true throughout all sectors. Here we want to prove the relevance of an alternative approach: we look at the qualitative differences across sectors and at the peculiarities of each market as at the determinants of the economic dynamics. This tradition goes back over one hundred years to Tugan-Baranowkj and has been de veloped by Aftalion, Fanno, Spiethof, and Lowe, but has never been sys tematically formalized. 216 pp. Englisch.
- Tapa blanda
- Impresión bajo demanda
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AlemaniaBuchWeltWeit Ludwig Meier e.K.
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 53,49
Envío por EUR 23,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Why are America and Britain wealthier than ever but millions of children live in poverty, neighbourhoods want for basic amenities and the middle classes fear for their families, jobs and futures The answer is not to be found in glob…alization, technological innovation, or our personal failings to adapt to changing circumstances as we are so often told. The answer lies mainly with the historical legacy of the 'golden era' and the obsession with market individualism. An obsession that the New Democrats in America and the New Labour in Britain have failed to exorcize. Yet the forces of knowledge-driven capitalism provide an unprecedented opportunity at the beginning of the twenty-first century to build societies based on the individual and collective intelligence of all. Capitalism and Social Progress shows how this can be achieved. 338 pp. Englisch.
- Tapa dura
- Impresión bajo demanda
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AlemaniaBuchWeltWeit Ludwig Meier e.K.
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 53,49
Envío por EUR 23,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Buch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Africa has been noticeably absent in international relations theory. This new collection of essays by contemporary Africanists convincingly demonstrates the importance of the continent to every theoretical approach in international relatio…ns. This collection breaks new ground in how we think about both international relations and Africa, re-examining such foundational concepts as sovereignty, the state, and power; critically investigating the salience of realism, neo-liberalism, liberalism in Africa, and providing new thinking about regionalism, security and identity. 242 pp. Englisch.
- Tapa blanda
- Impresión bajo demanda
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AlemaniaBuchWeltWeit Ludwig Meier e.K.
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 53,49
Envío por EUR 23,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -In this book we present a collection of papers around the topic of Agent-Mediated Electronic Commerce. Most of the papers originate from the third workshop on Agent{Mediated Electronic Commerce held in conjunction with the Autonomou…s Agents conference in June 2000. After two previous workshops, one during the Autonomous Agents conference in 1998 in Minneapolis and the second one in conjunction with the International Joint Conference On Arti cial Intelligence in 1999, this workshop continued the tradition of the previous ones by setting the scene for the assessment of the challenges that Agent-Mediated Electronic Commerce faces as well as the opportunities it creates. By focusing on age- mediated interactions, specialists from di erent disciplines were brought together who contribute theoretical and application perspectives in the narrowly focused topic that nevertheless involves wide ranging concerns such as: agent architec- res, institutionalization, economic theory, modeling, legal frameworks and policy guidelines. The main topics for the workshop were: { Electronic negotiation models for agents { Formal issues for agents that operate in electronic market places { Virtual trading institutions and platforms { Trading strategies for interrelated transactions (respectively auctions) The workshop received 12 submissions of which 7 were selected for publication in this volume. Although the number of submissions was less then expected for an important area like agent-mediated electronic commerce there is no reason to worry that this area does not get enough attention from the agent community. 212 pp. Englisch.
- Tapa blanda
- Impresión bajo demanda
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AlemaniaBuchWeltWeit Ludwig Meier e.K.
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 53,49
Envío por EUR 23,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware 248 pp. Englisch.
- Tapa blanda
- Impresión bajo demanda
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AlemaniaBuchWeltWeit Ludwig Meier e.K.
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 53,49
Envío por EUR 23,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware 328 pp. Englisch.
- Tapa dura
- Impresión bajo demanda
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AlemaniaBuchWeltWeit Ludwig Meier e.K.
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 53,49
Envío por EUR 23,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Buch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -An introduction to the recent advances and developments in iterative methods for solving Markovian queuing and manufacturing problems. With numerous exercises and fully-worked examples, this book is essential reading for anyone interested…in the formulation and computation of queuing and manufacturing systems. 180 pp. Englisch.
Idioma: Inglés
Editorial: Springer Berlin Heidelberg, Springer Feb 2001, 2001
- Tapa blanda
- Impresión bajo demanda
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AlemaniaBuchWeltWeit Ludwig Meier e.K.
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 53,49
Envío por EUR 23,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Software measurement is one of the key technologies employed to control and manage the software development process. Research avenues such as the applicability of metrics, the efficiency of measurement programs in industry, and the…theoretical foundations (of software engineering ) have been investigated to evaluate and improve modern software development areas such as object-orientation, compone- based develop-ment, multimedia systems design, reliable telecommunication systems etc. In the tradition of our software measurement research communities, the German Computer Science Interest (GI) Group on Software Measurement and the Canadian Interest Group in Software Metrics (CIM) have attended to these concerns in recent years. Initially, research initiatives were directed at the definition of new methods of software measurement and the validation of these methods themselves. This was then followed by more and more investigation into practical applications of software measurement and key findings in this area of software engineering have been published in: - Dumke/Zuse: Theory and Practice of Software Measurement, 1994 - Ebert/Dumke: Software-Metriken in der Praxis, 1996 - Lehner/Dumke/Abran: Software Metrics - Research and Practice in Software Measurement, 1997 - Dumke/Abran: Software Measurement - Current Trends in Research and Practice, 1999 We would also like to mention that the proceedings of the Lac Supérieur workshop have been made available on the web at lrgl. uqam. ca This new book includes the proceedings of the 10th Workshop on Software Measurement held in Berlin in October 2000. 260 pp. Englisch.
Idioma: Inglés
Editorial: Springer Berlin Heidelberg Feb 2001, 2001
Serie: Libro 7 de 111 - Lecture Notes in Computational Science and Engineering
- Tapa blanda
- Impresión bajo demanda
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AlemaniaBuchWeltWeit Ludwig Meier e.K.
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 53,49
Envío por EUR 23,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Domain decomposition methods provide powerful and flexible tools for the numerical approximation of partial differential equations arising in the modeling of many interesting applications in science and engineering. This book deals…with discretization techniques on non-matching triangulations and iterative solvers with particular emphasis on mortar finite elements, Schwarz methods and multigrid techniques. New results on non-standard situations as mortar methods based on dual basis functions and vector field discretizations are analyzed and illustrated by numerical results. The role of trace theorems, harmonic extensions, dual norms and weak interface conditions is emphasized. Although the original idea was used successfully more than a hundred years ago, these methods are relatively new for the numerical approximation. The possibilites of high performance computations and the interest in large- scale problems have led to an increased research activity. 216 pp. Englisch.
Idioma: Inglés
Editorial: Springer Berlin Heidelberg, Springer Feb 2001, 2001
- Tapa blanda
- Impresión bajo demanda
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AlemaniaBuchWeltWeit Ludwig Meier e.K.
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 53,49
Envío por EUR 23,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Over two decades an abundance of knowledge has been accumulated focus ing on the understanding of the molecular and cellular pathomechanisms of stressful conditions like systemic inflammation and sepsis. We have learned that there i…s a clear correlation between the magnitude of the inciting traumatic event and the degree of inflammatory dysbalance. The immunoinflammatory disintegration comprises a simultaneous col lapse of the otherwise very smoothly balanced pro- and antiinflammatory vectors of cytokine regulation. Most recently, we understood that it is predominantly the dysregulation of antiinflammatory mediators that plays a pivotal role for the phenomenon of trauma-induced depression or paralysis of cell-mediated immune responses. The substantial intellectual and logistic investments of numerous investi gators towards understanding the biology of sepsis inevitably lead us towards a rewarding status in terms of reaching spheres of clinical relevance. From the evolutionary collection of a multitude of ex-vivo and in-vivo immuno mechanistic parameters, some were found to represent most significant bio logical markers to support the clinician to characterize better the severity of inflammatory illness and to predict outcome. Chapter one of this book, authored by G. Grass and E.A.M. Neugebauer, analyses elegantly our current knowledge on the assessment of the immuno logical status in terms of risk and prognosis of sepsis. 172 pp. Englisch.
- Tapa blanda
- Impresión bajo demanda
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AlemaniaBuchWeltWeit Ludwig Meier e.K.
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 53,49
Envío por EUR 23,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The International Symposium on Practical Aspects of Declarative Languages (PADL)focusesonpracticalapplicationsofdeclarativelanguages. Thecollection ofpapersinthisvolumewaspresentedatPADL2001. Thesymposiumwasheld inLasVegas,Nevada,Ma…rch11 12,2001. Fortypapersweresubmittedinresponsetothecallforpapers. Twenty-three paperswere nallyselectedforpresentationatthesymposium. Thesymposium includedinvitedtalksbyJoeArmstrongofBluetail,RaghuRamakrishnanfrom theUniversityofWisconsinatMadison,andDavidS. Warrenfromthe State UniversityofNewYorkatStonyBrook. ThesymposiumwassponsoredandorganizedbyCOMPULOGAMERICAS ,anetworkofresearchgroupsdedicated topromotingresearchinlogicprogrammingandrelatedareas,bytheAssoc- tionforLogicProgramming,theDepa- mentofComputerScience,UniversityofTexasatDallasandtheDepartment ofComputerScienceattheStateUniversityofNewYorkatStonyBrook. The supportofmanyindividualswascrucialtothesuccessofthissymposium. My thankstoGiridharPemmasani,SamikBasu,DivyangiAnchan,ShachiPoddar, and Shabbir Dahodwala for their help with organizing and managing the - viewingprocess. SpecialthankstoR. C. Sekarforsettingupandmanagingthe PADL2001 web site and to Gopal Gupta for handling all the organizational details. Manythankstotheprogramcommitteemembersforalltheirhelpin- viewingandtheiradvice. Finally,mythankstoalltheauthorswhotookinterest inPADL2001andsubmittedpapers. January2001 I. V. Ramakrishnan ProgramChair ProgramCommittee S. Antoy PortlandStateUniv. S. Debray Univ. ofArizona M. Fromherz XeroxPARC C. Geyer FederalUniversityofRioGrandedoSul,Brazil B. Goldberg NYU N. Heintze BellLabs,LucentTechnologies S. Krishnamurthi BrownUniversity L. Maranget INRIARocquencourt E. Meijer UtrechtUniversity G. Morrisett CornellUniversity U. Nilsson LinkopingUniversity C. Palamidessi PennStateUniv. E. Pontelli NewMexicoStateUniv. I. V. Ramakrishnan(PCChair) SUNYStonyBrook D. Sands ChalmersUniversityofTechnology R. Sekar SUNYStonyBrook D. Srivastava AT&TLabsResearch T. Swift SUNYStonyBrook K. Ueda WasedaUniversity R. Yap NationalUniversityofSingapore N-F. Zhou CUNYBrooklynCollegeandGraduateCenter Referees S. Antoy S. Krishnamurthi C. R. Ramakrishnan S. Debray L. Maranget D. Sands Frank G. Morrisett R. Sekar M. Fromherz K. NarayanKumar D. Srivastava C. Geyer U. Nilsson P. Swift B. Goldberg C. Palamidessi K. Ueda N. Heintze G. Pemmasani R. Yap O. Kaser E. Pontelli N-F. Zhou SponsoringInstitutions COMPULOGAMERICAS, cs. nmsu. edu/~complog AssociationforLogicProgramming, cwi. nl/projects/alp TableofContents AModelCheckerforValue-PassingMu-CalculusUsingLogic Programming. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 C. R. Ramakrishnan DesignandImplementationoftheHigh-LevelSpeci cationLanguage CSP(LP)inProlog. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14 M. Leuschel Frapp e:FunctionalReactiveProgramminginJava . . . . . . . . . . . . . . . . . . . . . 29 A. Courtney FromSubjectDirectoriestoSubjectMeta-directoriesviaDeclarative Programming. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45 A. BrogiandG. Caruso ProgrammingGoal-DrivenWebSitesUsinganAgentLogicLanguage . . . . 60 M. Baldoni,C. Baroglio,A. Chiarotto,andV. Patti High-LevelServerSideWebScriptinginCurry . . . . . . . . . . . . . . . . . . . . . . . . 76 M. Hanus LogicProgrammingTechniquesforDynamicVRMLWebContent Generation. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 93 A. GuptaandP. Tarau SoftConstraintsforSecurityProtocolAnalysis:Con dentiality. . . . . . . . . . 368 pp. Englisch.
- Tapa blanda
- Impresión bajo demanda
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AlemaniaBuchWeltWeit Ludwig Meier e.K.
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 53,49
Envío por EUR 23,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The papers in this volume were presented at PARA 2000, the Fifth International Workshop on Applied Parallel Computing. PARA 2000 was held in Bergen, Norway, June 18-21, 2000. The workshop was organized by Parallab and the Department… of Informatics at the University of Bergen. The general theme for PARA 2000 was New paradigms for HPC in industry and academia focusing on: { High-performance computing applications in academia and industry, { The use of Java in high-performance computing, { Grid and Meta computing, { Directions in high-performance computing and networking, { Education in Computational Science. The workshop included 9 invited presentations and 39 contributed pres- tations. The PARA 2000 meeting began with a one-day tutorial on OpenMP programming led by Timothy Mattson. This was followed by a three-day wor- hop. The rst three PARA workshops were held at the Technical University of Denmark (DTU), Lyngby (1994, 1995, and 1996). Following PARA'96, an - ternational steering committee for the PARA meetings was appointed and the committee decided that a workshop should take place every second year in one of the Nordic countries. The 1998 workshop was held at Ume a University, Sweden. One important aim of these workshops is to strengthen the ties between HPC centers, academia, and industry in the Nordic countries as well as worldwide. The University of Bergen organized the 2000 workshop and the next workshop in the year 2002 will take place at the Helsinki University of Technology, Espoo, Finland. 420 pp. Englisch.
Idioma: Inglés
Editorial: Springer Berlin Heidelberg, Springer Feb 2001, 2001
- Tapa blanda
- Impresión bajo demanda
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AlemaniaBuchWeltWeit Ludwig Meier e.K.
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 53,49
Envío por EUR 23,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -For the New Century Issue of the journal 'Theroretical Chemistry Accounts' the advisory editors identified papers from the first century of theoretical chemistry and discussed their importance for the twentieth century with an eye t…owards the twenty-first century. Sixty-six such perspectives are published in the New Century Issue. To make this unique collection available to younger scientists for entertaining reading and re-reading of the original publications, the publisher decided to reprint a special edition of the issue. 208 pp. Englisch.
- Tapa blanda
- Impresión bajo demanda
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AlemaniaBuchWeltWeit Ludwig Meier e.K.
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 53,49
Envío por EUR 23,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -ThisvolumecontainstheproceedingsoftheFifthInternationalSymposiumon FunctionalandLogicProgramming,FLOPS2001,heldinTokyo,Japan,March 7{9,2001,andhostedbyWasedaUniversity. FLOPSisaforumforresearchonallissuesconcerningfunctionalprogr- m…ing and logic programming. In particular, it aims to stimulate the cro- fertilizationaswellastheintegrationofthetwoparadigms. ThepreviousFLOPS meetingstookplaceinFuji-Susono(1995),Shonan(1996),Kyoto(1998),and Tsukuba (1999). The proceedings of FLOPS 99 were published by Springer- VerlagasLectureNotesinComputerScience,volume1722. There were 40 submissions, 38 of which were considered by the program 1 / committee. TheycamefromAustralia(5),Belgium( ),Denmark(3),Egypt 3 1 1 2 1 / / / / (1),France( ),Germany(2 ),Italy(4 ),Japan(5),Korea(1 ),Mexico 2 3 3 2 1 1 5 / / / (1),TheNetherlands(1 ),Spain(10 ),Switzerland(1),UK(1 ),andUSA 6 6 6 1 / (1 ). Eachpaperwasreviewedbyatleastthree,andmostlyfour,reviewers. 2 Theprogramcommitteemeetingwasconductedelectronicallyfortheperiodof twoweeksinNovember2000. Asaresultofactivediscussions,21papers(52. 5%) wereselectedforpresentation,whichappearinthisvolume. Inaddition,weare verypleasedtoincludeinthisvolumefullpapersbythreedistinguishedinvited speakers,namelyGopalanNadathur,GeorgeNecula,andTaisukeSato. Onbehalfoftheprogramcommittee,theprogramchairswouldliketothank theinvitedspeakerswhoagreedtogivetalksandcontributepapers,allthosewho submittedpapers,andalltherefereesfortheircarefulworkinthereviewingand selectionprocess. Thesupportofoursponsorsisalsogratefullyacknowledged. Inparticular,wewouldliketothanktheJapanSocietyforSoftwareScience andTechnology(JSSST),SpecialInterestGrouponPrinciplesofProgramming, andtheAssociationforLogicProgramming(ALP). Finally,wewouldliketo thankthemembersoftheorganizingcommittee,notablyZhenjiangHu,Yasuhiro Ajiro, Kazuhiko Kakehi, and Madoka Kuniyasu, for their invaluable support throughoutthepreparationandorganizationofthesymposium. January2001 HerbertKuchen KazunoriUeda Symposium Organization Program Chairs Herbert Kuchen University of Munster, Germany Kazunori Ueda Waseda University, Tokyo, Japan Program Committee Sergio Antoy Portland State University, USA Gopal Gupta University of Texas at Dallas, USA Michael Hanus University of Kiel, Germany Fergus Henderson University of Melbourne, Australia Zhenjiang Hu University of Tokyo, Japan Herbert Kuchen University of Munster, Germany Giorgio Levi University of Pisa, Italy Michael Maher Gri th University, Brisbane, Australia Dale Miller Pennsylvania State University, USA I. V. Ramakrishnan State University of New York at Stony Brook, USA Olivier Ridoux IRISA, Rennes, France Mario Rodr guez-Artalejo Complutense University, Madrid, Spain Colin Runciman University of York, UK Akihiko Takano Hitachi, Ltd. 408 pp. Englisch.
- Tapa blanda
- Impresión bajo demanda
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AlemaniaBuchWeltWeit Ludwig Meier e.K.
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 53,49
Envío por EUR 23,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The usual usual 'implementation' 'implementation' ofreal numbers as floating point numbers on exist iing ng computers computers has the well-known disadvantage that most of the real numbers are not exactly representable in floating…point. Also the four basic arithmetic operations can usually not be performed exactly. For numerical algorithms there are frequently error bounds for the computed approximation available. Traditionally a bound for the infinity norm is estima ted using ttheoretical heoretical ccoonncceeppttss llike ike the the condition condition number number of of a a matrix matrix for for example. example. Therefore Therefore the error bounds are not really available in practice since their com putation requires more or less the exact solution of the original problem. During the last years research in different areas has been intensified in or der to overcome these problems. As a result applications to different concrete problems were obtained. The LEDA-library (K. Mehlhorn et al.) offers a collection of data types for combinatorical problems. In a series of applications, where floating point arith metic fails, reliable results are delivered. Interesting examples can be found in classical geometric problems. At the Imperial College in London was introduced a simple principle for 'exact arithmetic with real numbers' (A. Edalat et al.), which uses certain nonlinear transformations. Among others a library for the effective computation of the elementary functions already has been implemented. 280 pp. Englisch.
