Home Advanced Search

Advanced Search - Page 1

Formal Methods and Software Engineering: 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003. Proceedings
  • PDF
  • English
  • Year: 2003
  • Author: Ian J. Hayes (auth.), Jin Song Dong, Jim Woodcock (eds.)
Theoretical Aspects of Computing – ICTAC 2010: 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Ian J. Hayes (auth.), Ana Cavalcanti, David Deharbe, Marie-Claude Gaudel, Jim Woodcock (eds.)
Theoretical Aspects of Computing – ICTAC 2010: 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Ian J. Hayes (auth.), Ana Cavalcanti, David Deharbe, Marie-Claude Gaudel, Jim Woodcock (eds.)
Formal Methods and Software Engineering: 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Kokichi Futatsugi (auth.), Jin Song Dong, Huibiao Zhu (eds.)
Formal Methods and Software Engineering: 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Kokichi Futatsugi (auth.), Jin Song Dong, Huibiao Zhu (eds.)
Unifying Theories of Programming and Formal Engineering Methods: International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures
  • PDF
  • English
  • Year: 2013
  • Author: Ruzhen Dong, Johannes Faber, Wei Ke (auth.), Zhiming Liu, Jim Woodcock, Huibiao Zhu (eds.)
Unifying Theories of Programming and Formal Engineering Methods: International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures
  • PDF
  • English
  • Year: 2013
  • Author: Ruzhen Dong, Johannes Faber, Wei Ke (auth.), Zhiming Liu, Jim Woodcock, Huibiao Zhu (eds.)
Nature-inspired Optimizers. Theories, Literature Reviews and Applications
  • PDF
  • English
  • Year: 2020
  • Author: Seyedali Mirjalili, Jin Song Dong, Andrew Lewis (eds.)
Rapid Response Manufacturing: Contemporary methodologies, tools and technologies
  • PDF
  • English
  • Year: 1998
  • Author: J. Dong (auth.), Jian Dong (eds.)
Optimal Control and Optimization of Stochastic Supply Chain Systems
  • PDF
  • English
  • Year: 2013
  • Author: Dong-Ping Song (auth.)
search