Publications

9065 results for Computer Science

Wire-Routing Machines—New Tools for VLSI Physical Design
- - Se June Hong
  - Ravi Nair
- 1983
- Proceedings of the IEEE
Results on the propositional μ-calculus
- - Dexter Kozen
- 1983
- Theoretical Computer Science
Lung function measurement by optical contouring
- - A.R. Gourlay
  - G. Kaye
  - et al.
- 1989
- Proceedings of SPIE 1989
Digital enhancement of pneumothoraces
- - I. Kerr
  - P. Lams
- 1989
- Proceedings of SPIE 1989
Chest radiograph enhancement using the weighted unsharp mask
- - P.H. Jackson
  - G. Kaye
- 1989
- Proceedings of SPIE 1989
Image enhancement of chest radiographs using local statistical information
- - I. Kerr
  - P. Lams
- 1989
- Proceedings of SPIE 1989
Fiber optics for high speed computer input/output channels
- - J.D. Crow
  - L. Comerford
  - et al.
- 1989
- Proceedings of SPIE 1989
ON THE SUITABILITY OF ADA MULTITASKING FOR EXPRESSING PARALLEL ALGORITHMS
- - Shaule Yamini
- 1982
- AdaTEC 1982
The State of Practice of Data Administration—1981
- - Mark L. Gillenson
- 1982
- CACM
Compound semiconductor surface and interface problems in liquid phase epitaxy (lpe)
- - M.B. Small
  - R.M. Potemski
- 1989
- Proceedings of SPIE 1989