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

Search Results

Help

Item hits: (Results 1-4 of 4)

Items/Page:    Sort:
带参的相继式演算 [学位论文]
硕士, 北京: 中国科学院研究生院, 2012-05-31
纪开亮
  |  
 
基于扩展自动机的服务组合静态与动态验证方法 [期刊论文]
通信学报, 2012-01-01, 期号: S1, 页码: 1-8
张广泉; 狄浩军; 石慧娟; 晏荣杰; 朱雪阳

 
关于可满足性问题的一些研究及其在模型检测中的应用 [学位论文]
博士, 北京: 中国科学院研究生院, 2010-05-31
陈伟
  |  
 
基于ICU的复杂文本布局引擎设计与跨平台应用研究 [期刊论文]
计算机应用研究, 2007-01-01, 卷号: 24, 期号: 2, 页码: 219
周扬荣; 贾彦民; 吴健
  |  
 

1

 

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