Communications of the ACM （CACM） - Issue 251 论文列表
| 点击这里查看 Communications of the ACM 的JCR分区、影响因子等信息 |
| 卷期号： Issue 251 |
| 发布时间： |
| 卷期年份： 1978 |
| 卷期官网： |
本期论文列表
Abstract Data Types and Software Validation.
The Selection of Optimal Tab Settings.
A Strategic Planning Methodology for the Computing Effort in Higher Education: An Empirical Evaluation.
An Example of Hierarchical Design and Proof.
Optimizing Decision Trees Through Heuristically Guided Search.
Detection of Logical Errors in Decition Table Programs.
A Linear Sieve Algorithm for Finding Prime Numbers.
Using Encryption for Authentication in Large Networks of Computers.
Reverse Path Forwarding of Broadcast Packets.