close
1.

電子ブック
ＥＢ
1. Network and Parallel Computing : 8th IFIP International Conference, NPC 2011, Changsha, China, October 21-23, 2011. Proceedings
edited by Erik Altman, Weisong Shi
出版情報: Berlin, Heidelberg : IFIP International Federation for Information Processing, 2011
シリーズ名: Lecture Notes in Computer Science ; 6985
オンライン: http://dx.doi.org/10.1007/978-3-642-24403-2
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. NASA Formal Methods : Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings
edited by Mihaela Bobaru, Klaus Havelund, Gerard J. Holzmann, Rajeev Joshi
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6617
オンライン: http://dx.doi.org/10.1007/978-3-642-20398-5
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. Managing the Dynamics of Networks and Services : 5th International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2011, Nancy, France, June 13-17, 2011. Proceedings
edited by Isabelle Chrisment, Alva Couch, Rémi Badonnel, Martin Waldburger
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6734
オンライン: http://dx.doi.org/10.1007/978-3-642-21484-4
所蔵情報: loading…
4.

電子ブック
ＥＢ
4. Search Based Software Engineering : Third International Symposium, SSBSE 2011, Szeged, Hungary, September 10-12, 2011. Proceedings
edited by Myra B. Cohen, Mel Ó Cinnéide
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6956
オンライン: http://dx.doi.org/10.1007/978-3-642-23716-4
所蔵情報: loading…
5.

電子ブック
ＥＢ
5. Mechanisms for Autonomous Management of Networks and Services : 4th International Conference on Autonomous Infrastructure, Management and Security, AIMS 2010, Zurich, Switzerland, June 23-25, 2010. Proceedings
edited by Burkhard Stiller, Filip Turck
出版情報: Berlin, Heidelberg : IFIP International Federation for Information Processing, 2010
シリーズ名: Lecture Notes in Computer Science ; 6155
オンライン: http://dx.doi.org/10.1007/978-3-642-13986-4
所蔵情報: loading…
6.

電子ブック
ＥＢ
6. Network and Parallel Computing : IFIP International Conference, NPC 2010, Zhengzhou, China, September 13-15, 2010. Proceedings
edited by Chen Ding, Zhiyuan Shao, Ran Zheng
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6289
オンライン: http://dx.doi.org/10.1007/978-3-642-15672-4
所蔵情報: loading…
7.

電子ブック
ＥＢ
7. Formal Methods for Components and Objects : 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers
edited by Frank S. Boer, Marcello M. Bonsangue, Stefan Hallerstede, Michael Leuschel
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6286
オンライン: http://dx.doi.org/10.1007/978-3-642-17071-3
所蔵情報: loading…
8.

電子ブック
ＥＢ
8. Advances in Grid and Pervasive Computing : 5th International Conference, GPC 2010, Hualien, Taiwan, May 10-13, 2010. Proceedings
edited by Paolo Bellavista, Ruay-Shiung Chang, Han-Chieh Chao, Shin-Feng Lin, Peter M. A. Sloot
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6104
オンライン: http://dx.doi.org/10.1007/978-3-642-13067-0
所蔵情報: loading…