close
1.

電子ブック
ＥＢ
1. FORMS/FORMAT 2010 : Formal Methods for Automation and Safety in Railway and Automotive Systems
edited by Eckehard Schnieder, Geza Tarnai
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2011
オンライン: http://dx.doi.org/10.1007/978-3-642-14261-1
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Vulnerable Systems
by Wolfgang Kröger, Enrico Zio
出版情報: London : Springer-Verlag London Limited, 2011
オンライン: http://dx.doi.org/10.1007/978-0-85729-655-9
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. Complex System Reliability : Multichannel Systems with Imperfect Fault Coverage. 2nd Edition
by Albert Myers
出版情報: London : Springer-Verlag London, 2010
シリーズ名: Springer Series in Reliability Engineering ; 0
オンライン: http://dx.doi.org/10.1007/978-1-84996-414-2
所蔵情報: loading…