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

Search Results

Help

Item hits: (Results 51-60 of 162)

Items/Page:    Sort:
PAR方法和循环不变式的范畴语义 [期刊论文]
计算机工程与应用, 2009-01-01, 卷号: 45, 期号: 8, 页码: 50-54
屈文建; 薛锦云
  |  
 
模型论在代数上的应用 [期刊论文]
数学研究, 2009-01-01, 期号: 3, 页码: 269-274
童雪; 李永强
  |  
 
新兴电子商务中的安全问题 [期刊论文]
信息系统学报, 2009-01-01, 期号: 1, 页码: 103
冯登国
  |  
 
超图多级划分算法框架及对划分结果的多阶段优化 [期刊论文]
计算机工程与设计, 2009-01-01, 卷号: 30, 期号: 4, 页码: 800
卢玥; 曹建文
  |  
 
同步数据流模型调度序列的空间优化 [期刊论文]
计算机工程与应用, 2009-01-01, 卷号: 45, 期号: 3, 页码: 198-201
刘国鑫; 谭国强; 贺也平
  |  
 
基于路径分析的死循环检测 [期刊论文]
计算机学报, 2009-01-01, 卷号: 32, 期号: 9, 页码: 1750-1758
阮辉; 严俊; 张健
  |  
 
桌面环境下的笔式三维交互框架 [期刊论文]
计算机工程与应用, 2009-01-01, 卷号: 45, 期号: 6, 页码: 38-42
付永刚; 安维华; 戴国忠
  |  
 
服务发现机制的设计与实现 [学位论文]
博士, 软件研究所: 中国科学院软件研究所, 2008-06-07
张发恩
  |  
 
基于WorkManager的Web应用服务器并发运行环境的设计与实现 [学位论文]
博士, 软件研究所: 中国科学院软件研究所, 2008-06-06
张磊

 
基于I-Match算法的垃圾邮件过滤研究 [学位论文]
硕士, 中国科学院软件研究所: 中国科学院研究生院, 2008-06-04
招立军
  |  
 

previous 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 next

 

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