Keijiro Araki | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 6 tuotetta
Haluatko tarkentaa hakukriteerejä?

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

Araki, Keijiro; Gnesi, Stefania; Mandrioli, Dion
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2003
Pehmeäkantinen kirja

100,90 €

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

Araki, Keijiro; Galloway, Andy; Taguchi, Kenji
Springer London Ltd
1999
Pehmeäkantinen kirja

100,90 €

RIMS Symposium on Software Science and Engineering II - Proceedings of the Symposia 1983 and 1984, Kyoto, Japan

Goto, Eiichi; Araki, Keijiro; Yuasa, Taiichi
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
1986
Pehmeäkantinen kirja

51,10 €

Theoretical Aspects of Computing - ICTAC 2004 - First International Colloquium Guiyand, China, September 20-24, 2004, Revised Se

Liu, Zhiming; Araki, Keijiro
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2005
Pehmeäkantinen kirja

100,90 €

Formal Methods and Software Engineering : 10th International Conference on Formal Engineering Methods ICFEM 2008,

Liu, Shaoying; Maibaum, Tom; Araki, Keijiro
Springer
2008
Pehmeäkantinen kirja

51,10 €

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

Polychronopoulos, Constantine; Joe, Kazuki; Araki, Keijiro; Amamiya, Makoto
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
1997
Pehmeäkantinen kirja

51,10 €