Home Advanced Search
Advanced Search - Page 1
Unifying Theories of Programming and Formal Engineering Methods: International Training School on Software Engineering, Held at ICTAC
- English
- Year: 2013
- Author: Zhiming Liu, Jim Woodcock, Huibiao Zhu
Theoretical Aspects of Computing – ICTAC 2013: 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings
- English
- Year: 2013
- Author: Luca Cardelli, Radu Mardare (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
- English
- Year: 2013
- Author: Ruzhen Dong, Johannes Faber, Wei Ke (auth.), Zhiming Liu, Jim Woodcock, Huibiao Zhu (eds.)
Unifying Theories of Programming: 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers
- English
- Year: 2017
- Author: Jonathan P. Bowen, Huibiao Zhu (eds.)
Asymmetric Organo-Metal Catalysis: Concepts, Principles, and Applications
- English
- Year: 2022
- Author: Liu-Zhu Gong
Engineering Trustworthy Software Systems: First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures
- English
- Year: 2016
- Author: Zhiming Liu, Zili Zhang (eds.)