 |
|
|
|
| 1. |
|
IFM'99
Keijiro Araki, Andy Galloway, Kenji Taguchi
E-bok. Springer London, 2012.
|
 |
| 2. |
|
IFM'99
Keijiro Araki, Andy Galloway, Kenji Taguchi
Häftad. Springer London Ltd, Storbritannien, 1999.
|
|
| 3. |
|
RIMS Symposium on Software Science and Engineering II
Eiichi Goto, Keijiro Araki, Taiichi Yuasa
Häftad. Springer-Verlag Berlin and Heidelberg GmbH & Co. K, Tyskland, 1986.
|
|
| 4. |
|
Theoretical Aspects of Computing - ICTAC 2004
Zhiming Liu, Keijiro Araki
Häftad. Springer-Verlag Berlin and Heidelberg GmbH & Co. K, Tyskland, 2005.
|
|
| 5. |
|
Theoretical Aspects of Computing - ICTAC 2004
Zhiming Liu, Keijiro Araki
E-bok. Springer Berlin Heidelberg, Tyskland, 2005.
|
|
| 6. |
|
FME 2003: Formal Methods
Keijiro Araki, Stefania Gnesi, Dion Mandrioli
Häftad. Springer-Verlag Berlin and Heidelberg GmbH & Co. K, Tyskland, 2003.
|
|
| 7. |
|
FME 2003: Formal Methods
Keijiro Araki, Stefania Gnesi, Dion Mandrioli
E-bok. Springer Berlin Heidelberg, Tyskland, 2003.
|
|
| 8. |
|
High Performance Computing
Constantine Polychronopoulos, Kazuki Joe, Keijiro Araki, Makoto Amamiya
Häftad. Springer-Verlag Berlin and Heidelberg GmbH & Co. K, Tyskland, 1997.
|
|
| 9. |
|
Formal Methods and Software Engineering
Shaoying Liu, Tom Maibaum, Keijiro Araki
Häftad. Springer-Verlag Berlin and Heidelberg GmbH & Co. K, Tyskland, 2008.
|
|
| 10. |
|
Formal Methods and Software Engineering
Shaoying Liu, Tom Maibaum, Keijiro Araki
E-bok. Springer Berlin Heidelberg, Tyskland, 2008.
|
|
|
|
