Hoppa till sidans huvudinnehåll

Keijiro Araki - Böcker

Visar alla böcker från författaren Keijiro Araki.
6 produkter

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 419 kr

Skickas inom 10-15 vardagar

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

719 kr

Skickas inom 10-15 vardagar

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 419 kr

Skickas inom 10-15 vardagar

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 419 kr

Skickas inom 10-15 vardagar

High Performance Computing

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

AvConstantine Polychronopoulos,Kazuki Joem. fl.

Häftad, Engelska, 1997

719 kr

Skickas inom 10-15 vardagar

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

719 kr

Skickas inom 10-15 vardagar