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

Search Results

Help

Item hits: (Results 1-10 of 17)

Items/Page:    Sort:
PLA的划分与折叠 [学位论文]
博士, 中国科学院软件研究所: 中国科学院软件研究所, 1987-01-01
过正均
  |  
 
多版本关系数据库系统的若干问题的探讨 [学位论文]
博士, 中国科学院软件研究所: 中国科学院软件研究所, 1987-01-01
刘东旭
  |  
 
OSI运输层软件设计与实现 [学位论文]
博士, 中国科学院软件研究所: 中国科学院软件研究所, 1987-01-01
赵旻
  |  
 
PROLOG在XYZ系统中的作用 [学位论文]
博士, 中国科学院软件研究所: 中国科学院软件研究所, 1987-01-01
谢汉东
  |  
 
代码自动生成系统CGG的研究与实现 [学位论文]
博士, 中国科学院软件研究所: 中国科学院软件研究所, 1987-01-01
王用宁
  |  
 
R.E.度上半格的结构性质 [学位论文]
博士, 中国科学院软件研究所: 中国科学院软件研究所, 1987-01-01
眭跃飞
  |  
 
关于多项式界计算的一些结果 [学位论文]
博士, 中国科学院软件研究所: 中国科学院软件研究所, 1987-01-01
杨竞辉
  |  
 
以DG语法模型为基础的机器翻译系统的研究和实现 [学位论文]
博士, 中国科学院软件研究所: 中国科学院软件研究所, 1987-01-01
汪劲
  |  
 
Trace theory [专著章节/文集论文]
出自: Lecture Notes in Computer Science, Berlin / Heidelberg:Springer Berlin / Heidelberg, 1987-01-01
Antoni Mazurkiewicz
  |  
 
Prespecification in data refinement [期刊论文]
Information Processing Letters, 1987-01-01, 卷号: 25, 期号: 2, 页码: 71 - 76
C.A.R.Hoare; Jifeng He; J.W.Sanders
  |  
 

1 2 next

 

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