Research on Internationalization Construction of Colleges and Universities in the New EraZhiming Liu · First published 2024Open the Tome
Research on the Construction of Practical Teaching System for Digital Media Art and Design MajorsZhiming Liu · First published 2024Open the Tome
Theories Of Programming And Formal Methods Essays Dedicated To Jifeng He On The Occasion Of His 70th BirthdayZhiming Liu · First published 2013Open the Tome
Unifying Theories Of Programming And Formal Engineering Methods International Training School On Software Engineering Held At Ictac 2013 Shanghai China August 2630 2013 Advanced LecturesZhiming Liu · First published 2013Open the Tome
Foundations of Health Informatics Engineering and SystemsZhiming Liu · First published 2012Open the Tome
Automated Technology For Verification And Analysis 7th International Symposium Atva 2009 Macao China October 1416 2009 ProceedingsZhiming Liu · First published 2009Open the Tome
Mathematical Frameworks for Component SoftwareZhiming Liu, Jifeng He · First published 2006Open the Tome
