Publications

9071 results for Computer Science

Algorithms for Sliding Block Codes: An Application of Symbolic Dynamics to Information Theory
- - Roy L. Adler
  - Don Coppersmith
  - et al.
- 1983
- IEEE Trans. Inf. Theory
History of the Design of the SAGE Computer— The AN/FSQ-7
- - Morton M. Astrahan
  - John F. Jacobs
- 1983
- Annals of the History of Computing
Installation of the First Production IBM 701
- - D.E. Rosenheim
- 1983
- Annals of the History of Computing
(g₀, g₁, ..., g_k)-trees and unary OL systems
- - D.T. Lee
  - C.L. Liu
  - et al.
- 1983
- Theoretical Computer Science
A congestion control scheme for window flow controlled computer networks
- - Parviz Kermani
  - Kadaba Bharath-Kumar
- 1983
- Computers and Electrical Engineering
Results on the propositional μ-calculus
- - Dexter Kozen
- 1983
- Theoretical Computer Science
Parameter passing in algebraic specification languages
- - Hartmut Ehrig
  - Hans-Jörg Kreowski
  - et al.
- 1983
- Theoretical Computer Science
Distributed Network Protocols
- - Adrian Segall
  - Adrian Segall
- 1983
- IEEE Trans. Inf. Theory
A Universal Data Compression System
- - Jorma Rissanen
- 1983
- IEEE Trans. Inf. Theory
Electron-Beam Systems for Precision Micron and Submicron Lithography
- - Alan D. Wilson
- 1983
- Proceedings of the IEEE