close
1.

電子ブック
ＥＢ
1. Formal Methods for Computational Systems Biology : 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures
edited by Marco Bernardo, Pierpaolo Degano, Gianluigi Zavattaro
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 5016
オンライン: http://dx.doi.org/10.1007/978-3-540-68894-5
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Formal Methods for Mobile Computing : 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures
edit
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3465
オンライン: http://dx.doi.org/10.1007/b135888
所蔵情報: loading…