Symbolic Execution and Program Testing
- James C. King
- 1976
- CACM
Publications
26810 results for Science
Some experimental results on placement techniques
- Maurice Hanan
- Peter K. Wolff
- et al.
- 1976
- DAC 1976
Physical properties of TiS2 thin films
- P.B. Perry
- 1976
- Physical Review B
Model for the low-temperature phases and the two phase transitions of tetrathiafulvalene-tetracyanoquinodimethane (TTF-TCNQ)
- T.D. Schultz
- S. Etemad
- 1976
- Physical Review B
Effect of thermodynamic fluctuations on the shape and width of the resistive transition in three-dimensional amorphous superconducting alloys
- W.L. Johnson
- C.C. Tsuei
- 1976
- Physical Review B
The optimal recovery of smooth functions
- C.A. Micchelli
- T.J. Rivlin
- et al.
- 1976
- Numerische Mathematik
Magnetization distribution in an amorphous ferromagnet
- C.C. Tsuei
- H.R. Lilienthal
- 1976
- Physical Review B
Electrical conductivity of tetrathiafulvalenium-tetracyanoquinodimethanide (TTF-TCNQ)
- G.A. Thomas
- D.E. Schafer
- et al.
- 1976
- Physical Review B
Many-body effects in n-type Si inversion layers. I. Effects in the lowest subband
- B. Vinter
- 1976
- Physical Review B
Study of tetrathiafulvalene (TTF) dimers and trimers in eclipsed and slipped geometries
- D.R. Salahub
- R.P. Messmer
- et al.
- 1976
- Physical Review B