Showing 1 - 6 results of 6 for search 'Araki, Keijiro', query time: 0.03s Narrow Search
  1. 1
    Theoretical Aspects of Computing - ICTAC 2004 First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers
    Published 2005
    Other Authors: Click to view e-book
    eBook
    Save to List
    Saved in:
  2. 2
    FME 2003: Formal Methods International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings
    Published 2003
    Other Authors: “…Araki, Keijiro…”
    Click to view e-book
    eBook
    Save to List
    Saved in:
  3. 3
    IFM’99 Proceedings of the 1st International Conference on Integrated Formal Methods, York, 28–29 June 1999
    Published 1999
    Other Authors: “…Araki, Keijiro…”
    Click to view e-book
    eBook
    Save to List
    Saved in:
  4. 4
    RIMS Symposium on Software Science and Engineering II Proceedings of the Symposia 1983 and 1984, Kyoto, Japan
    Published 1986
    Other Authors: Click to view e-book
    eBook
    Save to List
    Saved in:
  5. 5
    Formal Methods and Software Engineering 10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008, Proceedings
    Published 2008
    Other Authors: Click to view e-book
    eBook
    Save to List
    Saved in:
  6. 6
    High Performance Computing International Symposium, ISHPC'97, Fukuoka, Japan, November 4-6, 1997, Proceedings
    Published 1997
    Other Authors: Click to view e-book
    eBook
    Save to List
    Saved in:

Search Tools: