Languages
Sun, Jun.
Overview
| Works: | 1 works in 6 publications in 1 languages | |
|---|---|---|
Titles
FM 2014 = Formal methods : 19th International Symposium, Singapore, May 12-16, 2014 : proceedings /
by:
Sun, Jun.; SpringerLink (Online service); Jones, Cliff.; Pihlajasaari, Pekka.
(Electronic resources)
Nanoscale precipitation in hot rolled sheet steel.
by:
Sun, Jun.; Colorado School of Mines., Metallurgical and Materials Engineering.
(Language materials, printed)
Mechanisms underlying host-microbiome interactions in pathophysiology of human diseases
by:
Sun, Jun.; SpringerLink (Online service); Dudeja, Pradeep K.
(Electronic resources)
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.
(Electronic resources)
Inflammation, infection, and microbiome in cancers = evidence, mechanisms, and implications /
by:
Sun, Jun.; SpringerLink (Online service)
(Electronic resources)
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 :)
(Electronic resources)
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.
(Electronic resources)
Modeling and finite element analysis of welding distortions and residual stresses in large and complex structures.
by:
Sun, Jun.; The Pennsylvania State University.
(Electronic resources)
Subjects
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.