02912nam0 22005893i 450 VAN024917320230530094757.56N978303045231520220805d2020 |0itac50 baengCH|||| |||||Foundations of Software Science and Computation Structures23. International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, ProceedingsJean Goubault-Larrecq, Barbara König editorsChamSpringer2020xv, 644 p.ill.24 cm001VAN00294382001 Lecture notes in computer science210 Berlin [etc.]Springer12077VAN0249175Foundations of Software Science and Computation Structures77218768-XXComputer science [MSC 2020]VANC019670MF68QxxTheory of computing [MSC 2020]VANC019949MF00B25Proceedings of conferences of miscellaneous specific interest [MSC 2020]VANC020732MF68NxxTheory of software [MSC 2020]VANC027772MFArtificial intellegenceKW:KAutomataKW:KCategorical models and logicsKW:KConcurrency theory and process calculiKW:KEmerging models of computationKW:KFormal logicKW:KLanguage theoryKW:KLinguisticsKW:KLogical aspects of computational complexityKW:KLogical foundations of data basesKW:KLogics of programmingKW:KMathematicsKW:KModal, spatial and temporal logicsKW:KModels of software securityKW:KRewriting theoryKW:KSemantics of programming languagesKW:KSoftware specification and refinementKW:KType theory and proof theoryKW:Kand gamesKW:KCHChamVANL001889Goubault-LarrecqJeanVANV203828KönigBarbaraVANV203829International Conference on Foundations of Software Science and Computation Structures23.2020Dublin, IrelandVANV203830ITSOL20230602RICAhttp://doi.org/10.1007/978-3-030-45231-5E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN0249173BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08CONS e-book 4659 08eMF4659 20220805 Foundations of Software Science and Computation Structures772187UNICAMPANIA01210oam 2200385zu 450 99628094500331620230906003736.02-35768-035-0(CKB)3280000000025771(SSID)ssj0001106390(PQKBManifestationID)12467415(PQKBTitleCode)TC0001106390(PQKBWorkID)11073820(PQKB)10409002(NjHacI)993280000000025771(EXLCZ)99328000000002577120160829d2012 uy engur|||||||||||txtccr2012 6th International Conference on NETwork Games, COntrol and OPtimization (NetGCooP)[Place of publication not identified]IEEE20121 online resource (156 pages) illustrationsBibliographic Level Mode of Issuance: Monograph1-4673-6026-0 Video gamesVideo games.794.8PQKBPROCEEDING9962809450033162012 6th International Conference on NETwork Games, COntrol and OPtimization (NetGCooP)2519117UNISA03802oam 22006615 450 991078345590332120200520144314.01-280-23825-997866102382550-8213-6359-X10.1596/978-0-8213-6358-4(CKB)1000000000225119(EBL)459851(OCoLC)62162766(SSID)ssj0000086871(PQKBManifestationID)11112475(PQKBTitleCode)TC0000086871(PQKBWorkID)10031271(PQKB)10814251(MiAaPQ)EBC459851(Au-PeEL)EBL459851(CaPaEBR)ebr10091274(CaONFJC)MIL23825(The World Bank)2005051256(US-djbf)14015083(EXLCZ)99100000000022511920050624d2005 uf 0engurcn|||||||||txtrdacontentcrdamediacrrdacarrierFinancing information and communication infrastructure needs in the developing world : public and private rolesWashington, D.C. :World Bank,c2005.xv, 37 pages illustrations ;26 cmWorld Bank working paper ;no. 65Description based upon print version of record.0-8213-6358-1 Includes bibliographical references.Contents; Foreword; Acknowledgments; Acronyms; Executive Summary; 1. There Has Been a Massive Rollout of ICI in the 1990's; LIST OF FIGURES; LIST OF TABLES; 2. The Picture is More Mixed for Advanced ICI; 3. Advance to Date Has Been Due to New Technologies, Declining Costs, and Considerable Investment; 4. A Growing Share of ICI Investment is Private; LIST OF BOXES; 5. Competitive, Well-regulated Private Investment Remains the Key to Meeting the Growing Demand for ICI; 6. Going Forward, There Are Considerable Investment Needs for ICI in Developing Countries7. The First Question is How to Attract the Private Financing to Meet Those Needs8. Even With Greater Private Involvement, Gaps Will Remain; 9. Some Investment Gaps Can Be Filled With Pro-Investment Policy and Regulation; 10. Some Gaps Can Be Covered by Leveraging the Government's Role as Consumer and Utility Operator; 11. Some Gaps May Require Government-Supported Access Initiatives; 12. Donor Community Financing Plays a Relatively Small Role in Overall Financing; 13. The Catalytic Role for Donors and the WBG Can Be Significant; BibliographyOver the past ten years, private-sector-led growth has revolutionized access to telecommunications. Every region of the developing world benefitted in terms of investment and rollout. This revolution would have been impossible without government reform and oversight. Advanced information and communication infrastructure (ICI) are increasingly important to doing business in a globalizing world. Governments, enterprises, civil society, workers, and poor populations in the developing countries need more affordable access. This report proposes strategies that governments can carry out to attractWorld Bank e-Library.Telecommunication policyDeveloping countriesTelecommunicationDeregulationDeveloping countriesPrivatizationDeveloping countriesTelecommunication policyTelecommunicationDeregulationPrivatization384/.09172/4World Bank.DLCDLCDLCBOOK9910783455903321Financing information and communication infrastructure needs in the developing world3701052UNINA