語系
Araki, Keijiro.
概要
| 作品: | 10 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Theoretical Aspects of Computing - ICTAC 2004 = First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers /
by:
Araki, Keijiro.; Liu, Zhiming.; SpringerLink (Online service); ICTAC 2004 ((2004 :)
(書目-語言資料,印刷品)
Formal methods and software engineering = 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008 : proceedings /
by:
Liu, Shaoying.; Maibaum, Tom.; Araki, Keijiro.; SpringerLink (Online service)
(書目-電子資源)
主題
Electronic data processing- Congresses.
Mathematical Logic and Formal Languages.
Software Engineering.
Software engineering
Logics and Meanings of Programs.
Computation by Abstract Devices.
Programming Techniques.
Algorithm Analysis and Problem Complexity.
Programming Languages, Compilers, Interpreters.
Formal methods (Computer science)
Information theory- Congresses.
Models and Principles.
Computer Science.
Computer Communication Networks.