Cărți de Keijiro Araki

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

Lecture Notes in Computer Science, nr. 5256

Editat de Shaoying Liu et al.

8 oct 2008

Preț: 339^.47 lei 424^.34 lei

6-8 săpt.

-20%

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

Lecture Notes in Computer Science, nr. 3407

Editat de Zhiming Liu et al.

8 mar 2005

Preț: 659^.63 lei 824^.54 lei

6-8 săpt.

-20%

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

Lecture Notes in Computer Science, nr. 2805

Editat de Keijiro Araki et al.

27 aug 2003

Preț: 678^.30 lei 847^.88 lei

6-8 săpt.

-20%

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

Editat de Keijiro Araki et al.

24 iun 1999

Preț: 655^.35 lei 819^.19 lei

6-8 săpt.

-20%

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

Lecture Notes in Computer Science, nr. 1336

Editat de Constantine Polychronopoulos et al.

22 oct 1997

Preț: 353^.66 lei 442^.07 lei

6-8 săpt.

-20%

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

Lecture Notes in Computer Science, nr. 220

Editat de Eiichi Goto et al.

mai 1986

Preț: 334^.53 lei 418^.16 lei

6-8 săpt.

-20%