Sun, Jun.

概要

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

書目資訊

FM 2014 = Formal methods : 19th International Symposium, Singapore, May 12-16, 2014 : proceedings / by: Jones, Cliff.; Pihlajasaari, Pekka.; Sun, Jun.; SpringerLink (Online service) (書目-電子資源)

Nanoscale precipitation in hot rolled sheet steel. by: Sun, Jun.; Colorado School of Mines., Metallurgical and Materials Engineering. (書目-語言資料,印刷品)

Mechanisms underlying host-microbiome interactions in pathophysiology of human diseases by: Sun, Jun.; SpringerLink (Online service); Dudeja, Pradeep K. (書目-電子資源)

Automated technology for verification and analysis = 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023 : proceedings.. Part II / by: Sun, Jun.; SpringerLink (Online service); ATVA (Symposium) (2023 :); Andre, Etienne. (書目-電子資源)

Inflammation, infection, and microbiome in cancers = evidence, mechanisms, and implications / by: Sun, Jun.; SpringerLink (Online service) (書目-電子資源)

Automated technology for verification and analysis = 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023 : proceedings.. Part I / by: Sun, Jun.; SpringerLink (Online service); ATVA (Symposium) (2023 :); Andre, Etienne. (書目-電子資源)

Dependable software engineering = theories, tools, and applications : 9th International Symposium, SETTA 2023, Nanjing, China, November 27-29, 2023 : proceedings / by: SETTA (Symposium) (2023 :); Sun, Jun.; Bu, Lei.; SpringerLink (Online service); Hermanns, Holger. (書目-電子資源)

Bioinformatic and statistical analysis of microbiome data = from raw sequences to advanced modeling with QIIME 2 and R / by: Sun, Jun.; SpringerLink (Online service); Xia, Yinglin. (書目-電子資源)

Modeling and finite element analysis of welding distortions and residual stresses in large and complex structures. by: Sun, Jun.; The Pennsylvania State University. (書目-電子資源)

主題