CORC

在结果中检索

CORC

浏览/检索结果: 共7条，第1-7条 帮助

限定条件    
已选(0)清除 条数/页：   排序方式：
网络社区结构的刻画与查找: 局部视角 学位论文
博士, 北京: 中国科学院大学, 2013
彭攀
收藏  |  浏览/下载：19/0  |  提交时间：2013/05/31
基于带赋值符号迁移图的Monte Carlo模型检测 学位论文
硕士, 北京: 中国科学院研究生院, 2012
马明
收藏  |  浏览/下载：16/0  |  提交时间：2012/06/13
网络编程逻辑抽象 学位论文
博士, 北京: 中国科学院研究生院, 2010
汪芳
收藏  |  浏览/下载：20/0  |  提交时间：2010/12/02
带时间约束的LTL公式的模型检测技术及工具实现 学位论文
硕士, 北京: 中国科学院研究生院, 2010
部德振
收藏  |  浏览/下载：13/0  |  提交时间：2010/06/08
卫命令模型检测工具的设计与实现 学位论文
硕士, 北京: 中国科学院研究生院, 2010
王绍春
收藏  |  浏览/下载：16/0  |  提交时间：2010/06/07
基于一阶迁移系统的限界模型检测工具实现 学位论文
硕士, 中国科学院研究生院: 中国科学院研究生院, 2009
冯庆奎
收藏  |  浏览/下载：10/0  |  提交时间：2009/06/12
一种用以构建分析结构化小世界网络的虚拟环模型 期刊论文
信息技术快报, 2009, 卷号: 7, 期号: 2, 页码: 1
作者:  孙晓平;  诸葛海
收藏  |  浏览/下载：8/0  |  提交时间：2009/12/03

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