Zhiming Liu
Zhiming Liu
16 books in the database
Books
Theoretical Aspects of Computing -- ICTAC 2013Zhiming Liu
Theoretical Aspects of Computing -- ICTAC 2013
Zhiming Liu · 2013
Engineering Trustworthy Software SystemsZhiming Liu
Engineering Trustworthy Software Systems
Zhiming Liu · 2016
Foundations of Health Informatics Engineering and SystemsZhiming Liu
Foundations of Health Informatics Engineering and Systems
Zhiming Liu · 2012
Formal methods and software engineeringZhiming Liu
Formal methods and software engineering
Zhiming Liu · 2006
History of Pushing Back PicturesZhiming Liu
History of Pushing Back Pictures
Zhiming Liu · 2024
Research on Internationalization Construction of Colleges and Universities in the New EraZhiming Liu
Research on Internationalization Construction of Colleges and Universities in the New Era
Zhiming Liu · 2024
Mechanical and Electronics Engineering VIZhiming Liu
Mechanical and Electronics Engineering VI
Zhiming Liu · 2014
Unifying Theories of Programming and Formal Engineering MethodsZhiming Liu
Unifying Theories of Programming and Formal Engineering Methods
Zhiming Liu · 2013
Theories of Programming and Formal MethodsZhiming Liu
Theories of Programming and Formal Methods
Zhiming Liu · 2013
Automated Technology for Verification and AnalysisZhiming Liu
Automated Technology for Verification and Analysis
Zhiming Liu · 2009
Mathematical Frameworks for Component SoftwareZhiming Liu
Mathematical Frameworks for Component Software
Zhiming Liu · 2006
Theoretical Aspects of Computing - ICTAC 2004Zhiming Liu
Theoretical Aspects of Computing - ICTAC 2004
Zhiming Liu · 2005
Research on the Construction of Practical Teaching System for Digital Media Art and Design MajorsZhiming Liu
Research on the Construction of Practical Teaching System for Digital Media Art and Design Majors
Zhiming Liu · 2024
Zhongguo te se she hui zhu yi she hui jian sheZhiming Liu
Zhongguo te se she hui zhu yi she hui jian she
Zhiming Liu · 2013
Mai lunZhiming Liu
Mai lun
Zhiming Liu · 2010
Nong ye hong guan jue ceZhiming Liu
Nong ye hong guan jue ce
Zhiming Liu · 1990
Co-authored books and collections
Books that list Zhiming Liu among their authors but not as the lead author: co-written works, collections and compilations.
Formal Aspects of Component SoftwareJosé Luiz Fiadeiro
Formal Aspects of Component Software
José Luiz Fiadeiro · 2014
Theoretical Aspects of Computing - ICTAC 2022Helmut Seidl
Theoretical Aspects of Computing - ICTAC 2022
Helmut Seidl · 2022
Dependable Software Engineering : Theories, Tools, and ApplicationsXuandong Li
Dependable Software Engineering : Theories, Tools, and Applications
Xuandong Li · 2015
BioreactorsPaolo G. Antolli
Bioreactors
Paolo G. Antolli · 2012
Domain Modeling and the Duration CalculusChris George
Domain Modeling and the Duration Calculus
Chris George · 2007
Theoretical Aspects of Computing - ICTAC 2007Cliff B. Jones
Theoretical Aspects of Computing - ICTAC 2007
Cliff B. Jones · 2007