Zhiming Liu
Identifiers
- Open LibraryOL7561451A
Top Subjects
- Software engineering (3)
- Programming languages (electronic computers) (1)
- Real-time data processing (1)
- Information theory (1)
- Electronic data processing (1)
- Bioreactors (1)
- Computer science (1)
Books by Zhiming Liu
Total count: 20
-
Theoretical Aspects of Computing - ICTAC 2004First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected PapersSpringer London, Limited2005-01-01
-
Formal Methods and Software Engineering8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, ProceedingsSpringer London, Limited2006-01-01
-
Mathematical Frameworks for Component SoftwareModels for Analysis and Synthesis. Series on Component-Based Software Development, Volume 2World Scientific Publishing Co Pte Ltd2006-01-01
-
Domain Modeling and the Duration CalculusInternational Training School, Shanghai, China, September 17-21, 2007, Advanced LecturesSpringer London, Limited2007-01-01
-
Theoretical Aspects of Computing - ICTAC 20074th International Colloquium, Macau, China, September 26-28, 2007, ProceedingsSpringer London, Limited2007-01-01
-
Formal Methods and Hybrid Real-Time SystemsEssays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th BirthdaysSpringer London, Limited2007-01-01
-
Automated Technology for Verification and Analysis7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, ProceedingsSpringer London, Limited2009-01-01
-
Mai lunDi 1 banDa xiang chu ban she2010-01-01
-
BioreactorsDesign, Properties, and ApplicationsNova Science Publishers, Incorporated2012-01-01
Foundations of Health Informatics Engineering and SystemsFirst International Symposium, FHIES 2011, Johannesburg, South Africa, August 29-30, 2011. Revised Selected PapersSpringer Berlin Heidelberg2012-01-01-
Theories of Programming and Formal MethodsEssays Dedicated to Jifeng He on the Occasion of His 70th BirthdaySpringer2013-01-01
-
Theoretical Aspects of Computing -- ICTAC 201310th International Colloquium, Shanghai, China, September 4-6, 2013, ProceedingsSpringer London, Limited2013-01-01
-
Zhongguo te se she hui zhu yi she hui jian shehe xie you xu de Zhongguo she hui fa zhan zhi luDi 1 banZhong gong zhong yang dang xiao chu ban she2013-01-01
-
Unifying Theories of Programming and Formal Engineering MethodsInternational Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced LecturesSpringer London, Limited2013-01-01
-
Formal Aspects of Component Software10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected PapersSpringer London, Limited2014-01-01
-
Dependable Software Engineering : Theories, Tools, and ApplicationsFirst International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, ProceedingsSpringer London, Limited2015-01-01
-
Engineering Trustworthy Software SystemsFirst International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial LecturesSpringer London, Limited2016-01-01
-
Theoretical Aspects of Computing - ICTAC 202219th International Colloquium, Tbilisi, Georgia, September 27-29, 2022, ProceedingsSpringer International Publishing AG2022-01-01
-
History of Pushing Back PicturesCHINA CULTURE PRESS INC.2024-01-01
-
Research on the Construction of Practical Teaching System for Digital Media Art and Design MajorsOverseas Chinese Press Inc2024-01-01