Home Advanced Search
Advanced Search - Page 1
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 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: 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers
- English
- Year: 2017
- Author: Jonathan P. Bowen, Huibiao Zhu (eds.)
Tecnicas de presentacion en color - Una guia para arquitectos y disenadores de interiores
- English
- Year: 2011
- Author: Wei Dong
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.)
Well-Organized Inorganic Nanowire Films: Assemblies and Functionalities
- English
- Year: 2017
- Author: Jian-Wei Liu (auth.)
