close
1.

電子ブック
ＥＢ
1. Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
Gilles Barthe, Lilian Burdy, Marieke Huisman, Takeo Kanade, Jean-Louis Lanet, Traian Muntean
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
Gilles Barthe, Benjamin Gr?goire, Marieke Huisman, Takeo Kanade, Jean-Louis Lanet, Institut national de recherche en informatique et en automatique (France)
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
Gilles Barthe, Benjamin Grégoire, Marieke Huisman, Takeo Kanade, Jean-Louis Lanet, Institut national de recherche en informatique et en automatique (France), Jean-Luis Lanet
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
4.

電子ブック
ＥＢ
4. Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
Gilles Barthe, Lilian Burdy, Marieke Huisman, Takeo Kanade, Jean-Louis Lanet, Traian Muntean
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼