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.)
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.)
Human Embryonic and Induced Pluripotent Stem Cells: Lineage-Specific Differentiation Protocols
  • PDF
  • English
  • Year: 2012
  • Author: Dong-Youn Hwang (auth.), Kaiming Ye, Sha Jin (eds.)
Semantic Technology: 6th Joint International Conference, JIST 2016, Singapore, Singapore, November 2-4, 2016, Revised Selected Papers
  • PDF
  • English
  • Year: 2016
  • Author: Yuan-Fang Li, Wei Hu, Jin Song Dong, Grigoris Antoniou, Zhe Wang, Jun Sun, Yang Liu (eds.)
Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday
  • PDF
  • English
  • Year: 2013
  • Author: Jean-Raymond Abrial (auth.), Zhiming Liu, Jim Woodcock, Huibiao Zhu (eds.)
Theoretical Aspects of Computing – ICTAC 2013: 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Luca Cardelli, Radu Mardare (auth.), Zhiming Liu, Jim Woodcock, Huibiao Zhu (eds.)
Unifying Theories of Programming: 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers
  • PDF
  • English
  • Year: 2013
  • Author: Jim Woodcock, Victor Bandur (auth.), Burkhart Wolff, Marie-Claude Gaudel, Abderrahmane Feliachi (eds.)
search