Z

Zhiming Liu

39 books found

Books by Zhiming Liu
Qing suan Xiao Jun de fan dong si xiangZhiming Liu
⏱ 1h 16m

Qing suan Xiao Jun de fan dong si xiang

Zhiming Liu

194976 pp.
Engineering Trustworthy Software SystemsZhiming Liu
⏱ 4h 14m

Engineering Trustworthy Software Systems

Zhiming Liu

2016254 pp.
Guo nei you zheng bao jian ye wuLiu, Zhiming.
⏱ 2h 17m

Guo nei you zheng bao jian ye wu

Liu, Zhiming.

1982137 pp.
Xiao Jun si xiang pi panZhiming Liu
⏱ 2h 32m

Xiao Jun si xiang pi pan

Zhiming Liu

2012152 pp.
Nong ye hong guan jue ceZhiming Liu
⏱ 5h 33m

Nong ye hong guan jue ce

Zhiming Liu

1990333 pp.
Zhongguo te se she hui zhu yi she hui jian sheZhiming Liu
⏱ 3h 1m

Zhongguo te se she hui zhu yi she hui jian she

Zhiming Liu

2013181 pp.
Lun zi ben zhu yiZhiming Liu
⏱ 1h 12m

Lun zi ben zhu yi

Zhiming Liu

201272 pp.
Xiao Jun pi panZhiming Liu
⏱ 57m

Xiao Jun pi pan

Zhiming Liu

194957 pp.
Research on the Construction of Practical Teaching System for Digital Media Art and Design MajorsZhiming Liu
⏱ 3h 5m

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

Zhiming Liu

2024185 pp.
History of Pushing Back PicturesZhiming Liu

History of Pushing Back Pictures

Zhiming Liu

2024No page data
Foundations of Health Informatics Engineering and SystemsZhiming Liu

Foundations of Health Informatics Engineering and Systems

Zhiming Liu

2012No page data
Mechanical and Electronics Engineering VIZhiming Liu
⏱ 6h 51m

Mechanical and Electronics Engineering VI

Zhiming Liu

2014411 pp.
Mai lunZhiming Liu
⏱ 3h 28m

Mai lun

Zhiming Liu

2010208 pp.
Automated Technology For Verification And Analysis 7th International Symposium Atva 2009 Macao China October 1416 2009 ProceedingsZhiming Liu

Automated Technology For Verification And Analysis 7th International Symposium Atva 2009 Macao China October 1416 2009 Proceedings

Zhiming Liu

2009No page data
Theories Of Programming And Formal Methods Essays Dedicated To Jifeng He On The Occasion Of His 70th BirthdayZhiming Liu
⏱ 6h 53m

Theories Of Programming And Formal Methods Essays Dedicated To Jifeng He On The Occasion Of His 70th Birthday

Zhiming Liu

2013413 pp.
Unifying Theories Of Programming And Formal Engineering Methods International Training School On Software Engineering Held At Ictac 2013 Shanghai China August 2630 2013 Advanced LecturesZhiming Liu
⏱ 4h 43m

Unifying Theories Of Programming And Formal Engineering Methods International Training School On Software Engineering Held At Ictac 2013 Shanghai China August 2630 2013 Advanced Lectures

Zhiming Liu

2013283 pp.
Fault-tolerant programming by transformationsLiu, Zhiming.

Fault-tolerant programming by transformations

Liu, Zhiming.

1991No page data
Mathematical Frameworks for Component SoftwareZhiming Liu

Mathematical Frameworks for Component Software

Zhiming Liu

2006No page data
Formal methods and software engineeringZhiming Liu
⏱ 12h 58m

Formal methods and software engineering

Zhiming Liu

2006778 pp.
Theoretical Aspects of Computing -- ICTAC 2013Zhiming Liu
⏱ 7h 39m

Theoretical Aspects of Computing -- ICTAC 2013

Zhiming Liu

2013459 pp.