Sun, Jun.
概要
作品: | 2 作品在 9 項出版品 1 種語言 |
---|
書目資訊
Inflammation, infection, and microbiome in cancersevidence, mechanisms, and implications /
by:
SpringerLink (Online service); Sun, Jun.
(書目-電子資源)
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.
(書目-電子資源)
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.
(書目-電子資源)
Statistical analysis of microbiome data with R
by:
Chen, Ding-Geng.; SpringerLink (Online service); Sun, Jun.; Xia, Yinglin.
(書目-電子資源)
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.
(書目-電子資源)
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.
(書目-電子資源)
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.
(書目-電子資源)
FM 2014Formal methods : 19th International Symposium, Singapore, May 12-16, 2014 : proceedings /
by:
(1998 :); Jones, Cliff.; Pihlajasaari, Pekka.; SpringerLink (Online service); Sun, Jun.
(書目-電子資源)
Mechanisms underlying host-microbiome interactions in pathophysiology of human diseases
by:
Dudeja, Pradeep K.; SpringerLink (Online service); Sun, Jun.
(書目-電子資源)
主題
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.