World energy consumption pattern as revealed by DMSP-OLS nighttime light imagery
- 期刊名称GIScience & Remote Sensing
- 作者Xie, Yanhua; Weng, Qihao
- 印刷ISSN1548-1603
- 电子ISSN1943-7226
- 文件大小1732.48KB
- 发表时间2015-11-26
- DOI10.1080/15481603.2015.1124488
Program Logics for Certified Compilers || IntroductionAppel, Andrew W.; Dockins, Robert; Hobor, Aquinas; Beringer, Lennart; Dodds, Josiah; Stewart, Gordon; Blazy, Sandrine; Leroy, Xavier · 2014
Program Logics for Certified Compilers || CompCertAppel, Andrew W.; Dockins, Robert; Hobor, Aquinas; Beringer, Lennart; Dodds, Josiah; Stewart, Gordon; Blazy, Sandrine; Leroy, Xavier · 2014
Program Logics for Certified Compilers || ApplicationsAppel, Andrew W.; Dockins, Robert; Hobor, Aquinas; Beringer, Lennart; Dodds, Josiah; Stewart, Gordon; Blazy, Sandrine; Leroy, Xavier · 2014
Program Logics for Certified Compilers || BibliographyAppel, Andrew W.; Dockins, Robert; Hobor, Aquinas; Beringer, Lennart; Dodds, Josiah; Stewart, Gordon; Blazy, Sandrine; Leroy, Xavier · 2014
Program Logics for Certified Compilers || Road mapAppel, Andrew W.; Dockins, Robert; Hobor, Aquinas; Beringer, Lennart; Dodds, Josiah; Stewart, Gordon; Blazy, Sandrine; Leroy, Xavier · 2014
Program Logics for Certified Compilers || Hoare logicAppel, Andrew W.; Dockins, Robert; Hobor, Aquinas; Beringer, Lennart; Dodds, Josiah; Stewart, Gordon; Blazy, Sandrine; Leroy, Xavier · 2014
Program Logics for Certified Compilers || Separation logicAppel, Andrew W.; Dockins, Robert; Hobor, Aquinas; Beringer, Lennart; Dodds, Josiah; Stewart, Gordon; Blazy, Sandrine; Leroy, Xavier · 2014
Program Logics for Certified Compilers || Separation algebrasAppel, Andrew W.; Dockins, Robert; Hobor, Aquinas; Beringer, Lennart; Dodds, Josiah; Stewart, Gordon; Blazy, Sandrine; Leroy, Xavier · 2014