
Formal methods and software engineering [electronic resource] : 12th
International Conference on Formal Engineering Methods, ICFEM 2010,
Shanghai, China, November 17-19, 2010 : proceedings / Jin Song Dong,
Huibiao Zhu (eds.).
Programming languages and systems [electronic resource] : 8th Asian
symposium, APLAS 2010, Shanghai, China, November 28-December 1, 2010 :proceedings / Kazunori Ueda (ed.).
Web application security [electronic resource] : Iberic Web Application
Security Conference, IBWAS 2009, Madrid, Spain, December 10-11, 2009 : revised selected papers / Carlos Serr*ao, Vicente Aguilera D*iaz, Fabio Cerullo (eds.).
Culture and computing [electronic resource] : computing and communication for crosscultural interaction / Toru Ishida (ed.).
International Conference on Formal Engineering Methods, ICFEM 2010,
Shanghai, China, November 17-19, 2010 : proceedings / Jin Song Dong,
Huibiao Zhu (eds.).
Programming languages and systems [electronic resource] : 8th Asian
symposium, APLAS 2010, Shanghai, China, November 28-December 1, 2010 :proceedings / Kazunori Ueda (ed.).
Web application security [electronic resource] : Iberic Web Application
Security Conference, IBWAS 2009, Madrid, Spain, December 10-11, 2009 : revised selected papers / Carlos Serr*ao, Vicente Aguilera D*iaz, Fabio Cerullo (eds.).
Culture and computing [electronic resource] : computing and communication for crosscultural interaction / Toru Ishida (ed.).
No comments:
Post a Comment