Zhiming Liu

· 22 obras en el catálogo

Obras

Formal methods and software engineering

Foundations of Health Informatics Engineering and Systems

Mechanical and Electronics Engineering VI

Theoretical Aspects of Computing -- ICTAC 2013

Engineering Trustworthy Software Systems

Formal Aspects of Component Software

BBioreactors

Bioreactors

MMai lun

Mai lun

ZZhongguo te se she hui zhu yi she hui jian she

Zhongguo te se she hui zhu yi she hui jian she

NNong ye hong guan jue ce

Nong ye hong guan jue ce

DDomain Modeling and the Duration Calculus

Domain Modeling and the Duration Calculus

DDependable Software Engineering : Theories, Tools, and Appli

Dependable Software Engineering : Theories, Tools, and Applications

AAutomated Technology for Verification and Analysis

Automated Technology for Verification and Analysis

TTheoretical Aspects of Computing - ICTAC 2004

Theoretical Aspects of Computing - ICTAC 2004

TTheoretical Aspects of Computing - ICTAC 2007

Theoretical Aspects of Computing - ICTAC 2007

TTheories of Programming and Formal Methods

Theories of Programming and Formal Methods

UUnifying Theories of Programming and Formal Engineering Meth

Unifying Theories of Programming and Formal Engineering Methods

TTheoretical Aspects of Computing - ICTAC 2022

Theoretical Aspects of Computing - ICTAC 2022

MMathematical Frameworks for Component Software

Mathematical Frameworks for Component Software

HHistory of Pushing Back Pictures

History of Pushing Back Pictures

RResearch on the Construction of Practical Teaching System fo

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

邮邮电通信

邮电通信