一种类似电视的扫描显示系统已成功地在霍尼韦尔DDP-224计算机上实现。扫描后的图像存储在计算机的核心存储器中，通过软件扫描转换实现对图像的扫描。
答:迈克尔·诺尔
143 - 150页
本文对自动程序综合的定理证明方法作了一个初步的概述，而不详述技术细节。通过递归和迭代程序的自动构造，说明了该方法的有效性。
Zohar Manna, Richard J. Waldinger
151 - 165页
本文介绍了田纳西大学计算机辅助注册系统中使用的调度算法。定义了符号，描述了实现教育政策所需的算法逻辑。
w·k·温特斯
166 - 171页
研究了两级存储结构中存储空间的利用。第一个存储层，也就是快速存储，被划分为多个存储区域。当一个条目要在层次结构中归档时，一个哈希算法…
约翰·g·威廉姆斯
172 - 175页
描述了一种用于自动求解一组常微分方程初值问题的积分技术。提出了选择近似阶的判据。我们的目标……
c . w .齿轮
176 - 179页
Jo Ann豪厄尔
180 - 184页
c . w .齿轮
185 - 190页
196 - 198页
