Home Advanced Search
Advanced Search - Page 1
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
- English
- Year: 2013
- Author: Zhiming Liu, Jim Woodcock, Huibiao Zhu
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.)
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.)
Esercizi di macchine elettriche
- Italian
- Author: Radu Bojoi, Luca Ferraris
Dependable Software Engineering: Theories, Tools, and Applications: First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings
- English
- Year: 2015
- Author: Xuandong Li, Zhiming Liu, Wang Yi (eds.)