Hirsh科恩
1037 - 1038页
罗伯特·l·Ashenhurst
1039页
在20世纪60年代末，人们都在谈论能够验证其他程序正确性的程序的前景。不幸的是，现在已经是20世纪80年代中期了，除了极少数例外，仍然很少……
乔恩·宾利
1040 - 1045页
1982年雪鸟会议的与会者重新评估了计算机科学教育中的问题，并建议了改进的步骤。
丘世威，罗伯特·w·里奇，沃伦·塞蒙，约瑟夫·特劳布，安德里斯·范·达姆，斯坦利·温克勒
1046 - 1050页
人们到底是怎么看待计算机及其影响的?1970年，一项针对北美人态度的研究显示，计算机要么被视为“人类的有益工具”，要么被视为“令人敬畏的思维机器”。“…
Perry r·莫里森
1051 - 1057页
SOLO是一种非数字编程语言，是英国开放大学为支持认知心理学课程而开发的。它的设计是为了让学生尽可能轻松地熟悉计算机基础知识。
Marc观众
1058 - 1064页
“便携式”UNIX操作系统被移植到IBM系列/1小型计算机上。重点描述了传输过程(1)适应目标机器架构;(2)方法的选择……
保罗·j·贾里奇，托马斯·s·海因斯
1066 - 1072页
提出了一种平衡二叉搜索树的算法。在该算法中，当它们减少总树的内部路径时，执行单旋转或双旋转。这类树最坏的内部路径是…
加斯顿·h·Gonnet
1074 - 1081页
在哈希技术中已经提出了许多解决冲突的方法。它们主要分为两大类:开放寻址和链接。本文还提出了一些介于……之间的方法。
西原诚一，池田胜雄
1082 - 1088页
