close
1.

電子ブック
ＥＢ
1. Formal Methods for Web Services : 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures
edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Marco Bernardo, Luca Padovani, Gianluigi Zavattaro
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5569
オンライン: http://dx.doi.org/10.1007/978-3-642-01918-0
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. 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…
3.

電子ブック
ＥＢ
3. Formal Methods for Open Object-Based Distributed Systems (vol. # 3535) : 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings
edited by Martin Steffen, Gianluigi Zavattaro
出版情報: Berlin Heidelberg : Springer Science+Business Media, Inc., 2005
シリーズ名: Lecture Notes in Computer Science ; 3535
オンライン: http://dx.doi.org/10.1007/b136996
所蔵情報: loading…