伯纳德·a·加勒
300页
提出了两种能够使用户估计计算机程序效率的语言。人们希望估计其效率的程序是用第一语言编写的，这是一种不太容易使用的编程语言，包括……
雅克·科恩，卡尔·朱克曼
301 - 308页
由于目前在自动定理证明中需要考虑大量的策略和推理规则，因此有必要开发一种专门面向自动定理证明的语言。这张纸……
l·亨申，罗斯·奥弗贝克，l·沃斯
308 - 314页
本文描述了一种在数字计算机中压缩字符集的技术，同时保持对单个比特的快速访问。它考虑了最小化包含这些表所需的存储空间的问题。还原技术……
詹姆斯·f·金普尔
315 - 318页
I.巴罗达，F. D. K.罗伯茨
319 - 320页
R. L.佩奇
321 - 323页
布莱恩Gaither
324页
罗伯特Piessens
324页
罗伯特Piessens
324页
t.m.r.埃利斯
324 - 325页
R. L.佩奇
325页
现在，几百所学院和大学的计算机设备提供各种类型的统计软件包供一般使用。其中最广泛使用的是OSIRIS、SPSS、BMD、DATA-TEXT和TSAR。为了提供……
威廉·斯莱兹
326 - 332页
博尔顿
326页
描述和检验了等高线图的紧凑表示方法。这些是为了减少通过电话线传输等高线图的成本。我们认为其中一些方法可以用于传输轮廓…
约翰·亚当斯，约翰·加里
333 - 336页
本文介绍了cmmp(卡耐基-梅隆多微处理器)操作系统的核心——hydro的设计思想。这一理念是通过引入“资源……
伍尔夫，科恩，考文，琼斯，莱文，皮尔森，波拉克
337 - 345页
利用书目信息的直接存取计算机文件，试图克服与信息检索经常有关的一个问题，即维护和使用大字典，更大的…
伊恩·j·巴顿，苏珊·e·克里西，迈克尔·f·林奇，迈克尔·j·斯内尔
345 - 350页
提出了两种算法来构造
k有向图中每对顶点之间的最短路径。这些算法推广了Floyd算法和Dantzig算法寻找最短路径之间…
爱德华Minieka
351 - 353页
罗伯特·l·阿森赫斯特
354页
