Top 1057 francisco martin PDF Book Page 42

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