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.)
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.)
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.)
High Performance Computing: International Symposium, ISHPC'97 Fukuoka, Japan, November 4–6, 1997 Proceedings
  • DJVU
  • English
  • Year: 1997
  • Author: Bret A. Marsolf, Aart J. C. Bik, Kyle A. Gallivan (auth.), Constantine Polychronopoulos, Kazuki Joe, Keijiro Araki, Makoto Amamiya (eds.)
Responsive Gels: Volume Transitions I
  • PDF
  • English
  • Year: 1993
  • Author: Mitsuhiro Shibayama, Toyoichi Tanaka (auth.), Prof. K. Dušek (eds.)
search