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

Search Results

Help

Item hits: (Results 1-9 of 9)

Filters    
Items/Page:    Sort:
基于PVS的数据库安全策略形式化分析方法 [会议论文]
首届全国信息安全等级保护技术大会, 桂林, 2012
李昊; 张敏; 王榕

 
静电磁场不规则区域问题的小波插值Galerkin算法 [期刊论文]
计算物理, 2005-01-01, 卷号: 22, 期号: 6, 页码: 539-548
侯霞; 范植华; 顾永耕; 杨鸿波
  |  
 
快速真实地生成树的自然摇曳 [期刊论文]
计算机学报, 2005-01-01, 卷号: 28, 期号: 7, 页码: 1185-1191
柳有权; 王文成; 吴恩华
  |  
 
二维Euler方程无网格算法的精度分析 [期刊论文]
计算力学学报, 2005-01-01, 卷号: 22, 期号: 2, 页码: 232-236
胡世祥; 李磊; 佘春东; 唐智礼
  |  
 
基于匹配跟踪的感知梯度正弦建模方法 [期刊论文]
软件学报, 2003-01-01, 卷号: 14, 期号: 3, 页码: 467-472
张文耀; 许刚; 王裕国
  |  
 
模型检测新技术研究 [期刊论文]
计算机科学, 2003-01-01, 卷号: 30, 期号: 5, 页码: 102-104
戎玫; 张广泉
  |  
 
软件体系结构求精方法研究 [期刊论文]
计算机科学, 2003-01-01, 卷号: 30, 期号: 4, 页码: 108-110
戎玫; 张广泉
  |  
 
一种将设计模式用于程序精化演算的并行程序设计方法研究 [期刊论文]
计算机研究与发展, 2003-01-01, 卷号: 40, 期号: 2, 页码: 318-324
万剑怡; 孙永强; 薛锦云
  |  
 
从多幅参考图像合成目标图像的逆映射算法 [期刊论文]
软件学报, 2001-01-01, 卷号: 12, 期号: 10, 页码: 1464-1471
郑新; 吴恩华

 

1

 

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