Home Advanced Search

Advanced Search - Page 1

Formal Methods and Software Engineering: 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Yongxin Zhao, He Jifeng (auth.), Shengchao Qin, Zongyan Qiu (eds.)
Formal Methods and Software Engineering: 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Yongxin Zhao, He Jifeng (auth.), Shengchao Qin, Zongyan Qiu (eds.)
Formal Methods and Software Engineering: 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Yongxin Zhao, He Jifeng (auth.), Shengchao Qin, Zongyan Qiu (eds.)
Distributed Computing and Internet Technology: 5th International Conference, ICDCIT 2008 New Delhi, India, December 10-12, 2008. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Geguang Pu, Yongxin Zhao, Zheng Wang, Libo Feng, Huibiao Zhu, Jifeng He (auth.), Manish Parashar, Sanjeev K. Aggarwal (eds.)
Distributed Computing and Internet Technology: 5th International Conference, ICDCIT 2008 New Delhi, India, December 10-12, 2008. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Geguang Pu, Yongxin Zhao, Zheng Wang, Libo Feng, Huibiao Zhu, Jifeng He (auth.), Manish Parashar, Sanjeev K. Aggarwal (eds.)
Unifying Theories of Programming: Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Ana Cavalcanti, Marie-Claude Gaudel (auth.), Shengchao Qin (eds.)
Unifying Theories of Programming: Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Ana Cavalcanti, Marie-Claude Gaudel (auth.), Shengchao Qin (eds.)
Unifying Theories of Programming: Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010, Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Shengchao Qin
Chinese Lexical Semantics: 13th Workshop, CLSW 2012, Wuhan, China, July 6-8, 2012, Revised Selected Papers
  • PDF
  • English
  • Year: 2013
  • Author: Guo-Nian Wang, Yi Qin, Min Jiang, Qiu-Rong Zhao (auth.), Donghong Ji, Guozheng Xiao (eds.)
汉语语法概要=Han yu yu fa gai yao = Essentials of Chinese grammar for foreigners
  • PDF
  • Chinese,english
  • Year: 1992
  • Author: Yongxin Zhao
search