Reasoning about procedures as parameters in the language L4
- Steven M. German
- Edmund M. Clarke
- et al.
- 1989
- Information and Computation
Review
Publications
26880 results for Science
Metallurgical topics in silicon device interconnections: Thin film stresses
- F.M. D’Heurle
- 1989
- International Materials Reviews
ReviewMolecular electronics—science and technology
- Ari Aviram
- 1989
- Advanced Materials
Conference paperExcerpts from the IFIP newsletter
- Jack L. Rosenfeld
- 1989
- Computers In Industry
Conference paperMagnetic and magneto‐optic thin films and multilayers in San Diego
- Ernesto Marinerom
- Takao Suzuki
- 1989
- Advanced Materials
Conference paperTiburon conference on high performance SQUID systems San Francisco, California, USA, 25-27 August 1988
- R.L. Fagaly
- C.D. Tesche
- 1989
- Cryogenics
Conference paperTwo normal incidence collimators designed for the calibration of the extreme ultraviolet explorer
- Sharon R. Jelinsky
- Barry Welsh
- et al.
- 1989
- Proceedings of SPIE 1989
Conference paperIn situ measurements of corona poling induced SHG in amorphous polymers
- Manfred Eich
- Ayusman Sen
- et al.
- 1989
- Proceedings of SPIE 1989
Conference paperFocussed excimer laser beams: A technique for selective micropatterning
- Jean M. Hagerhorst
- Modest M. Oprysko
- 1988
- SPIE OE/LASE 1988
Conference paperBand structure of quantum wells under crossed electric and magnetic fields
- J.A. Brum
- L.L. Chang
- et al.
- 1988
- Physical Review B
Paper