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

Search Results

Help

Item hits: (Results 1-10 of 20)

Filters    
Items/Page:    Sort:
EclipseML 可视化编辑器的设计与实现 [学位论文]
博士, 软件研究所: 中国科学院软件研究所, 2007-06-08
李欢欢
  |  
 
三层交换机的软件及其优化 [学位论文]
博士, 软件研究所: 中国科学院软件研究所, 2007-06-06
陈斯迅
  |  
 
以太网三层交换机关键技术的研究与实现 [学位论文]
博士, 软件研究所: 中国科学院软件研究所, 2006-06-05
杨贺
  |  
 
一种基于中间格式表示的可复用程序分析系统 [学位论文]
博士, 软件研究所: 中国科学院软件研究所, 2006-06-02
郑瑶海
  |  
 
形式规约语言LFC的实现和应用研究 [学位论文]
博士, 中国科学院软件研究所: 中国科学院软件研究所, 2004-01-01
黄文集
  |  
 
基于STGA的并发程序测试 [学位论文]
博士, 中国科学院软件研究所: 中国科学院软件研究所, 2004-01-01
唐江峻
  |  
 
Horn逻辑程序和形式文法之间的对应关系 [学位论文]
博士, 中国科学院软件研究所: 中国科学院软件研究所, 2003-01-01
陈文彬
  |  
 
多平台下嵌入式Linux的调试及驱动程序开发 [学位论文]
博士, 中国科学院软件研究所: 中国科学院软件研究所, 2003-01-01
毛碧波
  |  
 
从RSL到SML的翻译程序 [学位论文]
博士, 中国科学院软件研究所: 中国科学院软件研究所, 2001-01-01
柯韦
  |  
 
高性能并行数值软件性能优化及存储复杂性研究 [学位论文]
博士, 中科院软件研究所: 中国科学院中科院软件研究所, 2000-01-01
张云泉
  |  
 

1 2 next

 

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