Top 559 sasmita palo kumar kunal jha PDF Book Page 21

book image

Formal Methods in Computer-Aided Design: Second International Conference, FMCAD’ 98 Palo Alto, CA, USA, November 4–6, 1998 Proceedings

Kenneth L. McMillan (auth.), Ganesh Gopalakrishnan, Phillip Windley (eds.)
·536 Pages
·1998
·4.137 MB

book image

Information Security: 7th International Conference, ISC 2004, Palo Alto, CA, USA, September 27-29, 2004. Proceedings

Taekyoung Kwon (auth.), Kan Zhang, Yuliang Zheng (eds.)
·457 Pages
·2004
·11.377 MB