Sun, Jun.
Overview
| Works: | 4 works in 9 publications in 1 languages | |
|---|---|---|
Titles
Inflammation, infection, and microbiome in cancersevidence, mechanisms, and implications /
by:
SpringerLink (Online service); Sun, Jun.
(Electronic resources)
Dependable software engineeringtheories, tools, and applications : 9th International Symposium, SETTA 2023, Nanjing, China, November 27-29, 2023 : proceedings /
by:
(1998 :); Bu, Lei.; Hermanns, Holger.; SpringerLink (Online service); Sun, Jun.
(Electronic resources)
Dependable software engineeringtheories, tools, and applications : 5th International Symposium, SETTA 2019, Shanghai, China, November 27-29, 2019 : proceedings /
by:
(1998 :); Guan, Nan.; Katoen, Joost-Pieter.; SpringerLink (Online service); Sun, Jun.
(Electronic resources)
Statistical analysis of microbiome data with R
by:
Chen, Ding-Geng.; SpringerLink (Online service); Sun, Jun.; Xia, Yinglin.
(Electronic resources)
Automated technology for verification and analysis21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023 : proceedings.Part I /
by:
(1998 :); Andre, Etienne.; SpringerLink (Online service); Sun, Jun.
(Electronic resources)
Bioinformatic and statistical analysis of microbiome datafrom raw sequences to advanced modeling with QIIME 2 and R /
by:
SpringerLink (Online service); Sun, Jun.; Xia, Yinglin.
(Electronic resources)
Automated technology for verification and analysis21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023 : proceedings.Part II /
by:
(1998 :); Andre, Etienne.; SpringerLink (Online service); Sun, Jun.
(Electronic resources)
FM 2014Formal methods : 19th International Symposium, Singapore, May 12-16, 2014 : proceedings /
by:
(1998 :); Jones, Cliff.; Pihlajasaari, Pekka.; SpringerLink (Online service); Sun, Jun.
(Electronic resources)
Mechanisms underlying host-microbiome interactions in pathophysiology of human diseases
by:
Dudeja, Pradeep K.; SpringerLink (Online service); Sun, Jun.
(Electronic resources)
Subjects
Software Engineering.
Mathematical Logic and Formal Languages.
Software engineering
Microbial carcinogenesis.
Microorganisms.
Theory of Computation.
Logics and Meanings of Programs.
Medical microbiology.
Bioinformatics.
Biomedical Engineering and Bioengineering.
Management of Computing and Information Systems.
Computation by Abstract Devices.
Control Structures and Microprogramming.
Molecular Medicine.
Statistics and Computing.
Automatic theorem proving
Formal methods (Computer science)
Biomedicine.
Microbiology
Statistics for Life Sciences, Medicine, Health Sciences.
Cancer Research.
Human body
Human Physiology.
Medical Microbiology.
Big Data.
Immunology.
Computer Engineering and Networks.
Artificial Intelligence.
Computer Science.
Internal medicine.
Statistics.
Statistics and Computing/Statistics Programs.
Computer Systems Organization and Communication Networks.
Simulation and Modeling.
Biotechnology.
Computer Hardware.
Internal Medicine.
Cancer
Biostatistics.