Top 1200 ortegon gallego francisco redondo neble maria victoria redondo neble victoria rodriguez galvan jose rafael eds PDF Book Page 50

book image

Proceedings of the 17th International Conference on the Physics of Semiconductors: San Francisco, California, USA August 6–10, 1984

G. Binnig, H. Rohrer (auth.), James D. Chadi, Walter A. Harrison (eds.)
·1580 Pages
·1985
·51.255 MB

book image

Verification, Model Checking, and Abstract Interpretation: 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings

Radhia Cousot (auth.), Francesco Logozzo, Doron A. Peled, Lenore D. Zuck (eds.)
·332 Pages
·2008
·6.011 MB