中国科学院机构知识库网格系统: 检索

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

帮助

条数/页：排序方式：
	基于启发式方法的带参系统形式化验证学位论文 OAI收割硕士, 北京: 中国科学院大学, 2016 段凯强 \| 收藏 \| 浏览/下载：10/0 \| 提交时间：2016/05/31 带参系统形式验证启发式方法流图
	基于不变量查找的协议验证学位论文 OAI收割硕士, 北京: 中国科学院研究生院, 2015 曹燊 \| 收藏 \| 浏览/下载：15/0 \| 提交时间：2015/06/23 带参系统缓存一致性
	横断山区高山冰缘带植物繁殖特征和适应策略─以性系统和“绒毛植物”绵参为例学位论文 OAI收割博士, 昆明: 中国科学院大学, 2015 作者: 彭德力收藏 \| 浏览/下载：54/0 \| 提交时间：2017/06/09 传粉生态学繁殖适应高山冰缘带横断山区进化绵参绒毛植物性系统种子萌发
	PaMC带参模型检测工具及其应用研究学位论文 OAI收割硕士, 北京: 中国科学院研究生院, 2013 周琰 \| 收藏 \| 浏览/下载：12/0 \| 提交时间：2013/07/02 带参系统模型检测参数抽象卫士增强 Godson-T缓存一致性协议
	带参并发系统的模型检测学位论文 OAI收割硕士, 中科院软件所: 中科院研究生院, 2009 - \| 收藏 \| 浏览/下载：20/0 \| 提交时间：2009/06/11 带参并发系统，模型检测，缓存一致性协议，数据独立，环境抽象，参数抽象，状态聚类