Home Advanced Search

Advanced Search - Page 1

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.)
FME'96: Industrial Benefit and Advances in Formal Methods: Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP WG 14.3 Oxford, UK, March 18–22, 1996 Proceedings
  • DJVU
  • English
  • Year: 1996
  • Author: C. A. R. Hoare (auth.), Marie-Claude Gaudel, James Woodcock (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.)
Web Information Systems Engineering – WISE 2007 Workshops: WISE 2007 International Workshops Nancy, France, December 3, 2007 Proceedings
  • PDF
  • English
  • Year: 2007
  • Author: Marie-Dominique Devignes, Malika Smaïl-Tabbone (auth.), Mathias Weske, Mohand-Saïd Hacid, Claude Godart (eds.)
Wine Economics: Quantitative Studies and Empirical Applications
  • PDF
  • English
  • Year: 2013
  • Author: Eric Giraud-Héraud, Marie-Claude Pichery (eds.)
Cellular and Molecular Regulation of Testicular Cells
  • PDF
  • English
  • Year: 1996
  • Author: Claude Desjardins (auth.), Claude Desjardins Ph.D. (eds.)
Network Coding at Different Layers in Wireless Networks
  • PDF
  • English
  • Year: 2016
  • Author: Yang Qin (eds.)
Sustainable Development in Rural China: Field Survey and Sino-Japan Comparative Analysis
  • PDF
  • English
  • Year: 2015
  • Author: Bingtao Qin (auth.)
Integral and Discrete Inequalities and Their Applications: Volume I: Linear Inequalities
  • PDF
  • English
  • Year: 2016
  • Author: Yuming Qin (auth.)
Analytic Inequalities and Their Applications in PDEs
  • PDF
  • English
  • Year: 2017
  • Author: Yuming Qin (auth.)
search