Hoppa till sidans huvudinnehåll

Keijiro Araki – författare

Visar alla böcker från författaren Keijiro Araki.
6 produkter
Keijiro Araki, Andy Galloway, Kenji Taguchi - IFM’99, Häftad

IFM’99

Proceedings of the 1st International Conference on Integrated Formal Methods, York, 28–29 June 1999

AvKeijiro Araki,Andy Gallowaym. fl.

Häftad, Engelska, 1999

1 449 kr

Skickas inom 10-15 vardagar

Eiichi Goto, Keijiro Araki, Taiichi Yuasa - RIMS Symposium on Software Science and Engineering II, Häftad

RIMS Symposium on Software Science and Engineering II

Proceedings of the Symposia 1983 and 1984, Kyoto, Japan

AvEiichi Goto,Keijiro Arakim. fl.

Häftad, Engelska, 1986

729 kr

Skickas inom 10-15 vardagar

Zhiming Liu, Keijiro Araki - Theoretical Aspects of Computing - ICTAC 2004, Häftad

Theoretical Aspects of Computing - ICTAC 2004

First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers

AvZhiming Liu,Keijiro Araki

Häftad, Engelska, 2005

1 449 kr

Skickas inom 10-15 vardagar

Keijiro Araki, Stefania Gnesi, Dion Mandrioli - FME 2003: Formal Methods, Häftad

FME 2003: Formal Methods

International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings

AvKeijiro Araki,Stefania Gnesim. fl.

Häftad, Engelska, 2003

1 449 kr

Skickas inom 10-15 vardagar

Constantine Polychronopoulos, Kazuki Joe, Keijiro Araki, Makoto Amamiya - High Performance Computing, Häftad

High Performance Computing

International Symposium, ISHPC'97, Fukuoka, Japan, November 4-6, 1997, Proceedings

AvConstantine Polychronopoulos,Kazuki Joem. fl.

Häftad, Engelska, 1997

729 kr

Skickas inom 10-15 vardagar

Shaoying Liu, Tom Maibaum, Keijiro Araki - Formal Methods and Software Engineering, Häftad

Formal Methods and Software Engineering

10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008, Proceedings

AvShaoying Liu,Tom Maibaumm. fl.

Häftad, Engelska, 2008

729 kr

Skickas inom 10-15 vardagar