語系
Qin, Shengchao.
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Dependable Software Engineering. Theories, Tools, and Applications = 7th International Symposium, SETTA 2021, Beijing, China, November 25–27, 2021, Proceedings /
by:
SpringerLink (Online service); Woodcock, Jim.; Zhang, Wenhui.; Qin, Shengchao.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Formal Methods and Software Engineering = 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings /
by:
Ait-Ameur, Yamine.; Qin, Shengchao.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Formal methods and software engineering = 13th international conference on formal engineering methods, ICFEM 2011, Durham, UK, October 26-28, 2011 : proceedings /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Qin, Shengchao.; Qiu, Zongyan.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Dependable Software Engineering. Theories, Tools, and Applications = 7th International Symposium, SETTA 2021, Beijing, China, November 25–27, 2021, Proceedings /
by:
Zhang, Wenhui.; Qin, Shengchao.; SpringerLink (Online service); Woodcock, Jim.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
Software Engineering.
Formal methods (Computer science)
Computer organization.
Computer engineering.
Software Engineering/Programming and Operating Systems.
Algorithm Analysis and Problem Complexity.
Computer networks .
Artificial intelligence.
Computer Communication Networks.
Software engineering.
Theory of Computation.
Programming Techniques.
Computer Science.
Computer Systems Organization and Communication Networks.
Mathematical Logic and Formal Languages.
Computer simulation.
Computer Engineering and Networks.
Artificial Intelligence.
Simulation and Modeling.
Computers.
Software engineering
Programming Languages, Compilers, Interpreters.