Box 4
Container
Contains 131 Results:
Meeting the Basic-Research Needs of Computer Science, 1986-12-16
File — Box: 4 , Folder: 91
Dates:
1986-12-16
A model and temporal proof system for networks of processes, 1986
File — Box: 4 , Folder: 92
David Gries on the Crisis in Academic Computer Science, 1986
File — Box: 4 , Folder: 93
Imbalance Between Growth and Funding in Academic Computing Science: Two Trends Colliding, 1986-09
File — Box: 4 , Folder: 94
The 1984-1985 Taulbee Survey, 1986-10
File — Box: 4 , Folder: 95
Towards a New Programming Language and Environment, 1986-09
File — Box: 4 , Folder: 96
An Algorithm for Transitive Reduction of an Acyclic Graph, 1986-06
File — Box: 4 , Folder: 97
TR 86-789Generating a Random Cyclic Permutation, 1986-09
File — Box: 4 , Folder: 98
In-situ permutation - proof of correctness, 1986
File — Box: 4 , Folder: 100