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

Search Results

Help

Item hits: (Results 1-10 of 10)

Items/Page:    Sort:
并发数据结构的归约和验证 [学位论文]
博士, 北京: 中国科学院研究生院, 2016-05-17
王超
  |  
 
基于运行时数据的程序参数逻辑探测 [学位论文]
硕士, 北京: 中国科学院研究生院, 2014-04-01
林精荐
  |  
 
具有密码学意义的置换多项式的存在性及构造 [学位论文]
博士, 北京: 中国科学院研究生院, 2011-11-21
李永强
  |  
 
Zodiac算法新的Square攻击 [期刊论文]
电子与信息学报, 2010-01-01, 卷号: 32, 期号: 11, 页码: 2790-2794
张鹏; 李瑞林; 李超
  |  
 
可信密码模块符合性测试方法与实施 [期刊论文]
武汉大学学报(理学版), 2009-01-01, 期号: 1, 页码: 31-34
李昊; 冯登国; 陈小峰
  |  
 
无穷状态系统互模拟判定算法 [学位论文]
博士, 中国科学院软件研究所: 中国科学院研究生院, 2008-05-29
陈海燕
  |  
 
基于本体的异构信息集成查询划分及转换 [期刊论文]
软件学报, 2007-01-01, 卷号: 18, 期号: 10, 页码: 2495-2506
李剑; 宋靖宇; 钟华
  |  
 
模式匹配问题的描述框架与算法模型 [期刊论文]
模式识别与人工智能, 2006-01-01, 卷号: 19, 期号: 6, 页码: 715-721
张治; 车皓阳; 施鹏飞
  |  
 
领域本体的形式分析 [学位论文]
博士, 中国科学院软件研究所: 中国科学院软件研究所, 2003-01-01
高颖

 
两类模糊PID控制器的等价性分析 [期刊论文]
系统工程与电子技术, 2002-01-01, 卷号: 24, 期号: 6, 页码: 70-73,77
傅勇; 王宏安
  |  
 

1

 

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