00617nam0-22002411i-450-990001264010403321000126401FED01000126401(Aleph)000126401FED0100012640120000920d197----km-y0itay50------baengSurreal Numbersby KnuthLondon [etc.]Don Mills197Knuth,Donald Ervin48274ITUNINARICAUNIMARCBK990001264010403321114-G-364118MA1MA1Surreal Numbers381119UNINAING0101029nam0-2200313 --450 991030915650332120190215093522.0978-88-7180-701-020190214d2017----kmuy0itay5050 baitaITa 001yyDa Caligari a Hitleruna storia psicologica del cinema tedescocon un'appendice di recensioni cinematografiche degli anni '20 e '30Siegfried KracauerNuova ed. italianaa cura di Leonardo QuaresimaTorinoLindau2017508 p., [16] c. di tav.ill.21 cmSaggi LindauCinema tedesco1917-1933CinemaGermania1918-1933791.430919itaKracauer,Siegfried122979Quaresima,LeonardoITUNINAREICATUNIMARCBK9910309156503321791.43 KRA 3bibl. 2019FLFBCFLFBCDa Caligari a Hitler970573UNINA05462nam 22007575 450 99646608620331620200707021029.03-540-70655-010.1007/BFb0021709(CKB)1000000000233972(SSID)ssj0000322362(PQKBManifestationID)11246289(PQKBTitleCode)TC0000322362(PQKBWorkID)10288441(PQKB)11588025(DE-He213)978-3-540-70655-7(PPN)15523353X(EXLCZ)99100000000023397220121227d1993 u| 0engurnn|008mamaatxtccrCorrect Hardware Design and Verification Methods[electronic resource] IFIP WG 10.2 Advanced Research Working Conference, CHARME'93, Arles, France, May 24-26, 1993. Proceedings /edited by George J. Milne, Laurence Pierre1st ed. 1993.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,1993.1 online resource (IX, 275 p.) Lecture Notes in Computer Science,0302-9743 ;683Bibliographic Level Mode of Issuance: Monograph3-540-56778-X A graph-based method for timing diagrams representation and verification -- A Petri Net approach for the analysis of VHDL descriptions -- Temporal analysis of time bounded digital systems -- Strongly-typed theory of structures and behaviours -- Verification and diagnosis of digital systems by ternary reasoning -- Logic verification of incomplete functions and design error location -- A methodology for system-level design for verifiability -- Algebraic models and the correctness of microprocessors -- Combining symbolic evaluation and object oriented approach for verifying processor-like architectures at the RT-level -- A theory of generic interpreters -- Towards verifying large(r) systems: A strategy and an experiment -- Advancements in symbolic traversal techniques -- Automatic verification of speed-independent circuit designs using the Circal system -- Correct compilation of specifications to deterministic asynchronous circuits -- DDD-FM9001: Derivation of a verified microprocessor -- Calculational derivation of a counter with bounded response time -- Towards a provably correct hardware implementation of occam -- Rewriting with constraints in T-ruby -- Embedding hardware verification within a commercial design framework -- An approach to formalization of data flow graphs.These proceedings contain the papers presented at the Advanced Research Working Conference on Correct Hardware Design Methodologies, held in Arles, France, in May 1993, and organized by the ESPRIT Working Group 6018 CHARME-2and the Universit de Provence, Marseille, in cooperation with IFIP Working Group 10.2. Formal verification is emerging as a plausible alternative to exhaustive simulation for establishing correct digital hardware designs. The validation of functional and timing behavior is a major bottleneck in current VLSI design systems, slowing the arrival of products in the marketplace with its associated increase in cost. From being a predominantly academic area of study until a few years ago, formal design and verification techniques are now beginning to migrate into industrial use. As we are now witnessing an increase in activity in this area in both academia and industry, the aim of this working conference was to bring together researchers and users from both communities.Lecture Notes in Computer Science,0302-9743 ;683ComputersComputer hardwareMicroprogramming Arithmetic and logic units, ComputerComputer memory systemsInput-output equipment (Computers)Theory of Computationhttps://scigraph.springernature.com/ontologies/product-market-codes/I16005Computer Hardwarehttps://scigraph.springernature.com/ontologies/product-market-codes/I1200XControl Structures and Microprogramminghttps://scigraph.springernature.com/ontologies/product-market-codes/I12018Arithmetic and Logic Structureshttps://scigraph.springernature.com/ontologies/product-market-codes/I12026Memory Structureshttps://scigraph.springernature.com/ontologies/product-market-codes/I12034Input/Output and Data Communicationshttps://scigraph.springernature.com/ontologies/product-market-codes/I12042Computers.Computer hardware.Microprogramming .Arithmetic and logic units, Computer.Computer memory systems.Input-output equipment (Computers).Theory of Computation.Computer Hardware.Control Structures and Microprogramming.Arithmetic and Logic Structures.Memory Structures.Input/Output and Data Communications.621.39/2Milne George Jedthttp://id.loc.gov/vocabulary/relators/edtPierre Laurenceedthttp://id.loc.gov/vocabulary/relators/edtCHARME '93BOOK996466086203316Correct Hardware Design and Verification Methods772373UNISA03811nam 22007333u 450 991081553430332120210120224718.01-383-03547-41-282-38307-897866123830760-19-155075-2(CKB)2550000000005221(EBL)472177(OCoLC)516214052(SSID)ssj0000339319(PQKBManifestationID)11252194(PQKBTitleCode)TC0000339319(PQKBWorkID)10323835(PQKB)10872643(PPN)159209641(MiAaPQ)EBC4700277(EXLCZ)99255000000000522120130418d2009|||| u|| |engurcn|||||||||txtrdacontentcrdamediacrrdacarrierInvasive species management a handbook of principles and techniques /edited by Mick N. Clout and Peter A. WilliamsOxford :Oxford University Press,2009.1 online resource (xxii, 308 pages) illustrations, mapsTechniques in ecology & conservation seriesDescription based upon print version of record.0-19-921632-0 Biosecurity and quarantine for preventing invasive species -- Risk assessment of invasive species -- Detection and early warning of invasive species -- Eradication of invasive species: progress and emerging issues in the 21st century -- Principles of containment and control of invasive species -- Biological control of invasive species -- Public participation in invasive species management -- International legal instruments and frameworks for invasive species -- Management of invasive terrestrial plants -- Management of invasive aquatic plants -- Management of invasive invertebrates: lessons from the management of an invasive alien ant -- Management of terrestrial vertebrate pests -- Management of invasive fish -- Marine biosecurity: management options and response tools -- Management of interacting invasives: ecosystem approaches.Invasive alien species are a major and growing threat to biodiversity worldwide. The transport of organisms through increased levels of trade and tourism is leading to the widespread breaching of natural biogeographic barriers at unprecedented rates. Consequences can be severe, especially in naturally isolated ecosystems. Invasive alien species can cause the extinction of vulnerable endemic species, alter the structure and composition of communities, disrupt successional pathways,and lead to the loss of ecosystem services. Global climate change may further exacerbate the spread of alien specieTechniques in ecology and conservation series.Biological invasionsPreventionNonindigenous pestsControlIntroduced organismsControlBiological invasionsEnvironmental aspectsBiodiversity conservationBiology - GeneralHILCCBiologyHILCCHealth & Biological SciencesHILCCBiological invasionsPreventionNonindigenous pestsControlIntroduced organismsControlBiological invasionsEnvironmental aspectsBiodiversity conservationBiology - GeneralBiologyHealth & Biological Sciences578.62628.9/6Clout Michael N(Michael Norman),1950-Williams P. A.AU-PeELAU-PeELAU-PeELBOOK9910815534303321Invasive species management3930918UNINA01208nas 2200421 c 450 991089342590332120260218112222.0(CKB)5280000000197142(DE-599)ZDB2543003-8(OCoLC)863066629(OCoLC)644027509(DE-101)1000656403(DE-599)2543003-8(EXLCZ)99528000000019714220100305a20109999 |y |gerur|||||||||||txtrdacontentcrdamediacrrdacarrierFachserie / Statistisches Bundesamt, Wiesbaden13SozialleistungenReihe 2.1Ausgaben und Einnahmen der SozialhilfeWiesbadenStatistisches Bundesamt2010-Online-RessourceDeStatis : wissen, nutzenGesehen am 18.05.2020Fachserie / 13 / 2.1 Fachserie / 13 / 2 / 1Zeitschriftgnd-contentStatistikgnd-content3603100180DE-1019001JOURNAL9910893425903321Fachserie4217557UNINA09433nam 2200709 a 450 991110968600332120251116221347.01-61324-075-9(CKB)2560000000071246(EBL)3019417(SSID)ssj0000468674(PQKBManifestationID)12167777(PQKBTitleCode)TC0000468674(PQKBWorkID)10514588(PQKB)10526909(Au-PeEL)EBL3019417(CaPaEBR)ebr10670982(OCoLC)704277122(MiAaPQ)EBC3019417(OCoLC)228854688(BIP)43288092(BIP)23317753(EXLCZ)99256000000007124620090625d2009 uy 0engur|n|---|||||txtccrThe effects of climate change on agriculture, land resources, water resources, and biodiversity in the United States /Peter Backlund, Anthony Janetos, and David Schimel, editors1st ed.New York Nova Science Publishers2009Washington, DC :U.S. Climate Change Science Program,[2008]1 online resource (266 p.)Synthesis and assessment product ;4.3Description based upon print version of record.1-60456-989-1 Includes bibliographical references and index.Intro -- THE EFFECTS OF CLIMATE CHANGE ONAGRICULTURE, LAND RESOURCES,WATER RESOURCES,AND BIODIVERSITY IN THEUNITED STATES -- THE EFFECTS OF CLIMATE CHANGE ON AGRICULTURE, LAND RESOURCES, WATER RESOURCES, AND BIODIVERSITY IN THE UNITED STATES -- CONTENTS -- PREFACE* -- EXECUTIVE SUMMARY -- 1. INTRODUCTION AND BACKGROUND -- Scope -- Time Horizon -- Ascribing Confidence to Findings -- Climate Context -- 2. OVERARCHING CONCLUSIONS -- 3. KEY QUESTIONS AND ANSWERS -- 4. SECTORAL FINDINGS -- Agriculture -- Land Resources -- Water Resources -- Biodiversity -- INTRODUCTION -- INTENT OF THIS REPORT -- SCOPE OF THIS REPORT -- GUIDING QUESTIONS FOR THIS REPORT -- ASCRIBING CONFIDENCE TO FINDINGS -- TIME HORIZON FOR THIS REPORT -- GLOBAL CLIMATE CONTEXT -- U.S. CLIMATE CONTEXT -- Ecological and Biological Context -- ATTRIBUTION OF ECOSYSTEM CHANGES -- SUMMARY -- AGRICULTURE -- 2.1. INTRODUCTION -- 2.2. Observed Changes and Responses -- 2.2.1. Crops -- 2.2.2. Pastureland -- 2.2.3. Rangelands -- 2.2.4. Temperature Response of Animals -- 2.2.5. Episodes of Extreme Events -- 2.3. POSSIBLE FUTURE CHANGES AND IMPACTS -- 2.3.1. projections Based on Increment ofTemperature and CO2 for Crops -- 2.3.2. Projections for Weeds -- 2.3.3. Projections for Insects and Pathogens -- 2.3.4. projections for Rangelands -- 2.3.5. Climatic Influences on Livestock -- 2.4. OBSERVING/MONITORING SYSTEMS -- 2.4.1. Monitoring Relevant to Crops -- 2.4.2. Monitoring Relevant to Pasturelands -- 2.4.3. Monitoring Relevant to Rangelands -- 2.5. INTERACTIONS AMONG SYSTEMS -- 2.5.1. Climate Change and Sustainability of Pasturelands -- 2.6. FINDINGS AND CONCLUSIONS -- 2.6.1. Crops -- 2.6.2. Weeds -- 2.6.3. Insects and Disease Pests -- 2.6.4. Pasturelands -- 2.6.5. Rangelands -- 2.6.6. Animal Production Systems -- LAND RESOURCES:FORESTS AND ARID LANDS -- 3.1. INTRODUCTION -- 3.2. FORESTS.3.2.1. Brief Summary of Key Points from the Literature -- 3.2.2. Observed Changes or Trends -- 3.2.3. Possible Future Changes and Impacts -- 3.2.4. Indicators and Observing Systems -- 3.2.5. How Changes in One ResourceCan Affect Other Resources -- 3.3. ARID LANDS -- 3.3.1. Brief Summary of Key Points from the Literature -- 3.3.2. Observed and Predicted Changes or Trends -- 3.3.3. Species Distributions and Community Dynamics -- 3.3.4. Ecosystem Processes -- 3.3.5. Arid Land Rivers and Riparian Zones -- 3.3.6. Water and Wind Erosion -- 3.3.7. Indicators and Observing Systems -- 3.4. FINDINGS AND CONCLUSIONS -- 3.4.1. Forests -- 3.4.2. Arid Lands -- 3.4.3. Observing Systems for Forests and Arid Lands -- WATER RESOURCES -- 4.1. INTRODUCTION -- 4.1.1. Hydroclimatic Variability in the United States -- 4.1.2. Characteristics of Managed WaterResources in the United States -- 4.1.3. U.S. Water Use and Water Use Trends -- 4.2. OBSERVED CHANGES INU.S.WATER RESOURCES -- 4.2.1. Observed Streamflow Trends -- 4.2.2. Evaporation Trends -- 4.2.3. U.S. Drought Trends -- 4.2.4. Regional Assessment of Changes in U.S. Water Resources -- 4.2.5. Water Quality -- 4.3. ATTRIBUTION OF CHANGES -- 4.4. FUTURE CHANGES AND IMPACTS -- 4.4.1. Hydrology and Water Resources -- 4.4.2. Water Quality -- 4.4.3. Groundwater -- 4.5. HYDROLOGY-LANDSCAPE INTERACTIONS -- 4.6. OBSERVING SYSTEMS -- 4.7. FINDINGS AND CONCLUSIONS -- BIODIVERSITY -- 5.1. INTRODUCTION AND FRAMEWORK -- 5.2. CHANGES IN DISTRIBUTION AND PHENOLOGIESIN TERRESTRIAL ECOSYSTEMS -- 5.2.1. Growing Season Length andNet Primary Production Shifts -- 5.2.2. Biogeographical and Phenological Shifts -- 5.2.3. Geographical and Distributional Responses of Plants -- 5.3. CHANGES IN COASTAL AND NEAR-SHORE ECOSYSTEMS -- 5.3.1. Coral Reefs -- 5.3.2. Coastal Communities and Ecosystems.5.4.CLIMATE CHANGE,MARINE FISHERIESAND MARINE ECOSYSTEM CHANGE -- 5.4.1. Other Climate-Driven Physical Forcesthat Affect Marine Ecosystems -- 5.4.2. Observed and Projected Impacts -- 5.5. CHANGES IN PESTS AND PATHOGENS -- 5.5.1. Interactions of Climate Change with Pests,Pathogens, and Invasive Species -- 5.6. PARTICULARLY SENSITIVE SYSTEMS -- 5.6.1. Impacts of Climate Change on Montane Ecosystems -- 5.6.2. Arctic Sea-Ice Ecosystems -- 5.7. ECOSYSTEM SERVICES AND EXPECTATIONSFOR FUTURE CHANGE -- 5.8. ADEQUACY OF OBSERVING SYSTEMS -- 5.9.MAJOR FINDINGS -- 5.9.1. Growing Season and Phenology -- 5.9.2. Biogeographical and Phenological Shifts -- 5.9.3. Migratory Birds -- 5.9.4. Butterflies -- 5.9.5. Coastal and Near Shore Systems -- 5.9.6. Corals -- 5.9.7. Marine Fisheries -- 5.9.8. Pests and Pathogens -- 5.9.9. Invasive Plants -- 5.9.10. Particularly Sensitive Systems -- 5.9.11. Arctic Sea-Ice Ecosystems -- 5.10. CONCLUSIONS -- SYNTHESIS -- 6.1. INTRODUCTION -- 6.2. KEY QUESTIONS AND ANSWERS -- 6.3. DESIGNING SYSTEMS TO MONITORCLIMATE CHANGE IMPACTS -- 6.4. INTEGRATION OF ECO- SYSTEM OBSERVATIONS,MODELING,EXPERIMENTS AND ANALYSIS -- 6.5. OVERARCHING CONCLUSIONS -- INDEX.This book provides an assessment of the effects of climate change on U.S. agriculture, land resources, and biodiversity. It is one of a series of 21 Synthesis and Assessment Products (SAP) that are being produced under the auspices of the U.S. Climate Change Science Program (CCSP).This book builds on an extensive scientific literature and series of recent assessments of the historical and potential impacts of climate change and climate variability on managed and unmanaged ecosystems and their constituent biota and processes. It discusses the nation's ability to identify, observe, and monitor the stresses that influence agriculture, land resources, water resources, and biodiversity, and evaluates the relative importance of these stresses and how they are likely to change in the future. It identifies changes in resource conditions that are now being observed, and examines whether these changes can be attributed in whole or part to climate change. The general time horizon for this book is from the recent past through the period 2030-2050, although longer-term results out to 2100 are also considered. There is robust scientific consensus that human-induced climate change is occurring. Records of temperature and precipitation in the United States show trends consistent with the current state of global-scale understanding and observations of change. Observations also show that climate change is currently impacting the nation's ecosystems and services in significant ways, and those alterations are very likely to accelerate in the future, in some cases dramatically. Current observational capabilities are considered inadequate to fully understand and address the future scope and rate of change in all ecological sectors. Additionally, the complex interactions between change agents such as climate, land use alteration, and species invasion create dynamics that confound simple causal relationships and will severely complicate the development and assessment of mitigation and adaptation strategies.Climatic changesEnvironmental aspectsUnited StatesAgricultureEnvironmental aspectsUnited StatesBiodiversityEnvironmental aspectsUnited StatesBiotic communitiesEnvironmental aspectsUnited StatesClimatic changesEnvironmental aspectsAgricultureEnvironmental aspectsBiodiversityEnvironmental aspectsBiotic communitiesEnvironmental aspects551.6973Backlund Peter452803Janetos Anthony C1927103Schimel David Steven324667National Science and Technology Council (U.S.).Subcommittee on Global Change Research.MiAaPQMiAaPQMiAaPQBOOK9911109686003321The effects of climate change on agriculture, land resources, water resources, and biodiversity in the United States4675171UNINA02298nam 2200541Ia 450 991110677500332120200520144314.01-61122-288-5(CKB)2550000000060406(EBL)3018752(SSID)ssj0000569620(PQKBManifestationID)12242367(PQKBTitleCode)TC0000569620(PQKBWorkID)10540976(PQKB)10252627(MiAaPQ)EBC3018752(Au-PeEL)EBL3018752(CaPaEBR)ebr10661690(OCoLC)923659775(BIP)32205539(EXLCZ)99255000000006040620100827d2011 uy 0engur|n|---|||||txtrdacontentcrdamediacrrdacarrierNaval issues background and operations /Anthony D. Eanuzzi, editorHauppage, NY Nova Science Publisher's20111 online resource (157 pages) illustrationsDefense, security and strategiesIncludes index.1-61122-008-4 A navy (sometimes called a maritime force) is the branch of a nation's armed forces principally designated for naval warfare and amphibious warfare; namely, lake- or ocean-borne combat operations and related functions. It includes anything conducted by surface ships, amphibious ships, submarines, and sea-borne aviation, as well as ancillary support, communications, training, and other fields; recent developments have included space related operations. This book discusses the issues facing the United States Navy, including warfare and counter-terrorism operations; leases on foreign-built ships; Navy force structure and shipbuilding plans; and aircraft carrier programs.Defense, Security and StrategySea-powerUnited StatesHistory21st centuryUnited StatesHistory, Naval21st centurySea-powerHistory359/.030973O'Rourke Ronald1199184Eanuzzi Anthony D1977923MiAaPQMiAaPQMiAaPQBOOK9911106775003321Naval issues4747823UNINA06905oam 22013694 450 991114942320332120251116183904.097866138247769781462335633146233563297814527450601452745064978128351232912835123279781451913156145191315X(CKB)3360000000443470(EBL)1607687(SSID)ssj0000949454(PQKBManifestationID)11545308(PQKBTitleCode)TC0000949454(PQKBWorkID)10996409(PQKB)10987701(OCoLC)560672789(MiAaPQ)EBC1607687(IMF)WPIEE2007299(IMF)WPIEA2007299WPIEA2007299(EXLCZ)99336000000044347020020129d2007 uf 0engur|n|---|||||txtccrEnergy Efficiency and Renewable Energy Supply for the G-7 Countries, with Emphasis on Germany /Jon Strand1st ed.Washington, D.C. :International Monetary Fund,2007.1 online resource (37 p.)IMF Working Papers"December 2007."At head of title: Fiscal Affairs Department.9781451868623 1451868626 Includes bibliographical references (p. 33-35).Contents; I. Introduction; I. Renewables in Advanced Economies: General Issues; A. Introduction; B. Support to and Supply of Renewables in Major Advanced Countries; Tables; 1. Renewable Energy, More Detailed Source Classification, Major OECD Countries, 2004; Figures; 1. Distributions of Renewable Energy in Major OECD Countries, 2004; C. Public Renewables Support and Carbon Emissions Reductions; 2. Average Cost, Euros Per Ton of CO2 Displaced, When Fossil Fuels Are Replaced with Renewable Energies; D. Biofuels and Their Support in Advanced Economies2. Cost-Effectiveness in Carbon Abatement, Different Uses of Biomass3. Production Volumes (thousand tons), and Values of Tax Exemptions (Euro/cents per liter), for Biofuel and Biodiesel in Major European Countries and the United States; 4. Calculated Average Public Support to Bioethanol and Biodiesel in the EU, by Support Category, 2006; 5. Calculated Average Public Support to Bioethanol and Biodiesel in the EU Per Unit of Fossil Fuels Displaced, by Supply Category, 2006; II. Further Aspects of Renewables Policies in Germany; A. IntroductionB. Renewables for Electricity Generation in Germany6. Overview of Main Renewable Energies, Germany, 2006; 7. Feed in Tariffs by Technology, 2006; 3. Forecast Quantities and Fees of Feed-In Tariffs, by 2012; 8. Supplementary Payments for Electricity Exports to the Grid; C. Policies Affecting Value-Adding Inputs; 4. German Federal Government Support for Basic R&D, 1974-2007; 9. Breakdown of German Federal Government Energy R&D by Research Theme/Ministry 1974-2000; 10. Combined Federal States (Länder) Support for Deployment of Renewable Energy Technologies; D. Biofuels for TransportIII. Overall Assessment of Renewables Policies in Advanced CountriesReferencesThis paper discusses structure, impact, costs, and efficiency of renewable energy supply in the eight largest advanced economies (the G-7 plus Spain), with focus on Germany. Renewables production costs are compared to benefits, defined as reductions in net carbon emissions; technological innovation, and increased energy security. The latter part of the paper centers on Germany, the main European producer of non-traditional renewables. We question whether the level of subsidies can be justified, relative to other means to increase energy security and reduce carbon emissions. We also find an excessive emphasis on current productive activity, relative to development of new technologies.IMF Working Papers; Working Paper ;No. 2007/299Renewable energy sourcesEconomic aspectsGroup of Seven countriesEnergy consumptionEconomic aspectsGroup of Seven countriesRenewable energy sourcesEconomic aspectsGermanyEnergy consumptionEconomic aspectsGermanyAlternative Energy SourcesimfClimate changeimfClimateimfElectric UtilitiesimfElectric utilitiesimfElectricityimfEnergyimfEnvironmental Conservation and ProtectionimfEnvironmental managementimfGlobal WarmingimfGreenhouse gas emissionsimfGreenhouse gasesimfInvestment & securitiesimfInvestments: EnergyimfNatural Disasters and Their ManagementimfNatural ResourcesimfNatural resourcesimfNon-renewable resourcesimfNonrenewable Resources and Conservation: GeneralimfRenewable energy sourcesimfRenewable energyimfRenewable Resources and Conservation: GeneralimfRenewable resourcesimfCommoditiesimfEnvironmentimfUnited StatesimfRenewable energy sourcesEconomic aspectsEnergy consumptionEconomic aspectsRenewable energy sourcesEconomic aspectsEnergy consumptionEconomic aspectsAlternative Energy SourcesClimate changeClimateElectric UtilitiesElectric utilitiesElectricityEnergyEnvironmental Conservation and ProtectionEnvironmental managementGlobal WarmingGreenhouse gas emissionsGreenhouse gasesInvestment & securitiesInvestments: EnergyNatural Disasters and Their ManagementNatural ResourcesNatural resourcesNon-renewable resourcesNonrenewable Resources and Conservation: GeneralRenewable energy sourcesRenewable energyRenewable Resources and Conservation: GeneralRenewable resourcesCommoditiesEnvironment333.79413Strand JonInternational Monetary Fund.Fiscal Affairs Department.DcWaIMFBOOK9911149423203321UNINA