MPG.eBooks - Author Search Results

Cover Image

1

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

by Araki, Keijiro
Published 1986

Springer

Cover Image

2

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

by Araki, Keijiro
Published 2003

Springer Berlin Heidelberg

Cover Image

3

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

Published 2005

Springer Berlin Heidelberg

Other Authors: “...Araki, Keijiro...”

Cover Image

4

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

Published 2008

Springer Berlin Heidelberg

Other Authors: “...Araki, Keijiro...”

Cover Image

5

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

by Polychronopoulos, Constantine
Published 1997

Springer Berlin Heidelberg

Other Authors: “...Araki, Keijiro...”

Cover Image

6

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

Published 1986

Springer Berlin Heidelberg

Other Authors: “...Araki, Keijiro...”

Cover Image

7

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

Published 2003

Springer Berlin Heidelberg

Other Authors: “...Araki, Keijiro...”

Cover Image

8

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

Published 1999

Springer London

Other Authors: “...Araki, Keijiro...”

Cover Image

9

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

Published 1997

Springer Berlin Heidelberg

Other Authors: “...Araki, Keijiro...”