中国科学院机构知识库网格系统: 检索

浏览/检索结果: 共8条，第1-8条

帮助

条数/页：排序方式：
	现场可编程门阵列（FPGA）异质逻辑与存储互连结构研究学位论文 OAI收割博士, 北京: 中国科学院大学, 2016 黄志洪收藏 \|
	面向无穷数据的形式模型综述期刊论文 OAI收割软件学报, 2016, 卷号: 27, 期号: 3, 页码: 682-690 宋富; 吴志林 \| 收藏 \|
	概率安全评价软件RiskA中的非逻辑处理方法期刊论文 OAI收割原子能科学技术, 2010, 卷号: 044 - \| 收藏 \|
	基于FPGA的红外焦平面阵列实时非均匀性校正学位论文 OAI收割 : 中国科学院研究生院, 2009 作者: 苗丽峰 \| 收藏 \|
	语义Web中描述逻辑本体的可伸缩推理和非一致处理学位论文 OAI收割博士, 软件研究所: 中国科学院软件研究所, 2009 杜剑峰 \| 收藏 \|
	一种基于离散时间自动机的LTL性质检测工具期刊论文 OAI收割计算机仿真, 2008, 期号: 4, 页码: 80-83 张文亮; 彭云全收藏 \|
	一种新型的非否认协议期刊论文 OAI收割软件学报, 2000, 卷号: 11, 期号: 10, 页码: 1338-1343 卿斯汉 \| 收藏 \|
	标记逻辑程序理论研究:说明语义与过程语义学位论文 OAI收割工学博士, 中国科学院自动化研究所: 中国科学院自动化研究所, 1994 作者: 周生炳收藏 \|