Zhiming Liu
Books
- Theoretical Aspects of Computing - ICTAC 2007
- Domain Modeling and the Duration Calculus
- Engineering Trustworthy Software Systems
- Theoretical Aspects of Computing - ICTAC 2004
- Nong ye hong guan jue ce
- Theoretical Aspects of Computing -- ICTAC 2013
- Research on the Construction of Practical Teaching System for Digital Media Art and Design Majors
- Mathematical Frameworks for Component Software
- Formal methods and software engineering
- Foundations of Health Informatics Engineering and Systems
- 邮电通信
- History of Pushing Back Pictures
- Theories of Programming and Formal Methods
- Dependable Software Engineering : Theories, Tools, and Applications
- Formal Aspects of Component Software
- Research on Internationalization Construction of Colleges and Universities in the New Era
- Mechanical and Electronics Engineering VI
- Zhongguo te se she hui zhu yi she hui jian she
- Theoretical Aspects of Computing - ICTAC 2022
- Automated Technology for Verification and Analysis
- Mai lun
- Unifying Theories of Programming and Formal Engineering Methods
- Bioreactors
Author data: Open Library