Araki, Keijirō, 1954-
Araki, Keijiro
荒木, 啓二郎, 1954-
荒木啓二郎 日本の情報工学者
아라키 게이지로 1954-
荒木, 啓二郎
VIAF ID: 34711096 ( Personal )
Permalink: http://viaf.org/viaf/34711096
Preferred Forms
- 200 _ | ‡a Araki ‡b Keijiro
- 100 1 _ ‡a Araki, Keijiro
-
-
-
-
- 100 1 _ ‡a Araki, Keijiro ‡d 1954-
-
-
- 100 1 _ ‡a Araki, Keijiro, ‡d 1954-...
-
- 100 1 _ ‡a Araki, Keijirō, ‡d 1954-
-
- 100 1 _ ‡a 荒木, 啓二郎
- 100 1 _ ‡a 荒木, 啓二郎, ‡d 1954-
- 100 0 _ ‡a 荒木啓二郎 ‡c 日本の情報工学者
- 100 1 _ ‡a 아라키 게이지로 ‡d 1954-
4xx's: Alternate Name Forms (21)
Works
Title | Sources |
---|---|
FME 2003 | |
FME 2003 : formal methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 : proceedings | |
Formal methods and software engineering : 10th international conference on formal engineering methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008 : proceedings | |
High performance computing : international symposium, ISHPC '97, Fukuoka, Japan, November 4-6, 1997 : proceedings | |
ICFEM 2008 | |
ICTAC 2004 | |
IFM '99 / Keijiro Araki, Andy Galloway and Kenji Taguchi (eds.). - London, 1999. | |
Integrated formal methods 1999, 1999: | |
Kenkyūsha sōran, shizen, 1984: | |
Modelling systems. | |
Programming in Ada. 2nd ed. | |
Puroguramingu gengo no imiron nyūmon | |
RIMS symposia on software science and engineering II : proceedings of the symposia 1983 and 1984, Kyoto, Japan | |
semantics of programming languages. | |
Sofutōea kaihatsu no moderuka gihō | |
Sofutōea kōgaku no kiso : Nihon sofutōea kagakkai FOSE '99. | |
Some Statistical Analyses of Fitness Landscape Created by the Hopfield Model of Associative Memory | |
Theoretical aspects of computing : ICTAC 2004 : first international colloquium, Guiyang, China, September 20-24, 2004 : revised selected papers | |
VDM++による形式仕様記述 : 形式仕様入門・活用の第一步 | |
vuidīemu purasupurasu ni yoru keishiki shiyō kijutsu | |
セキュリティプロトコルの形式的記述および検証に関する基礎的研究 | |
ソフトウェア工学の基礎. | |
ソフトウェア開発のモデル化技法とシステム特性干渉解析に関する研究 | |
プログラミング言語の意味論入門 | |
プログラム仕様記述論 | |
形式手法に基づく高品質組込み制御システム開発法の系統化に関する基礎的研究 |