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

Search Results

Help

Item hits: (Results 1-10 of 12)

Filters    
Items/Page:    Sort:
PAR方法和循环不变式的范畴语义 [期刊论文]
计算机工程与应用, 2009-01-01, 卷号: 45, 期号: 8, 页码: 50-54
屈文建; 薛锦云
  |  
 
形式化开发Hanoi塔问题非递归算法 [期刊论文]
计算机工程与应用, 2007-01-01, 期号: 11, 页码: 96-99
石海鹤; 石海鹏; 薛锦云
  |  
 
若干并行计算模型上的N体问题求解算法 [期刊论文]
计算机工程与应用, 2007-01-01, 期号: 10, 页码: 52-54,57
苗乾坤; 孙广中; 李涛; 陈国良
  |  
 
形式化开发Hanoi塔问题非递归算法 [期刊论文]
计算机工程与应用, 2007-01-01, 期号: 11, 页码: 96-99
石海鹤; 石海鹏; 薛锦云
  |  
 
开发等式比较SQL查询语句的一种模型推理方法 [期刊论文]
计算机工程与应用, 2007-01-01, 卷号: 43, 期号: 22, 页码: 99-102,164
杨波; 薛锦云
  |  
 
一种基于模型的并发系统测试目的描述 [期刊论文]
计算机工程与应用, 2007-01-01, 卷号: 43, 期号: 25, 页码: 105-110
刘大光; 林惠民; 吴鹏
  |  
 
使用SPEC#开发高可靠性的算法程序 [期刊论文]
计算机工程与应用, 2006-01-01, 卷号: 42, 期号: 12, 页码: 114-117,130
郑宇军; 马燕; 薛锦云
  |  
 
网络认证协议攻击的非形式化分析 [期刊论文]
计算机工程与应用, 2006-01-01, 期号: 22, 页码: 112-115,142
李静; 肖美华
  |  
 
循环不变式开发新策略及其应用 [期刊论文]
计算机工程与应用, 2006-01-01, 期号: 4, 页码: 105-107,161
石海鹤; 肖正兴; 薛锦云
  |  
 
基于上下文依赖规则覆盖的句子生成 [期刊论文]
计算机工程与应用, 2005-01-01, 卷号: 41, 期号: 17, 页码: 96-100
沈扬; 陈海明
  |  
 

1 2 next

 

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