Search Results

Item hits: (Results 71-80 of 251)

Items/Page: 5101520253035404550556065707580859095100   Sort: SelectIssue Date AscendingIssue Date DescendingTitle AscendingTitle DescendingAuthor AscendingAuthor DescendingSubmitted Time AscendingSubmitted Time Descending
	基于安全芯片的防伪数码相机 [期刊论文] 计算机工程与设计, 2010-01-01, 卷号: 31, 期号: 7, 页码: 1591-1594 罗应文; 王哲; 苏鸿根   |
	基于Yices对时间自动机的有界模型检测 [期刊论文] 计算机工程与设计, 2010-01-01, 卷号: 31, 期号: 1, 页码: 126-129 王晓亮   |
	基于一阶迁移系统的限界模型检测工具实现 [期刊论文] 计算机工程与设计, 2010-01-01, 卷号: 31, 期号: 1, 页码: 118-121,136 冯庆奎   |
	基于二进制补丁比对的软件输入数据自动构造 [期刊论文] 计算机工程与设计, 2010-01-01, 卷号: 31, 期号: 14, 页码: 3169-3173 沈亚楠; 赵荣彩; 任华; 王小芹; 刘振华; 张新宇; 李鹏飞   |
	基于样本程序的领域开发平台的研究与实践 [期刊论文] 计算机工程与设计, 2010-01-01, 卷号: 31, 期号: 18, 页码: 3979-3982 袁伟民; 左春   |
	基于Gabor小波的渐进式着色算法 [期刊论文] 计算机工程与设计, 2010-01-01, 卷号: 31, 期号: 6, 页码: 1327-1329,1334 陈顺斌   |
	基于虚拟机执行过程重放的热迁移系统研究 [期刊论文] 计算机工程与设计, 2010-01-01, 卷号: 31, 期号: 19, 页码: 4213-4217 胡晓昌; 丁丽萍; 武延军   |
	基于COQUALMO的缺陷预测与校准工具的设计与实现 [期刊论文] 计算机工程与设计, 2010-01-01, 期号: 14, 页码: 3185-3188,3325 库燕; 杨叶; 李奇   |
	分布式仿真系统中的数据传输研究 [期刊论文] 计算机工程与设计, 2010-01-01, 卷号: 31, 期号: 1, 页码: 56-59,63 陈晓怡; 吕品; 王宇心   |
	对时间自动机进行空性检测的过程和改进 [期刊论文] 计算机工程与设计, 2010-01-01, 卷号: 31, 期号: 1, 页码: 122-125 魏绪凯   |

previous 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 next