计算机研究与发展 1985年 22卷 10期

栏目

选择全部

时序逻辑程序的证明系统

冯玉琳, 林惠民, 唐稚松

1985, 22(10): 1-9,52.

摘要

实现不同系列机程序兼容的仿真系统的设计

王鼎兴, 沈美明, 郑纬民, 李家瑛

1985, 22(10): 10-16.

摘要

高速多功能流水运算部件的微程序设计

方信我

1985, 22(10): 17-22.

摘要

编译程序的范式结构及用属性文法进行编译程序设计(上)

屈延文

1985, 22(10): 23-36.

摘要

计算机网络拓扑(上)

陈国良

1985, 22(10): 37-45,36.

摘要

局部区域网络的技术与实现

熊发骥

1985, 22(10): 46-52.

摘要

GF20/11A汉字微型计算机系统的显示控制器

戴庆元, 王茂杰

1985, 22(10): 53-57,65.

摘要

三维空间投影变换与计算机编制地貌轴测投影立体图方法

刘书楼, 陈宝雯

1985, 22(10): 58-65.

摘要