Home Advanced Search

Advanced Search - Page 1

RIMS Symposia on Software Science and Engineering II: Proceedings of the Symposia 1983 and 1984, Kyoto, Japan
  • PDF
  • English
  • Year: 1986
  • Author: Etsuya Shibayama (auth.), Eichi Goto, Keijiro Araki, Taiichi Yuasa (eds.)
RIMS Symposia on Software Science and Engineering II: Proceedings of the Symposia 1983 and 1984, Kyoto, Japan
  • DJVU
  • English
  • Year: 1986
  • Author: Etsuya Shibayama (auth.), Eichi Goto, Keijiro Araki, Taiichi Yuasa (eds.)
The IOTA Programming System: A Modular Programming Environment
  • PDF
  • English
  • Year: 1983
  • Author: Reiji Nakajima, Taiichi Yuasa (eds.)
The IOTA Programming System: A Modular Programming Environment
  • DJVU
  • English
  • Year: 1983
  • Author: Reiji Nakajima, Taiichi Yuasa (eds.)
Theoretical Aspects of Computing - ICTAC 2004: First International Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected Papers
  • PDF
  • English
  • Year: 2005
  • Author: José Luiz Fiadeiro (auth.), Zhiming Liu, Keijiro Araki (eds.)
FME 2003: Formal Methods: International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003. Proceedings
  • PDF
  • English
  • Year: 2003
  • Author: Kouichi Kishida (auth.), Keijiro Araki, Stefania Gnesi, Dino Mandrioli (eds.)
FME 2003: Formal Methods: International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003. Proceedings
  • PDF
  • English
  • Year: 2003
  • Author: Kouichi Kishida (auth.), Keijiro Araki, Stefania Gnesi, Dino Mandrioli (eds.)
FME 2003: Formal Methods: International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003. Proceedings
  • PDF
  • English
  • Year: 2003
  • Author: Kouichi Kishida (auth.), Keijiro Araki, Stefania Gnesi, Dino Mandrioli (eds.)
Formal Methods and Software Engineering: 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: Takuya Katayama (auth.), Shaoying Liu, Tom Maibaum, Keijiro Araki (eds.)
IFM’99: Proceedings of the 1st International Conference on Integrated Formal Methods, York, 28-29 June 1999
  • PDF
  • English
  • Year: 1999
  • Author: He Jifeng (auth.), Keijiro Araki PhD, Andy Galloway PhD, MSc,BSc(Hons), Kenji Taguchi MA (eds.)
search