Languages
Araki, Keijiro.
Overview
| Works: | 10 works in 1 publications in 1 languages | |
|---|---|---|
Titles
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 :)
(Language materials, printed)
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 resources)
Subjects
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.