机构

• 软件研究所 [26]
• 计算技术研究所 [5]
• 数学与系统科学研究院 [2]
• 紫金山天文台 [2]
• 长春光学精密机械与物... [1]
• 上海微系统与信息技术... [1]
• 更多

采集方式

• OAI收割 [38]

内容类型

• 期刊论文 [27]
• 学位论文 [11]

发表日期

• 2016 [1]
• 2012 [1]
• 2011 [1]
• 2007 [2]
• 2005 [1]
• 2004 [1]
• 更多

学科主题

• 天文和天体物理 [2]
• Computer S... [1]
• 红外系统与元部件 [1]

筛选

浏览/检索结果: 共38条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择提交时间升序提交时间降序发表日期升序发表日期降序题名升序题名降序作者升序作者降序 面向无穷数据的形式模型综述 期刊论文  OAI收割 软件学报, 2016, 卷号: 27, 期号: 3, 页码: 682-690 宋富; 吴志林   |  收藏  |   The correspondence between the concepts in description logics for contexts and formal concept analysis 期刊论文  OAI收割 中国科学：信息科学（英文版）, 2012, 卷号: 55.0, 期号: 005, 页码: 1106 作者:  Ma Yue;  Sui Yuefei;  Cao Cungen   |  收藏  |   P2P信任模型中基于模糊逻辑的共谋团体识别方法 期刊论文  OAI收割 计算机研究与发展, 2011, 卷号: 48, 期号: 12, 页码: 2187-2200 苗光胜; 冯登国; 苏璞睿   |  收藏  |   加密技术在空间对地观测卫星上的研究与应用 学位论文  OAI收割 : 中国科学院研究生院, 2007 作者:  高军   |  收藏  |   双重软件体系结构描述框架XYZ/ADL 期刊论文  OAI收割 计算机研究与发展, 2007, 卷号: 44, 期号: 9, 页码: 1485-1494 朱雪阳   |  收藏  |   UML活动图的时序逻辑语义 期刊论文  OAI收割 计算机研究与发展, 2005, 卷号: 42, 期号: 9, 页码: 1478-1484 朱雪阳; 唐稚松   |  收藏  |   基于SPIN/Promela的并发系统验证 期刊论文  OAI收割 计算机科学, 2004, 卷号: 31, 期号: 8, 页码: 201-203,208 肖美华; 薛锦云   |  收藏  |   一种基于FPGA的实时图像处理系统 期刊论文  OAI收割 长春工业大学学报(自然科学版), 2003, 期号: 04, 页码: 50-52 作者:  闫丰 收藏  |   一种基于构件的软件体系结构求精方法及其应用 期刊论文  OAI收割 重庆师范学院学报(自然科学版), 2003, 卷号: 20, 期号: 2, 页码: 1-5 晏荣杰; 张广泉   |  收藏  |   三机冗余容错系统的描述和验证 期刊论文  OAI收割 软件学报, 2003, 卷号: 14, 期号: 1 郭亮; 唐稚松   |  收藏  |