LEADER 03731nam 22007095 450 001 996466290903316 005 20200706003940.0 010 $a3-030-33636-0 024 7 $a10.1007/978-3-030-33636-3 035 $a(CKB)4100000009606208 035 $a(MiAaPQ)EBC5963144 035 $a(DE-He213)978-3-030-33636-3 035 $a(PPN)25580332X 035 $a(EXLCZ)994100000009606208 100 $a20191019d2019 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aMathematics of Program Construction$b[electronic resource] $e13th International Conference, MPC 2019, Porto, Portugal, October 7?9, 2019, Proceedings /$fedited by Graham Hutton 205 $a1st ed. 2019. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2019. 215 $a1 online resource (viii, 467 pages) $cillustrations 225 1 $aProgramming and Software Engineering ;$v11825 311 $a3-030-33635-2 320 $aIncludes bibliographical references and index. 330 $aThis book constitutes the refereed proceedings of the 13th International Conference on Mathematics of Program Construction, MPC 2019, held in Porto, Portugal, in October 2019. The 15 revised full papers presented together with an invited paper were carefully reviewed and selected from 22 submissions. The papers deal with mathematical principles and techniques for constructing computer programs. They range from algorithmics to support for program construction in programming languages and systems. Some typical areas are type systems, program analysis and transformation, programming-language semantics, security, and program logics. 410 0$aProgramming and Software Engineering ;$v11825 606 $aComputer logic 606 $aSoftware engineering 606 $aMathematical logic 606 $aComputer system failures 606 $aNatural language processing (Computer science) 606 $aComputer science?Mathematics 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 606 $aSystem Performance and Evaluation$3https://scigraph.springernature.com/ontologies/product-market-codes/I13049 606 $aNatural Language Processing (NLP)$3https://scigraph.springernature.com/ontologies/product-market-codes/I21040 606 $aMath Applications in Computer Science$3https://scigraph.springernature.com/ontologies/product-market-codes/I17044 615 0$aComputer logic. 615 0$aSoftware engineering. 615 0$aMathematical logic. 615 0$aComputer system failures. 615 0$aNatural language processing (Computer science). 615 0$aComputer science?Mathematics. 615 14$aLogics and Meanings of Programs. 615 24$aSoftware Engineering/Programming and Operating Systems. 615 24$aMathematical Logic and Formal Languages. 615 24$aSystem Performance and Evaluation. 615 24$aNatural Language Processing (NLP). 615 24$aMath Applications in Computer Science. 676 $a001.642 702 $aHutton$b Graham$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996466290903316 996 $aMathematics of Program Construction$9772229 997 $aUNISA LEADER 03301oam 2200517I 450 001 9910154868603321 005 20240505160255.0 010 $a1-315-55926-9 010 $a1-317-19468-3 010 $a1-317-19467-5 024 7 $a10.4324/9781315559261 035 $a(CKB)4340000000019334 035 $a(MiAaPQ)EBC4756223 035 $a(OCoLC)965196689 035 $a(EXLCZ)994340000000019334 100 $a20180706d2017 uy 0 101 0 $aeng 135 $aurcnu|||||||| 181 $2rdacontent 182 $2rdamedia 183 $2rdacarrier 200 10$aHow power shapes energy transitions in Southeast Asia $ea complex governance challenge /$fJens Marquardt 205 $a1st ed. 210 1$aLondon ;$aNew York :$cRoutledge,$d2017. 215 $a1 online resource (281 pages) 225 1 $aRoutledge Studies in Energy Transitions 300 $aIncludes index. 311 08$a1-138-67790-6 327 $apt. I. Introduction -- pt. II. Development cooperation for sustainable energy -- pt. III. Setting the scene : theory and analytical framework -- pt. IV. The Philippines -- pt. V. Indonesia -- pt. VI. Conclusions. 330 $aAn understanding of the role of energy-related governance systems and the conditions required for a shift towards renewables in developing countries is urgently needed in order to tap into the global potential of low-carbon development. Although renewable energy sources have become technically feasible and economically viable, social and political factors continue to persist as the most critical obstacles for their dissemination. How Power Shapes Energy Transitions in Southeast Asia conceptualizes power for the field of sustainable energy governance. Based on empirical findings from the Philippines and Indonesia, the book develops an analytical approach that incorporates power theory into a multi-level governance framework. The book begins with a profound background on renewable energy development around the world and presents major trends in development cooperation. A power-based multi-level governance approach is introduced that is rooted in development thinking. Examining how coordination and power relations shape the development and dissemination of renewable energy technologies, the book also shows how decentralization affects low carbon development in emerging economies. Sparking debate on the ways in which energy transitions can be triggered and sustained in developing countries, this book will be of great interest to students and scholars of renewable energy development and environmental politics and governance as well as practitioners in development cooperation. 410 0$aRoutledge studies in energy transitions. 606 $aEnergy policy$xEnvironmental aspects$zSoutheast Asia 606 $aEnergy development$zSoutheast Asia 606 $aRenewable energy sources$zSoutheast Asia 615 0$aEnergy policy$xEnvironmental aspects 615 0$aEnergy development 615 0$aRenewable energy sources 676 $a333.790959 700 $aMarquardt$b Jens.$0982007 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910154868603321 996 $aHow power shapes energy transitions in Southeast Asia$92241178 997 $aUNINA