第八届国际计算机会议论文选PDF电子书下载

前言页 1

1.有关程序员的教育：程序的表示法、证明和开发 1

2.计算机硬件结构的主要倾向 12

3.日语文字处理机JW-10 22

4.MUNAP--用于非数值处理的两级微程序处理结构 27

5.实用程序综合的发展趋势 34

6.顺序程序的函数语义 47

7.研制小型应用软件产品的某些实验结果 57

8.关系数据库系统的回顾与展望 64

9.法国新的电信服务和网络总体结构综述 77

10.数据通信和计算机网络的发展方向 82

11.信息系统及其对社会发展、结构变动的影响 92

12.MODULECO--宏观经济模型的软件 108