語系
Shao, Zhong.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Programming languages and systems23rd 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:
(1998 :); Shao, Zhong.; SpringerLink (Online service)
(書目-電子資源)
Certified programs and proofsfirst international conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011 : proceedings /
by:
(1998 :); Jouannaud, Jean-Pierre.; Shao, Zhong.; SpringerLink (Online service)
(書目-電子資源)
主題
Mathematical Logic and Formal Languages.
Software Engineering.
Logics and Meanings of Programs.
Artificial Intelligence (incl. Robotics)
Computation by Abstract Devices.
Programming Techniques.
Programming Languages, Compilers, Interpreters.
Computer programming
Programming languages (Electronic computers)
Computer science
Computer Science.
Symbolic and Algebraic Manipulation.