04295nam 22006734a 450 991078073160332120230725041519.01-282-75829-29786612758294981-4277-53-3(CKB)2490000000001675(EBL)1681232(OCoLC)613343377(SSID)ssj0000415204(PQKBManifestationID)11304560(PQKBTitleCode)TC0000415204(PQKBWorkID)10409123(PQKB)10797286(WSP)00000568(Au-PeEL)EBL1681232(CaPaEBR)ebr10422245(CaONFJC)MIL275829(MiAaPQ)EBC1681232(EXLCZ)99249000000000167520100514d2010 uy 0engur|n|---|||||txtccrCrucial issues in climate change and the Kyoto Protocol[electronic resource] Asia and the world /editors, Koh Kheng-Lian, Lye Lin- Heng , Jolene LinSingapore ;Hackensack, NJ World Scientific20101 online resource (597 p.)Description based upon print version of record.981-4277-52-5 Includes bibliographical references.Climate disruption : remaking the agenda of MEAs in Asia and the world /Nicholas A. Robinson --Reframing global warming : toward a strategic national planning network /Scott Victor Valentine --Climate change : living in the Anthropocene /Jeff Obbard --An overview of the clean development mechanism in Southeast Asia /Jolene Lin --CDM in China /Yang Xing and Wang Xi --Empirical considerations in the development of CDM projects in Asia /William I.Y. Byun and Felix H.C. Chan --Making markets work : a review of CDM performance and the need for reform /Charlotte Streck and Jolene Lin --Regional framework : the European Union emissions trading scheme : past, present, and future /Kurt Deketelaere and Marijke Schurmans --Trends in carbon trading : practical lessons /Andrew Beatty and Evan Williams --Singapore's national climate change strategy /K. Suresh --Japan : achieving its Kyoto target /Hiroji Isozaki --Compliance under the Kyoto Protocol and its implications for the Asian region /Maria Socorro Manguiat --Climate change as a threat to peace & security : glacial melting & human security in the Himalayas /Kishan Khoday --The Kyoto Protocol and beyond : a South Asian perspective /Asanga Gunawansa --Beyond Kyoto : climate change including a discussion of the AP6 initiative from the Australian perspective /Michael I. Jeffrey --Protecting forests to mitigate global climate change /Charlotte Streck.<i>Crucial Issues in Climate Change and the Kyoto Protocol: Asia and the World</i> focuses on responses to climate change in the world's most populous region. This book provides the most comprehensive insight to the climate change discourse within Asia to date by drawing on the diverse disciplines and experience of legal practitioners, climate change consultants, government officials and academics. Individual chapters address issues such as how the various Asian countries - highly disparate in their cultures, socio-economic conditions and political systems - are responding to climate change,Climatic changesLaw and legislationGreenhouse gasesLaw and legislationEnvironmental law, InternationalGreenhouse gasesLaw and legislationAsiaClimatic changesLaw and legislationAsiaClimatic changesLaw and legislation.Greenhouse gasesLaw and legislation.Environmental law, International.Greenhouse gasesLaw and legislationClimatic changesLaw and legislation344.046342Koh Kheng Lian230769Lye Lin Heng1484799Lin Jolene1484800MiAaPQMiAaPQMiAaPQBOOK9910780731603321Crucial issues in climate change and the Kyoto Protocol3703590UNINA04197nam 22007095 450 991048417150332120251225211018.03-319-60225-X10.1007/978-3-319-60225-7(CKB)4340000000061577(DE-He213)978-3-319-60225-7(MiAaPQ)EBC6295593(MiAaPQ)EBC5578958(Au-PeEL)EBL5578958(OCoLC)990184990(PPN)202990893(EXLCZ)99434000000006157720170527d2017 u| 0engurnn|008mamaatxtrdacontentcrdamediacrrdacarrierFormal Techniques for Distributed Objects, Components, and Systems 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings /edited by Ahmed Bouajjani, Alexandra Silva1st ed. 2017.Cham :Springer International Publishing :Imprint: Springer,2017.1 online resource (XIV, 243 p. 50 illus.) Programming and Software Engineering,2945-9168 ;103213-319-60224-1 Session types for Link failures -- Learning-based compositional parameter synthesis for event-recording automata -- Modularising opacity verification for Hybrid Transactional Memory -- Proving opacity via linearizability: a sound and complete method -- On futures for streaming data in ABS -- Session-based concurrency, reactively -- Procedural choreographic programming -- An observational approach to defining linearizability on weak memory models -- Applying a dependency mechanism in the formal development of voting protocol models using event-B -- Weak simulation quasimetric in a gossip scenario -- Reasoning about distributed secrets -- Classical higher-order processes -- Weak nominal modal logic -- Type inference of simulink hierarchical block diagrams in Isabelle -- Creating Büchi automata for multi-valued model checking -- Privacy assessment using static taint analysis -- EPTL - a temporal logic for weakly consistent systems.This book constitutes the proceedings of the 37th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2017, held in Neuchâtel, Switzerland, in June 2017, as part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017. The 13 revised full papers presented together with 3 short and 1 tool papers were carefully reviewed and selected from 30 submissions. The papers present a wide range of topics on distributed computing models and formal specification, testing, and verification methods.Programming and Software Engineering,2945-9168 ;10321Computer scienceSoftware engineeringArtificial intelligenceMachine theoryComputer networksComputer Science Logic and Foundations of ProgrammingSoftware EngineeringArtificial IntelligenceFormal Languages and Automata TheoryComputer Communication NetworksComputer science.Software engineering.Artificial intelligence.Machine theory.Computer networks.Computer Science Logic and Foundations of Programming.Software Engineering.Artificial Intelligence.Formal Languages and Automata Theory.Computer Communication Networks.004.36Bouajjani Ahmededthttp://id.loc.gov/vocabulary/relators/edtSilva Alexandraedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK9910484171503321Formal Techniques for Distributed Objects, Components, and Systems2880511UNINA