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

Search Results

Help

Item hits: (Results 81-90 of 95)

Filters    
Items/Page:    Sort:
从RSL到SML的翻译程序 [学位论文]
博士, 中国科学院软件研究所: 中国科学院软件研究所, 2001-01-01
柯韦
  |  
 
高阶时段演算及其完备性 [期刊论文]
中国科学E辑, 2001-01-01, 卷号: 31, 期号: 1, 页码: 71-85
詹乃军
  |  
 
SET协议中问题的分析及解决方案 [期刊论文]
计算机学报, 2000-01-01, 卷号: 23, 期号: 2, 页码: 202-209
陈庆锋; 白硕; 王驹; 张师超; 隋立颖

 
高性能并行数值软件性能优化及存储复杂性研究 [学位论文]
博士, 中科院软件研究所: 中国科学院中科院软件研究所, 2000-01-01
张云泉
  |  
 
面向对象的应用程序编程接口的设计与实现 [学位论文]
博士, 中国科学院软件研究所: 中国科学院软件研究所, 2000-01-01
任德凌
  |  
 
基于进程演算的主体理论及面向主体的软件开发方法研究 [学位论文]
博士, 中国科学院软件研究所: 中国科学院软件研究所, 2000-01-01
焦文品
  |  
 
负载平衡无关的并行程序最适处理器网格选择 [期刊论文]
软件学报, 2000-01-01, 卷号: 11, 期号: 12, 页码: 1674
张云泉; 施巍松
  |  
 
ISDN终端设备的研制 [学位论文]
博士, 中国科学院软件研究所: 中国科学院软件研究所, 1999-01-01
汪荣华
  |  
 
交互系统及其基于XYZ/E的规范与逐步求精 [学位论文]
博士, 中国科学院软件研究所: 中国科学院软件研究所, 1998-01-01
郑小立
  |  
 
COSIX V2.x SCSI驱动程序的设计与实现 [学位论文]
博士, 中国科学院软件研究所: 中国科学院软件研究所, 1998-01-01
金涛
  |  
 

previous 1 2 3 4 5 6 7 8 9 10 next

 

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