中国开放科研知识云: 检索

验证码:

换一张

忘记密码？记住我

取消登录

CORC

首页
科研机构
检索
知识图谱
申请加入
托管服务

在结果中检索

科研机构

软件研究所 [8]

清华大学 [2]

北京大学 [2]

广西民族大学 [1]

兰州大学 [1]

成都山地灾害与环境研... [1]

内容类型

期刊论文 [15]

会议论文 [2]

学位论文 [1]

发表日期

学科主题

Computer S... [1]

computer p... [1]

知识图谱

CORC

已提交作品

待认领作品

已认领作品

未提交全文

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

帮助

已选(0)清除条数/页：排序方式：
	Fluidized-bed gasification combined continuous sorption-enhanced steam reforming system to continuous hydrogen production from waste plastic 期刊论文 INTERNATIONAL JOURNAL OF HYDROGEN ENERGY, 2016, 卷号: 41, 期号: 6, 页码: 3803-3810 作者: Dou, Binlin; Wang, Kaiqiang; Jiang, Bo; Song, Yongchen; Zhang, Chuan 收藏 \| 浏览/下载：19/0 \| 提交时间：2016/10/10 Fluidized-bed gasification (FBG) Sorption-enhanced steam reforming (SERP) Hydrogen production Waste plastic (WP)
	Stochastic Process Algebra with Value-Passing and Weak Time Restrictions 期刊论文 2015, 2015 Guang Zheng; Jinzhao Wu; Aiping Lu 收藏 \| 浏览/下载：5/0 \| 提交时间：2017/06/19 stochastic process algebra value passing equivalence bisimulation weak time restriction
	Dicarboxylic acids, ketocarboxylic acids, alpha-dicarbonyls, fatty acids and benzoic acid in PM2.5 aerosol collected during CAREBeijing-2007: an effect of traffic restriction on air quality 期刊论文 ATMOSPHERIC CHEMISTRY AND PHYSICS, 2015, 卷号: 15, 期号: 6, 页码: 3111-3123 作者: Huang, R. -J.; Ho, K. F.; Tian, L.; Zhu, T.; Ho, S. S. H. 收藏 \| 浏览/下载：10/0 \| 提交时间：2018/11/08
	Dicarboxylic acids, ketocarboxylic acids, alpha-dicarbonyls, fatty acids and benzoic acid in PM2.5 aerosol collected during CAREBeijing-2007: an effect of traffic restriction on air quality 期刊论文 ATMOSPHERIC CHEMISTRY AND PHYSICS, 2015 Ho, K. F.; Huang, R.J.; Kawamura, K.; Tachibana, E.; Lee, S. C.; Ho, S. S. H.; Zhu, T.; Tian, L. 收藏 \| 浏览/下载：4/0 \| 提交时间：2017/12/03 POLYCYCLIC AROMATIC-HYDROCARBONS WESTERN UNITED-STATES FINE ORGANIC AEROSOL MOLECULAR-DISTRIBUTIONS ATMOSPHERIC PARTICLES SEASONAL-VARIATIONS POLLUTION EPISODE MARINE ATMOSPHERE URBAN ATMOSPHERE EAST-ASIA
	贡嘎山峨眉冷杉生态系统水碳关系及时空分异机制学位论文博士, 北京: 中国科学院研究生院, 2013 作者: 孙向阳收藏 \| 浏览/下载：86/0 \| 提交时间：2014/07/21
	Value-passing CCS with noisy channels 期刊论文理论计算机科学, 2012 Huang, Shuqin; Cao, Yongzhi; Wang, Hanpin; Qu, Wanling 收藏 \| 浏览/下载：5/0 \| 提交时间：2015/11/12 Barbed congruence Bisimilarity Noisy channel Probabilistic modal logic Value-passing CCS EXPANSIVE EPSILON-BISIMULATIONS MOBILE PROCESSES PROBABILISTIC PROCESSES INFORMATION LEAKAGE PI-CALCULUS SYSTEMS COMMUNICATION VERIFICATION EQUIVALENCES HIERARCHY
	pi-calculus with noisy channels 期刊论文 2010, 2010, OCT Ying, MS 收藏 \| 浏览/下载：1/0 \| 提交时间：2017/06/15 COMMUNICATING SEQUENTIAL PROCESSES PROBABILISTIC PROCESSES UNRELIABLE CHANNELS MATHEMATICAL-THEORY VERIFICATION SYSTEMS PROGRAMS BISIMULATION CONGRUENCE MODELS Computer Science, Information Systems
	Probabilistic bisimulations for quantum processes 期刊论文 2010, 2010 Feng, Yuan; Duan, Runyao; Ji, Zhengfeng; Ying, Mingsheng 收藏 \| 浏览/下载：2/0
	An empirical model for surface wind stress response to SST forcing induced by tropical Instability waves (TIWs) in the eastern equatorial Pacific 期刊论文 MONTHLY WEATHER REVIEW, 2009, 卷号: 137, 期号: 6, 页码: 2021-2046 作者: Zhang Ronghua 收藏 \| 浏览/下载：20/0 \| 提交时间：2014/08/28 NUMERICAL WEATHER PREDICTION INTERMEDIATE COUPLED MODEL OCEAN-ATMOSPHERE MODEL INTERANNUAL VARIABILITY SATELLITE MEASUREMENTS HEAT-BUDGET LONG WAVES TEMPERATURE SIMULATIONS IMPACT
	Stochastic Process Algebra with Value-Passing 会议论文 International Conference on Computer Science and Software Engineering, CSSE 2008, Wuhan, Hubei, China, December 12, 2008 - December 14, 2008 作者: Guang, Zheng; Jinzhao, Wu; Lian, Li 收藏 \| 浏览/下载：5/0 \| 提交时间：2017/01/18 Algebra Computer programming languages Random processes Semantics Software engineering Stochastic systems Bisimulations Concurrent systems Operational semantics Process algebras Process expression Sstochastic process algebra Stochastic process algebras Value passing

相关链接
欧盟学术资源开放存取平台
CALIS高校机构知识库
台湾学术机构典藏
香港机构知识库整合系统
中国科学院机构知识库网格系统

CORC
关于我们
服务条款
隐私条款

联系我们
0931-8270076
cspace@llas.ac.cn
China-OR

中文简体

©版权所有 ©2017 CSpace - Powered by CSpace