Sun, Jun.

概要

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

書目資訊

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

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); Andre, Etienne.; ATVA (Symposium) (2023 :) (書目-電子資源)

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); Andre, Etienne.; ATVA (Symposium) (2023 :) (書目-電子資源)

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. (書目-電子資源)

主題