1970

19 references published this year.

THE ALOHA SYSTEM: another alternative for computer communications
N. Abramson (1970) · Proceedings of the November 17-19, 1970, Fall Joint Computer Conference
The market for “lemons
G. A. Akerlof (1970) · : Quality uncertainty and the market mechanism’
Control flow analysis
Frances E. Allen (1970)
The Nucleus of a Multiprogramming System
Per Brinch Hansen (1970) · Communications of the ACM · Association for Computing Machinery
Software Engineering Techniques: Report on a Conference Sponsored by the NATO Science Committee, Rome, Italy, 27th to 31st October 1969
John N. Buxton and others (1970) · Scientific Affairs Division, NATO
The Structure of Arithmetic
H. E. Campbell (1970) · Century-Crofts
A relational model of data for large shared data banks
E. F. Codd (1970) · Communications of the ACM · Association for Computing Machinery
Maria Theresa
Edward Crankshaw (1970)
Modular asynchronous control structures for a high performance processor
Jack B. Dennis (1970) · Record of the Project MAC Conference on Concurrent Systems and Parallel Computation
The interface message processor for the ARPA computer network
F. E. Heart and others (1970) · Proceedings of the May 5-7, 1970, Spring Joint Computer Conference · Association for Computing Machinery
A note on computable real fields
E. W. Madison (1970) · Journal of Symbolic Logic · Cambridge University Press
Algorithms and Recursive Functions
A. I. Mal'cev (1970) · Wolters-Noordhoff
Formalization of Properties of Functional Programs
Zohar Manna and others (1970) · Journal of the ACM · Association for Computing Machinery (ACM)
Frederick the Great: A Historical Profile
Gerhard Ritter (1970)
Relationships between nondeterministic and deterministic tape complexities
W.J. Savitch (1970) · Elsevier BV
On the semigroup of binary relations on a finite set
Štefan Schwarz (1970) · Institute of Mathematics, Czech Academy of Sciences
On a sharp estimation in the theory of binary relations on a finite set
Štefan Schwarz (1970) · Czechoslovak Mathematical Journal · Springer Nature
Constructive validity
Dana Scott (1970) · Lecture notes in mathematics · Springer Nature
Security Controls for Computer Systems
W. H. Ware (1970) · https://conferences.computer.org/sp/pdfs/early/ware70.pdf