Box 5
Container
Contains 141 Results:
An Algorithm for Transitive Reduction of an Acyclic Graph, 1989
File — Box: 5 , Folder: 17
An Introduction to Proofs of Program Correctness, for Teachers of AP Computer Science Courses, 1989-07
File — Box: 5 , Folder: 18
The 1987-1988 Taulbee Survey, 1989-10
File — Box: 5 , Folder: 19
Presenting a Binary-to-Decimal Conversion Algorithm, 1989
File — Box: 5 , Folder: 20
Nomination of Professor Robin Milner Fellow of the Royal Society for the ACM Turing Award, 1989-05-29 - 1998
File — Box: 5 , Folder: 21
Dates:
1989-05-29 - 1998
Review of Arizona's Computer Science Department, 1989-04-06
File — Box: 5 , Folder: 22
Dates:
1989-04-06
My Thoughts on Software Engineering in the Late 1960s, 1989
File — Box: 5 , Folder: 23
On Progress in Programming, 1989
File — Box: 5 , Folder: 24
Proving Schneider's Inference Rule Sound, 1994-03
File — Box: 5 , Folder: 50