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. 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…
4.

電子ブック
ＥＢ
4. Job Scheduling Strategies for Parallel Processing : 15th International Workshop, JSSPP 2010, Atlanta, GA, USA, April 23, 2010, Revised Selected Papers
edited by Eitan Frachtenberg, Uwe Schwiegelshohn
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6253
オンライン: http://dx.doi.org/10.1007/978-3-642-16505-4
所蔵情報: loading…
5.

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