selected papers
Volume 25, Number 1, January 1981
Volume 25, Numbers 2-3, May 1981
Volume 25, Number 4, July 1981
Dexter Kozen:
Communication: Positive First-Order Logic is NP-Complete.
327-332
Volume 25, Number 5, September 1981
System Architecture and Development
Samuel E. James:
Evolution of Real-Time Computer Systems for Mannet Spaceflight.
417-428
Software Technology
Jean E. Sammet:
History of IBM's Technical Contributions to High Level Programming Languages.
520-534
Peter Lucas:
Formal Semantics of Programming Languages: VDL.
549-561
Magnetic Recording Technology
Printing Technology
IBM Scientific Contributions
Volume 25, Number 6, November 1981
Martin Schatzoff:
Design of Experiments in Computer Performance Evaluation.
848-859
Charles H. Sauer:
Approximate Solution of Queueing Networks with Simultaneous Resource Possession.
894-903
Seraphin B. Calo:
Delay Analysis of a Two-Queue, Nonuniform Message Channel.
915-929