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

Search Results

Help

Item hits: (Results 1-6 of 6)

Items/Page:    Sort:
数据流决策树分类算法的研究与应用 [学位论文]
硕士, 北京: 中国科学院大学, 2014-05-26
侯旭珊
  |  
 
命题动态逻辑及其递归扩展 [学位论文]
博士, 北京: 中国科学院研究生院, 2012-06-01
薛冰天
  |  
 
组合优化问题简约与算法推演 [期刊论文]
Journal of Software, 2011-01-01, 卷号: 22, 期号: 9, 页码: 1985-1993
郑宇军; 薛锦云; 凌海风

 
基于PAR的高可信装备保障算法推演 [学位论文]
硕士, 北京: 中国科学院研究生院, 2009-01-01
郑宇军
  |  
 
地震应急处置推演训练系统研究 [期刊论文]
自然灾害学报, 2008-01-01, 卷号: 17, 期号: 4, 页码: 137-142
王东明; 张华; 徐永志
  |  
 
面向传值进程的谓词μ-演算与FO(HML)的完备推演系统 [期刊论文]
计算机学报, 2002-01-01, 卷号: 25, 期号: 6
薛锐; 林惠民
  |  
 

1

 

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