close
1.

電子ブック
ＥＢ
1. Theoretical Aspects of Computing - ICTAC 2004
Zhiming Liu, Keijiro Araki, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Formal Methods and Software Engineering
Shaoying Liu, Keijiro Araki, Takeo Kanade, Tom Maibaum
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. Formal Methods and Software Engineering
Shaoying Liu, Keijiro Araki, Takeo Kanade, Tom Maibaum
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
4.

電子ブック
ＥＢ
4. Theoretical Aspects of Computing - ICTAC 2004
Zhiming Liu, Keijiro Araki, Takeo Kanade, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼