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

Search Results

Help

Item hits: (Results 1-10 of 13)

Items/Page:    Sort:
栅格转矢量的改进算法及应用 [期刊论文]
计算机工程与设计, 2008-01-01, 卷号: 29, 期号: 13, 页码: 3394-3395,3398
焦明勇; 苏鸿根
  |  
 
BPMN到BPEL2.0的模型转换方法 [期刊论文]
计算机应用研究, 2008-01-01, 卷号: 25, 期号: 11, 页码: 3363-3366
魏明; 夏永霖; 魏峻
  |  
 
基于凸剖分的多边形窗口线裁剪算法 [期刊论文]
计算机辅助设计与图形学学报, 2007-01-01, 卷号: 19, 期号: 4, 页码: 425-429
李静; 王文成; 吴恩华
  |  
 
survey of information security [期刊论文]
SCIENCE IN CHINA SERIES F-INFORMATION SCIENCES, 2007-01-01, 卷号: 50, 期号: 3, 页码: 273-298
Shen ChangXiang; Zhang HuangGuo; Feng Dengguo; Cao Zhenfu; Huang Jiwu
  |  
 
绘制大规模场景的可见性计算技术 [期刊论文]
计算机辅助设计与图形学学报, 2006-01-01, 卷号: 18, 期号: 2, 页码: 161-169
王文成; 魏峰; 吴恩华
  |  
 
快速真实地生成树的自然摇曳 [期刊论文]
计算机学报, 2005-01-01, 卷号: 28, 期号: 7, 页码: 1185-1191
柳有权; 王文成; 吴恩华
  |  
 
时态逻辑形式化描述并发系统性质 [期刊论文]
海军工程大学学报, 2004-01-01, 卷号: 16, 期号: 5, 页码: 2'10-13
肖美华; 薛锦云
  |  
 
形式化方法B及其程序规约机理 [期刊论文]
计算机工程, 2004-01-01, 卷号: 30, 期号: 16, 页码: 16-18,50
肖美华; 薛锦云
  |  
 
基于SPIN/Promela的并发系统验证 [期刊论文]
计算机科学, 2004-01-01, 卷号: 31, 期号: 8, 页码: 201-203,208
肖美华; 薛锦云
  |  
 
面向业务过程重组的企业参考模型运用 [期刊论文]
技术经济与管理研究, 2004-01-01, 期号: 4, 页码: 53-54
邵晨曦; 祁国宁; 顾新建; 韩永生
  |  
 

1 2 next

 

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