語系
Shao, Zhong.
概要
| 作品: | 24 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Programming languages and systems = 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014 : proceedings /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Shao, Zhong.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Certified programs and proofs = first international conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011 : proceedings /
by:
Shao, Zhong.; Workshop on the Preservation of Stability under Discretization ((2001 :); Jouannaud, Jean-Pierre.; SpringerLink (Online service)
(書目-語言資料,印刷品)
主題
Software Engineering.
Artificial Intelligence (incl. Robotics)
Symbolic and Algebraic Manipulation.
Programming languages (Electronic computers)
Computer Science.
Programming Techniques.
Programming Languages, Compilers, Interpreters.
Computer programming
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Computer science
Computation by Abstract Devices.