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

Search Results

Help

Item hits: (Results 1-10 of 30)

Filters    
Items/Page:    Sort:
基于结构信息的数据分析原理与技术 [学位论文]
博士, 北京: 中国科学院大学, 2019-05-01
殷宪晨
  |  
 
并发数据结构的归约和验证 [学位论文]
博士, 北京: 中国科学院研究生院, 2016-05-17
王超
  |  
 
带参的相继式演算 [学位论文]
硕士, 北京: 中国科学院研究生院, 2012-05-31
纪开亮
  |  
 
PAR中泛型约束机制的设计与实现 [学位论文]
博士, 北京: 中国科学院大学, 2011-07-01
左正康
  |  
 
一种基于ACME的面向方面软件体系结构设计方法 [期刊论文]
苏州大学学报(工科版), 2011-01-01, 期号: 2, 页码: 6-13
刘长林; 张广泉; 黄静
  |  
 
SRL→Radl生成系统及其相关理论研究 [学位论文]
博士, 北京: 中国科学院研究生院, 2010-09-01
王昌晶
  |  
 
改进的以SMT为基础的实时系统限界模型检测 [期刊论文]
软件学报, 2010-01-01, 卷号: 21, 期号: 7, 页码: 1491-1502
徐亮
  |  
 
后序遍历二叉树非递归算法的推导及形式化证明 [期刊论文]
计算机工程与科学, 2010-01-01, 卷号: 32, 期号: 3, 页码: 119-123
左正康; 游珍; 薛锦云
  |  
 
特定类有穷结构上的逻辑的表达能力 [学位论文]
硕士, 中科院软件所5号楼337: 中科院软件所, 2009-06-03
周翔
  |  
 
微结构级缓存一致性协议的模型检测 [会议论文]
郑涛
  |  
 

1 2 3 next

 

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