語系
Yi, Wang.
概要
| 作品: | 0 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Model Checking, Synthesis, and Learning = Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday /
by:
Steffen, Bernhard.; Olderog, Ernst-Rüdiger.; SpringerLink (Online service); Yi, Wang.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Model Checking, Synthesis, and Learning = Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday /
by:
Yi, Wang.; SpringerLink (Online service); Steffen, Bernhard.; Olderog, Ernst-Rüdiger.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Dependable Software Engineering: Theories, Tools, and Applications = First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings /
by:
Li, Xuandong.; SpringerLink (Online service); Liu, Zhiming.; Yi, Wang.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Dependable software engineering = theories, tools, and applications : first International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015 : proceedings /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Li, Xuandong.; Yi, Wang.; Liu, Zhiming.; SpringerLink (Online service)
(書目-語言資料,印刷品)
主題
Software Engineering.
Mathematical logic.
Computer logic.
Artificial intelligence.
Logic, Symbolic and mathematical.
Control Structures and Microprogramming.
Simulation and Modeling.
Software engineering.
Computers, Special purpose.
Computer science.
Software engineering
Computer Science.
Microprogramming .
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Computer simulation.
Special purpose computers.
Computer Science Logic and Foundations of Programming.
Artificial Intelligence.
Special Purpose and Application-Based Systems.