中国科学院重庆绿色智能技术研究院机构知识库(CSpace): 检索

浏览/检索结果: 共2条，第1-2条

帮助

已选(0)清除条数/页：排序方式：
	Abstraction of elementary hybrid systems by variable transformation 会议论文 20th International Symposium on Formal Methods, FM 2015, Oslo, Norway, June 24, 2015 - June 26, 2015 作者: Liu, Jiang; Zhan, Naijun; Zhao, Hengjun; Zou, Liang Adobe PDF(512Kb) \| 收藏 \| 浏览/下载：53/0 \| 提交时间：2018/03/16
	Capture of atmospheric CO2 into (BiO)2CO3/graphene or graphene oxide nanocomposites with enhanced photocatalytic performance 会议论文作者: Zhang, Wendong; Dong, Fan; Zhang, Wei 收藏 \| 浏览/下载：88/0 \| 提交时间：2020/02/18

中国科学院重庆绿色智能技术研究院机构知识库