Some results concerning proofs of statements about programs
- R.J. Orgass
- 1970
- Journal of Computer and System Sciences
Paper
Publications
26917 results for Science
Hot electron scattering and optical density of states of yttrium
- Dean E. Eastman
- 1970
- Solid State Communications
PaperA numerical approach to principal value integrals in dispersion relations
- Hans Morawrrz
- 1970
- Journal of Computational Physics
PaperAccomodation of misfit between single-crystal films of β-cobalt and copper
- J.W. Matthews
- 1970
- Thin Solid Films
PaperDynamics of Feedback-Controlled Nd:YAG Laser and Its Application for Digital Scan Laser
- I.C. Chang
- Eric G.H. Lean
- et al.
- 1970
- IEEE JQE
PaperThe application of the fast Fourier transform algorithm to the estimation of spectra and cross-spectra
- J.W. Cooley
- P.A. Lewis
- et al.
- 1970
- Journal of Sound and Vibration
PaperA method for the structural analysis of two-dimensional mathematical expressions
- Shi-Kuo Chang
- 1970
- Information Sciences
PaperOptical transitions in impure semiconductors
- Frank Stern
- 1970
- Journal of Non-Crystalline Solids
PaperIs automatic “folding” of programs efficient enough to displace manual?
- D. Sayre
- 1969
- CACM
PaperA case study in programming for parallel-processors
- Jack L. Rosenfeld
- 1969
- CACM
Paper