|
|

avaa valikko

Keijiro Araki | Akateeminen Kirjakauppa

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



Araki, Keijiro; Gnesi, Stefania; Mandrioli, Dion
Springer
2003
Pehmeäkantinen kirja
FME 2003: Formal Methods : International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
100,90 €
Araki, Keijiro; Galloway, Andy; Taguchi, Kenji
Springer London Ltd
1999
Pehmeäkantinen kirja
IFM’99 - Proceedings of the 1st International Conference on Integrated Formal Methods, York, 28–29 June 1999
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
100,90 €
Goto, Eiichi; Araki, Keijiro; Yuasa, Taiichi
Springer
1986
Pehmeäkantinen kirja
RIMS Symposium on Software Science and Engineering II : Proceedings of the Symposia 1983 and 1984, Kyoto, Japan
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Liu, Zhiming; Araki, Keijiro
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2005
Pehmeäkantinen kirja
Theoretical Aspects of Computing - ICTAC 2004 - First International Colloquium Guiyand, China, September 20-24, 2004, Revised Se
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
100,90 €
Liu, Shaoying; Maibaum, Tom; Araki, Keijiro
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2008
Pehmeäkantinen kirja
Formal Methods and Software Engineering - 10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-Cit
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Polychronopoulos, Constantine; Joe, Kazuki; Araki, Keijiro; Amamiya, Makoto
Springer
1997
Pehmeäkantinen kirja
High Performance Computing : International Symposium, ISHPC'97, Fukuoka, Japan, November 4-6, 1997, Proceedings
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €