खोजी परिणाम

This book constitutes the revised selected papers of the 10th International Symposium on Formal Aspects of Component Software, FACS 2013, held in Nanchang, China, in October 2013. The 19 full papers and three invited talks presented were carefully reviewed and selected from 51 submissions. The pap... थप

This book constitutes the refereed workshop proceedings of the 10th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2020, held in Singapore, in March 2021. The 13 revised full papers included in the volume were carefully reviewed and selected from 24 submis... थप

The book provides an in depth analyses of the experience and lessons in Chinese energy and emissions reductions policies in a climate change constrained scenario. As China emerges as the world second largest economy and first largest carbon emitter, the country is moving onto a low-carbon developme... थप