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

Search Results

Help

Item hits: (Results 81-90 of 408)

Items/Page:    Sort:
Gr-凝聚环的小有限分次投射维数gr.fp.dimR [期刊论文]
数学研究, 2004-01-01, 期号: 3, 页码: 292-298
赵巨涛; 黄寄洪
  |  
 
WebFrame:一种多层次可扩展的Web应用服务器 [期刊论文]
计算机学报, 2004-01-01, 卷号: 27, 期号: 4, 页码: 451-460
范国闯; 林世彪; 董伟川; 胡建华; 冯玉琳
  |  
 
UML与ADL在软件体系结构建模中的应用研究 [期刊论文]
重庆师范大学学报(自然科学版), 2004-01-01, 期号: 4, 页码: 1-6
张广泉; 张玲红
  |  
 
XTRANS:一个XML与关系数据相互转换系统 [期刊论文]
计算机工程与应用, 2004-01-01, 卷号: 40, 期号: 19, 页码: 168-171
谈猛刚; 李剑; 樊会锋; 刑娜
  |  
 
时态逻辑形式化描述并发系统性质 [期刊论文]
海军工程大学学报, 2004-01-01, 卷号: 16, 期号: 5, 页码: 2'10-13
肖美华; 薛锦云
  |  
 
实时绘制带斑纹的毛发 [期刊论文]
计算机辅助设计与图形学学报, 2004-01-01, 卷号: 16, 期号: 9, 页码: 1244-1249
杨刚; 费广正; 吴恩华
  |  
 
消除结构冗余的XML数据库模式规范化设计 [期刊论文]
计算机研究与发展, 2004-01-01, 卷号: 41, 期号: 10, 页码: 1809-1814
吴永辉
  |  
 
一个ad hoc网络中的簇结构模式 [期刊论文]
计算机研究与发展, 2004-01-01, 卷号: 41, 期号: 4, 页码: 674-678
程伟明; 郑健平; 盛凌志
  |  
 
形式化方法B及其程序规约机理 [期刊论文]
计算机工程, 2004-01-01, 卷号: 30, 期号: 16, 页码: 16-18,50
肖美华; 薛锦云
  |  
 
电子数据证据收集系统保护机制的研究与实现 [期刊论文]
电子学报, 2004-01-01, 卷号: 32, 期号: 8, 页码: 1374-1380
孙波; 孙玉芳; 张相锋; 梁彬
  |  
 

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

 

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