語系
Yang, Hongseok.
概要
| 作品: | 0 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Programming languages and systems = 9th Asian symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011 : proceedings /
by:
Yang, Hongseok.; SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :)
(書目-語言資料,印刷品)
Programming languages and systems = 26th European Symposium on Programming, ESOP 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017 : proceedings /
by:
SpringerLink (Online service); Yang, Hongseok.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(書目-語言資料,印刷品)
主題
Software Engineering.
Systems and Data Security.
Software engineering
Programming languages (Electronic computers)
Programming Techniques.
Computer Science.
Programming Languages, Compilers, Interpreters.
Computer programming
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Computation by Abstract Devices.