Symbolic Execution and Program Testing
- James C. King
- 1976
- CACM
Paper
Publications
24880 results for Exploratory Science
Some experimental results on placement techniques
- Maurice Hanan
- Peter K. Wolff
- et al.
- 1976
- DAC 1976
Conference paperPhysical properties of TiS2 thin films
- P.B. Perry
- 1976
- Physical Review B
PaperModel for the low-temperature phases and the two phase transitions of tetrathiafulvalene-tetracyanoquinodimethane (TTF-TCNQ)
- T.D. Schultz
- S. Etemad
- 1976
- Physical Review B
PaperThe optimal recovery of smooth functions
- C.A. Micchelli
- T.J. Rivlin
- et al.
- 1976
- Numerische Mathematik
PaperEffect 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
PaperMagnetization distribution in an amorphous ferromagnet
- C.C. Tsuei
- H.R. Lilienthal
- 1976
- Physical Review B
PaperElectrical conductivity of tetrathiafulvalenium-tetracyanoquinodimethanide (TTF-TCNQ)
- G.A. Thomas
- D.E. Schafer
- et al.
- 1976
- Physical Review B
ReviewStudy of tetrathiafulvalene (TTF) dimers and trimers in eclipsed and slipped geometries
- D.R. Salahub
- R.P. Messmer
- et al.
- 1976
- Physical Review B
PaperMany-body effects in n-type Si inversion layers. I. Effects in the lowest subband
- B. Vinter
- 1976
- Physical Review B
Paper