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

Search Results

Help

Item hits: (Results 1-4 of 4)

Items/Page:    Sort:
基于启发式方法的带参系统形式化验证 [学位论文]
硕士, 北京: 中国科学院大学, 2016-05-24
段凯强
  |  
 
伪布尔问题的启发式方法及其应用 [学位论文]
硕士, 北京: 中国科学院研究生院, 2013-05-29
于宝新
  |  
 
求解圆形Packing问题的一个启发式算法 [期刊论文]
计算机研究与发展, 2002-01-01, 卷号: 39, 期号: 4, 页码: 410-414
康雁; 黄文奇

 
求解圆形packing问题的启发式方法 [学位论文]
博士, 中国科学院软件研究所: 中国科学院软件研究所, 2002-01-01
康雁
  |  
 

1

 

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