计算机研究与发展 1991年 28卷 2期

栏目

选择全部

广谱规格说明语言FGSPEC的设计

吕建

1991, 28(2): 1-5.

摘要

UP的相对完全性

吕义忠, 孙慧澄

1991, 28(2): 6-11.

摘要

固件开发环境的重定向与移植问题的一种解决途径

姜恒远, 陈华生

1991, 28(2): 12-14.

摘要

OS/2虚存管理机制的分析与研究

钱培德

1991, 28(2): 15-19,11.

摘要

分布式信息系统的授权算法设计

吴振容

1991, 28(2): 20-26.

摘要

循环交换与递归消除

高念书

1991, 28(2): 27-34.

摘要

一个基于类型理论的自动程序设计系统

尹红兵, 郭福顺

1991, 28(2): 35-39.

摘要

HYPERTEXT:电子文件

刘衍珩

1991, 28(2): 40-45,26.

摘要

采用FAN算法的组合电路测试生成系统

王新玲, 王占宁

1991, 28(2): 46-50.

摘要

非单调启发式推理系统

王元元

1991, 28(2): 51-57.

摘要

MEX:一个专家系统开发工具

万建成, 周澄华

1991, 28(2): 58-62.

摘要

谈谈“小球”病毒的检测与消除

王伟

1991, 28(2): 63-65,39.

摘要