机构

• 软件研究所 [3]
• 计算技术研究所 [2]
• 自动化研究所 [2]
• 数学与系统科学研究院 [1]
• 遥感与数字地球研究所 [1]
• 沈阳自动化研究所 [1]
• 更多

采集方式

• OAI收割 [10]

内容类型

• 学位论文 [5]
• 期刊论文 [5]

发表日期

• 2014 [1]
• 2012 [1]
• 2006 [2]
• 2005 [2]
• 2003 [1]
• 2002 [1]
• 更多

学科主题

• 计算机科学技术基础学... [1]
• 计算机科学技术基础学... [1]

筛选

浏览/检索结果: 共10条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择提交时间升序提交时间降序发表日期升序发表日期降序题名升序题名降序作者升序作者降序 逻辑系统的代数状态空间方法的基础、现状及其应用 期刊论文  OAI收割 控制理论与应用, 2014, 页码: 1632 作者:  程代展;  齐洪胜   |  收藏  |   命题动态逻辑及其递归扩展 学位论文  OAI收割 博士, 北京: 中国科学院研究生院, 2012 薛冰天   |  收藏  |   基于动态描述逻辑的多主体协作模型 期刊论文  OAI收割 计算机研究与发展, 2006, 期号: 第8期, 页码: 1317~1322页 作者:  史忠植;  罗杰文;  林 芬;  王茂光   |  收藏  |   基于动态描述逻辑的多主体协作模型 期刊论文  OAI收割 计算机研究与发展, 2006, 卷号: 43.0, 期号: 008, 页码: 1317 作者:  罗杰文;  史忠植;  王茂光;  林芬   |  收藏  |   离散混杂系统的建模和控制方法研究 学位论文  OAI收割 工学博士, 中国科学院自动化研究所: 中国科学院研究生院, 2005 作者:  曾锋 收藏  |   UML活动图的时序逻辑语义 期刊论文  OAI收割 计算机研究与发展, 2005, 卷号: 42, 期号: 9, 页码: 1478-1484 朱雪阳; 唐稚松   |  收藏  |   基于混合逻辑动态的混杂系统建模和控制方法研究 学位论文  OAI收割 工学博士, 中国科学院自动化研究所: 中国科学院研究生院, 2003 作者:  李秀改 收藏  |   基于滑动窗口机制的动态调度问题研究 学位论文  OAI收割 沈阳: 中国科学院沈阳自动化研究所, 2002 作者:  梁炜   |  收藏  |   移动计算形式理论分析与研究 期刊论文  OAI收割 计算机研究与发展, 2000, 卷号: 37, 期号: 2, 页码: 129-139 魏峻; 冯玉琳   |  收藏  |   基于磁盘阵列的遥感卫星数据实时记录系统关键技术的研究 学位论文  OAI收割 硕士, 中国遥感卫星地面站: 中国科学院中国遥感卫星地面站, 1999 胡坚 收藏  |