Zhiming Liu

No bio available. Add one in Open Library.

Books by Zhiming Liu (50 max)

+ shelf+ list

Engineering Trustworthy Software Systems First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures

2016

Zhiming Liu, Zili Zhang

+ shelf+ list

Theoretical Aspects of Computing -- ICTAC 2013 10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceedings

2013

Zhiming Liu, Jim Woodcock, Huibiao Zhu

+ shelf+ list

Formal Methods and Software Engineering: 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings (Lecture Notes in Computer Science)

2006

Zhiming Liu, Jifeng He

+ shelf+ list

Mathematical Frameworks for Component Software Models for Analysis and Synthesis. Series on Component-Based Software Development, Volume 2

2006

Zhiming Liu, Jifeng He

+ shelf+ list

Formal Aspects of Component Software 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers

2014

José Luiz Fiadeiro, Zhiming Liu, Jinyun Xue

+ shelf+ list

Dependable Software Engineering : Theories, Tools, and Applications First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings

2015

Xuandong Li, Zhiming Liu, Wang Yi

+ shelf+ list

Nong ye hong guan jue ce

1990

Zhiming Liu

+ shelf+ list

Theoretical Aspects of Computing - ICTAC 2004 First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers

2005

Zhiming Liu, Keijiro Araki

+ shelf+ list

Theoretical Aspects of Computing - ICTAC 2007 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings

2007

Cliff B. Jones, Zhiming Liu, Jones Woodcock

+ shelf+ list

Domain Modeling and the Duration Calculus International Training School, Shanghai, China, September 17-21, 2007, Advanced Lectures

2007

Chris George, Zhiming Liu, Jim Woodcock

+ shelf+ list

Automated Technology for Verification and Analysis 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings

2009

Zhiming Liu, Anders P. Ravn

+ shelf+ list

Mai lun

2010

Zhiming Liu

+ shelf+ list

Bioreactors Design, Properties, and Applications

2012

Paolo G. Antolli, Zhiming Liu

+ shelf+ list

Foundations of Health Informatics Engineering and Systems First International Symposium, FHIES 2011, Johannesburg, South Africa, August 29-30, 2011. Revised Selected Papers

2012

Zhiming Liu

+ shelf+ list

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

2013

Zhiming Liu, Jim Woodcock, Huibiao Zhu

+ shelf+ list

Zhongguo te se she hui zhu yi she hui jian she he xie you xu de Zhongguo she hui fa zhan zhi lu

2013

Zhiming Liu

+ shelf+ list

Theories of Programming and Formal Methods Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday

2013

Zhiming Liu, Jim Woodcock, Huibiao Zhu

+ shelf+ list

Mechanical and Electronics Engineering VI : Selected, Peer Reviewed Papers from the 2014 6th International Conference on Mechanical and Electronics ... China

2014

Zhiming Liu

+ shelf+ list

Theoretical Aspects of Computing - ICTAC 2022 19th International Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings

2022

Helmut Seidl, Zhiming Liu, Corina S. Pasareanu

+ shelf+ list

History of Pushing Back Pictures

2024

Zhiming Liu

+ shelf+ list

Research on the Construction of Practical Teaching System for Digital Media Art and Design Majors

2024

Zhiming Liu