Search Results

Item hits: (Results 91-100 of 112)

Items/Page: 5101520253035404550556065707580859095100   Sort: SelectSubmitted Time AscendingSubmitted Time DescendingAuthor AscendingAuthor DescendingTitle AscendingTitle DescendingIssue Date AscendingIssue Date Descending
	基于反例搜索的启发式模型检测算法的研究 [学位论文] 博士, 中国科学院软件研究所: 中国科学院软件研究所, 2004-01-01 施小纯   |
	特洛伊木马隐藏技术研究 [期刊论文] 通信学报, 2004-01-01, 卷号: 25, 期号: 7 张新宇; 卿斯汉; 马恒太; 张楠; 孙淑华; 蒋建春   |
	一种基于构件的软件体系结构求精方法及其应用 [期刊论文] 重庆师范学院学报(自然科学版), 2003-01-01, 卷号: 20, 期号: 2, 页码: 1-5 晏荣杰; 张广泉   |
	一种将设计模式用于程序精化演算的并行程序设计方法研究 [期刊论文] 计算机研究与发展, 2003-01-01, 卷号: 40, 期号: 2, 页码: 318-324 万剑怡; 孙永强; 薛锦云   |
	井发传值进程模型检测工具的数据类型扩展 [学位论文] 博士, 中国科学院软件研究所: 中国科学院软件研究所, 2003-01-01 张轶   |
	一个并发传值系统自动验证工具的图形界面实现 [学位论文] 博士, 中国科学院软件研究所: 中国科学院软件研究所, 2003-01-01 肖颖奇   |
	密码协议的一种基于组合推理的模型验证 [期刊论文] 通信学报, 2003-01-01, 卷号: 24, 期号: 9, 页码: 122-127 刘怡文; 李伟琴; 冯登国   |
	基于PLIB标准面向零件族的零件库信息模型及其表达 [期刊论文] 计算机辅助设计与图形学学报, 2002-01-01, 卷号: 14, 期号: 6, 页码: 598-602 操云甫; 李峰; 韩永生; 戴国忠
	敏捷软件过程的研究 [期刊论文] 计算机研究与发展, 2002-01-01, 卷号: 39, 期号: 11, 页码: 1456-1463 沈备军; 陈诚; 居德华   |
	高可靠软件研究:向信息技术的未来投资 [期刊论文] 中国科学院院刊, 2002-01-01, 卷号: 17, 期号: 6 林惠民   |

previous 1 2 3 4 5 6 7 8 9 10 11 12 next