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

Search Results

Help

Item hits: (Results 91-100 of 162)

Items/Page:    Sort:
一致性测试中的时间约束及测试用例生成算法 [期刊论文]
西安交通大学学报, 2006-01-01, 卷号: 40, 期号: 4, 页码: 381-385
赵保华; 柯尧
  |  
 
循环不变式开发新策略及其应用 [期刊论文]
计算机工程与应用, 2006-01-01, 期号: 4, 页码: 105-107,161
石海鹤; 肖正兴; 薛锦云
  |  
 
需求驱动的Web服务建模及其验证:一个基于本体的方法 [期刊论文]
中国科学E辑, 2006-01-01, 卷号: 36, 期号: 10, 页码: 1189-1219
侯丽珊; 金芝; 吴步丹
  |  
 
SMP集群系统上可扩展并行特征问题求解器研究 [期刊论文]
计算机工程, 2006-01-01, 卷号: 32, 期号: 19, 页码: 3-5
赵永华; 迟学斌; 姜金荣
  |  
 
虚拟环境下基于语义的三维交互技术 [期刊论文]
软件学报, 2006-01-01, 卷号: 17, 期号: 7, 页码: 1535-1543
纪连恩; 张凤军; 付永刚; 戴国忠
  |  
 
实体Bean容器管理持久化研究与实现 [期刊论文]
计算机科学, 2005-01-01, 卷号: 32, 期号: 4, 页码: 173-177
胡建华; 官荷卿; 陈宁江
  |  
 
数字化时代的网上编辑部 [期刊论文]
中国科技期刊研究, 2005-01-01, 卷号: 16, 期号: 4, 页码: 517-519
方梅
  |  
 
广义向量Bent函数 [期刊论文]
电子与信息学报, 2005-01-01, 卷号: 27, 期号: 1, 页码: 119-122
张文英; 武传坤; 黄晓英; 李世取
  |  
 
基于领域本体的半结构化文本知识自动获取方法的设计和实现 [期刊论文]
计算机学报, 2005-01-01, 卷号: 28, 期号: 12, 页码: 2010-2018
王海涛; 曹存根; 高颖
  |  
 
超量外存地表模型的实时绘制技术 [期刊论文]
计算机辅助设计与图形学学报, 2005-01-01, 卷号: 17, 期号: 10, 页码: 2196-2202
吴金钟; 刘学慧; 吴恩华
  |  
 

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

 

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