Pang, Jun.
概要
| 作品: | 2 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Computational methods in systems biology21st International Conference, CMSB 2023, Luxembourg City, Luxembourg, September 13-15, 2023 : proceedings /
by:
(1998 :); Niehren, Joachim.; Pang, Jun.; SpringerLink (Online service)
(書目-電子資源)
Dependable software engineeringtheories, tools, and applications : 6th International Symposium, SETTA 2020, Guangzhou, China, November 24-27, 2020 : proceedings /
by:
(1998 :); Pang, Jun.; SpringerLink (Online service); Zhang, Lijun.
(書目-電子資源)
Formal methods and software engineering16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014 : proceedings /
by:
(1998 :); Merz, Stephan.; Pang, Jun.; SpringerLink (Online service)
(書目-電子資源)
主題
Software engineering
Software Engineering.
Mathematical Logic and Formal Languages.
Theory of Computation.
Logic in AI.
Programming Techniques.
Algorithm Analysis and Problem Complexity.
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
Computational and Systems Biology.
Biological Models.
Artificial Intelligence.
Computer Science.
Computer Communication Networks.
Computer Systems Organization and Communication Networks.
Simulation and Modeling.
Systems biology
Computer System Implementation.
Computational biology