close
1.

電子ブック
ＥＢ
1. Advanced Parallel Processing Technologies : 9th International Symposium, APPT 2011, Shanghai, China, September 26-27, 2011. Proceedings
edited by Olivier Temam, Pen-Chung Yew, Binyu Zang
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6965
オンライン: http://dx.doi.org/10.1007/978-3-642-24151-2
所蔵情報: loading…
2.

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

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

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

電子ブック
ＥＢ
5. Euro-Par 2011 Parallel Processing : 17th International Conference, Euro-Par 2011, Bordeaux, France, August 29 - September 2, 2011, Proceedings, Part I
edited by Emmanuel Jeannot, Raymond Namyst, Jean Roman
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6852
オンライン: http://dx.doi.org/10.1007/978-3-642-23400-2
所蔵情報: loading…
6.

電子ブック
ＥＢ
6. Euro-Par 2011 Parallel Processing : 17th International Conference, Euro-Par 2011, Bordeaux, France, August 29 - September 2, 2011, Proceedings, Part II
edited by Emmanuel Jeannot, Raymond Namyst, Jean Roman
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6853
オンライン: http://dx.doi.org/10.1007/978-3-642-23397-5
所蔵情報: loading…
7.

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

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

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

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