語系
Sun, Jun.
概要
作品: | 1 作品在 6 項出版品 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); 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.
(書目-電子資源)
主題
Software Engineering.
Mathematical Logic and Formal Languages.
Microbial carcinogenesis.
Microorganisms.
Theory of Computation.
Logics and Meanings of Programs.
Medical microbiology.
Bioinformatics.
Biomedical Engineering and Bioengineering.
Applied Mechanics.
Management of Computing and Information Systems.
Computation by Abstract Devices.
Human body- Microbiology.
Molecular Medicine.
Statistics and Computing.
Automatic theorem proving
Engineering, Mechanical.
Formal methods (Computer science)
Biomedicine.
Cancer- Immunological aspects.
Cancer Research.
Human Physiology.
Medical Microbiology.
Immunology.
Microbiology- Statistical methods.
Big Data.
Computer Engineering and Networks.
Engineering, Materials Science.
Artificial Intelligence.
Computer Science.
Internal medicine.
Biotechnology.
Computer Hardware.
Internal Medicine.
Biostatistics.