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

Search Results

Help

Item hits: (Results 1-5 of 5)

Items/Page:    Sort:
Solving Nonlinear SMT Problems Based on an Efficient Lazy Method [期刊论文]
JOURNAL OF INTERNET TECHNOLOGY, 2013-01-01, 卷号: 14, 期号: 3, 页码: 379-386
Ji, Xiaohui; Ma, Feifei

 
efficient simulation of grain burning surface regression [会议论文]
2012 International Conference on Intelligent System and Applied Material, GSAM 2012, Taiyuan, Shanxi, China, January 13, 2012 - January 15, 2012
Liu Youquan; Yin Kangxue; Bao Futing; Liu Yang; Wu Enhua

 
电子数据证据收集系统保护机制的研究与实现 [期刊论文]
电子学报, 2004-01-01, 卷号: 32, 期号: 8, 页码: 1374-1380
孙波; 孙玉芳; 张相锋; 梁彬
  |  
 
Effects of multistage coupling and disk flexibility on mistuned bladed disk dynamics [期刊论文]
Journal of engineering for gas turbines and power, 2003-01-01, 卷号: 125, 期号: 1, 页码: 121-130
BLADH R.; CASTANIER M. P.; PIERRE C.
  |  
 
一种分析电子商务协议的新工具 [期刊论文]
软件学报, 2001-01-01, 卷号: 12, 期号: 9, 页码: 1318-1328
周典萃; 卿斯汉; 周展飞
  |  
 

1

 

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