中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR

Search Results

Help

Item hits: (Results 1-10 of 38)

Items/Page:    Sort:
不动点逻辑中的模型构造与推演系统的完备性 [学位论文]
博士, 北京: 中国科学院研究生院, 2012-05-31
屈楠
  |  
 
基于草图的超视频构造方法及关键技术研究 [期刊论文]
计算机研究与发展, 2011-01-01, 卷号: 48, 期号: 2, 页码: 289-295
杨海燕; 陈佳; 马翠霞; 何利力; 滕东兴; 戴国忠; 王宏安
  |  
 
基于二进制补丁比对的软件输入数据自动构造 [期刊论文]
计算机工程与设计, 2010-01-01, 卷号: 31, 期号: 14, 页码: 3169-3173
沈亚楠; 赵荣彩; 任华; 王小芹; 刘振华; 张新宇; 李鹏飞
  |  
 
语义Web服务组合一致性验证及案例研究 [学位论文]
硕士, 中国科学院软件研究所: 中国科学院研究生院, 2008-06-04
石玉祥
  |  
 
RuVisen:一个按需构造的信息安全试验平台的设计与实现 [学位论文]
硕士, 中国科学院软件研究所: 中国科学院研究生院, 2008-06-04
王宇
  |  
 
用于软件开发工作量估算的IOP模型 [期刊论文]
计算机工程与设计, 2008-01-01, 卷号: 29, 期号: 4, 页码: 784-788,796
汤子楠; 舒风笛
  |  
 
带纹理映射的牙膏体构造法及其OpenGL实现 [期刊论文]
计算机工程与设计, 2008-01-01, 卷号: 29, 期号: 18, 页码: 4762-4764
周莉; 苏鸿根
  |  
 
一个基于单向散列函数的实用等级密钥管理方案 [期刊论文]
北京大学学报(自然科学版), 2008-01-01, 卷号: 44, 期号: 4, 页码: 527-536
韩心慧; 龙勤; 司端锋; 诸葛建伟; 叶志远
  |  
 
基于价值的软件测试工作量估算模型 [期刊论文]
计算机工程与设计, 2008-01-01, 卷号: 29, 期号: 3, 页码: 544-546,682
万郁香; 舒风笛
  |  
 
一种新的授权数据管理方案 [期刊论文]
武汉大学学报(理学版), 2007-01-01, 卷号: 53, 期号: 5, 页码: 518-522
张兴; 张晓菲; 刘毅; 沈昌祥
  |  
 

1 2 3 4 next

 

Valid XHTML 1.0!
Copyright © 2007-2019  中国科学院软件研究所 - Feedback
Powered by CSpace