Liu, Zhiming, 1961-
Liu, Zhiming
刘志明 中国计算机科学家
VIAF ID: 85506101 ( Personal )
Permalink: http://viaf.org/viaf/85506101
Preferred Forms
- 200 _ | ‡a Liu ‡b Zhiming
- 100 1 _ ‡a Liu, Zhiming
-
- 100 1 _ ‡a Liu, Zhiming
- 100 1 _ ‡a Liu, Zhiming ‡d 1961-
-
-
-
- 100 1 _ ‡a Liu, Zhiming, ‡d 1961-
-
-
-
- 100 0 _ ‡a 刘志明 ‡c 中国计算机科学家
4xx's: Alternate Name Forms (8)
Works
Title | Sources |
---|---|
Automated technology for verification and analysis : 7th international symposium, ATVA 2009, Macao, China, October 14-16, 2009 : proceedings | |
Bioreactors : design, properties, and applications | |
Comprehension et traitement du rhumatisme et de l'arthrite rhumatoide en médecine traditionnelle chinoise | |
Dependable Software Engineering: Theories, Tools, and Applications : First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings | |
Engineering Trustworthy Software Systems Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures | |
Experience with bi syndrome | |
Formal methods and hybrid real-time systems | |
Formal methods and software engineering : 8th international conference on formal engineering methods, ICFEM 2006, Macao, China, November 1-3, 2006 : proceedings | |
Foundations of Health Informatics Engineering and Systems First International Symposium, FHIES 2011, Johannesburg, South Africa, August 29-30, 2011. Revised Selected Papers | |
ICFEM 2006 | |
ICTAC 2004 | |
Leucocytic glucocorticoid receptors in patients with yang deficiency syndrome | |
Mathematical frameworks for component software models for analysis and synthesis | |
Recherche sur la relation entre le méridien d'estomac et l'entraille | |
A research on the relationship between the meridian of the stomach and zangfu | |
Theoretical Aspects of Computing - ICTAC 2004 First International Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected Papers | |
Theories of programming and formal methods essays dedicated to Jifeng He on the occasion of His 70th birthday | |
Theory and Practice of Hydrocarbon Generation within Space-Limited Source Rocks | |
Understanding and treatment of rheumatic and rheumatoid arthritis in traditional chinese medicine, Zhiming Liu. | |
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 |