计算机研究与发展 1981年 18卷 9期

栏目

选择全部

程序验证机械化的进一步探讨

胡久清, 何炎祥, 李卫华

1981, 18(9): 1-4.

摘要

N·Wirth, 徐家福

1981, 18(9): 5-17.

摘要

计算机辅助同步时序电路设计的算法(上)

韩俊刚

1981, 18(9): 18-27.

摘要

B树及其在文件组织中的应用

王珊, 吴鸥琦

1981, 18(9): 28-34,17.

摘要

集中式计算机网络形态设计方法

刘复岩

1981, 18(9): 35-43.

摘要

用于微型机的小型数字磁带机MT-2

胡宗藻

1981, 18(9): 44-52.

摘要

快启停光电输入机“重读”的实验研究

张炳坤

1981, 18(9): 53-55.

摘要

取样和保持式平衡电路

L. E. JANSSON, 徐德高

1981, 18(9): 55-62.

摘要

一种提高识别率的方法

张富冰, 刘宏刚

1981, 18(9): 62-63.

摘要

叠层式微位移器件

胡靖宇

1981, 18(9): 64-64.

摘要