Liu, Zhiming.

概要

作品:	1 作品在 8 項出版品 1 種語言

書目資訊

Engineering trustworthy software systems = 4th International School, SETSS 2018, Chongqing, China, April 7-12, 2018 : tutorial lectures / by: SETSS (International school) (2018 :); Bowen, Jonathan P.; Liu, Zhiming.; Zhang, Zili.; SpringerLink (Online service) (書目-電子資源)

Theoretical Aspects of Computing - ICTAC 2004 = First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers / by: Araki, Keijiro.; Liu, Zhiming.; SpringerLink (Online service); ICTAC 2004 ((2004 :) (書目-語言資料,印刷品)

Engineering trustworthy software systems = second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016 : tutorial lectures / by: SETSS (Summer school) (2016 :); Bowen, Jonathan P.; Liu, Zhiming.; Zhang, Zili.; SpringerLink (Online service) (書目-電子資源)

Theoretical aspects of computing - ICTAC 2022 = 19th International Colloquium, Tbilisi, Georgia, September 27-29, 2022 : proceedings / by: ICTAC (Colloquium) (2022 :); Seidl, Helmut.; Liu, Zhiming.; Pasareanu, Corina S.; SpringerLink (Online service) (書目-電子資源)

Engineering trustworthy software systems = 5th International School, SETSS 2019, Chongqing, China, April 21-27, 2019 : tutorial lectures / by: SETSS (International school) (2019 :); Bowen, Jonathan P.; Liu, Zhiming.; Zhang, Zili.; SpringerLink (Online service) (書目-電子資源)

Formal aspects of component software = 10th international symposium, FACS 2013, Nanchang, China, October 27-29, 2013 : revised selected papers / by: Fiadeiro, Jose Luiz.; Liu, Zhiming.; Xue, Jinyun.; SpringerLink (Online service) (書目-電子資源)

Engineering trustworthy software systems = first International School, SETSS 2014, Chongqing, China, September 8-13, 2014 : tutorial lectures / by: Liu, Zhiming.; Zhang, Zili.; SpringerLink (Online service) (書目-電子資源)

Dependable software engineering = theories, tools, and applications : first International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015 : proceedings / by: Li, Xuandong.; Liu, Zhiming.; Yi, Wang.; SpringerLink (Online service) (書目-電子資源)

主題