Formal description-the first step in design automa
- A.D. Falkoff
- 1965
- Annual SHARE Design Automation Workshop 1965
Conference paper
Publications
9296 results for Computer Science
Remark on Romberg quadrature
- A.M. Krasun
- W. Prager
- 1965
- CACM
PaperAn Approximation Technique for Suboptimal Control
- Robert C. Durbeck
- 1965
- IEEE TACON
PaperAn Algebraic Characterization of Controllability
- A. Chang
- 1965
- IEEE TACON
PaperImproper Solutions under Existence Assumptions: An Example
- J.H. Eaton
- 1965
- IEEE TACON
PaperGaAs Optically Coupled Transistor with a Lasing Emitter
- R.F. Rutz
- M.I. Nathan
- et al.
- 1965
- Proceedings of the IEEE
PaperStudy of Radiation Damage by using Field Effect
- R. Gereth
- W. Shockley
- 1965
- Proceedings of the IEEE
PaperLeo Szilard and Unique Decipherability
- Benoit Mandelbrot
- 1965
- IEEE Trans. Inf. Theory
PaperCorrespondence: A Comparison of Block and Recurrent Codes for the Correction of Independent Errors
- C. Freiman
- J.P. Robinson
- 1965
- IEEE Trans. Inf. Theory
PaperSolutions of combinatorial problems using generating functions on a variable-field computer
- G.M. Weinberg
- 1964
- CACM
Paper