close
1.

電子ブック
ＥＢ
1. Recent Advances in the Message Passing Interface : 18th European MPI Users’ Group Meeting, EuroMPI 2011, Santorini, Greece, September 18-21, 2011. Proceedings
edited by Yiannis Cotronis, Anthony Danalis, Dimitrios S. Nikolopoulos, Jack Dongarra
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6960
オンライン: http://dx.doi.org/10.1007/978-3-642-24449-0
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Formal Modeling and Analysis of Timed Systems : 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011. Proceedings
edited by Uli Fahrenberg, Stavros Tripakis
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6919
オンライン: http://dx.doi.org/10.1007/978-3-642-24310-3
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. Frontiers of Combining Systems : 8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011. Proceedings
edited by Cesare Tinelli, Viorica Sofronie-Stokkermans
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6989
オンライン: http://dx.doi.org/10.1007/978-3-642-24364-6
所蔵情報: loading…
4.

電子ブック
ＥＢ
4. Towards a Service-Based Internet : 4th European Conference, ServiceWave 2011, Poznan, Poland, October 26-28, 2011. Proceedings
edited by Witold Abramowicz, Ignacio M. Llorente, Mike Surridge, Andrea Zisman, Julien Vayssière
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6994
オンライン: http://dx.doi.org/10.1007/978-3-642-24755-2
所蔵情報: loading…
5.

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

電子ブック
ＥＢ
6. Distributed Computing : 25th International Symposium, DISC 2011, Rome, Italy, September 20-22, 2011. Proceedings
edited by David Peleg
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6950
オンライン: http://dx.doi.org/10.1007/978-3-642-24100-0
所蔵情報: loading…
7.

電子ブック
ＥＢ
7. Formal Methods and Software Engineering : 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings
edited by Shengchao Qin, Zongyan Qiu
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6991
オンライン: http://dx.doi.org/10.1007/978-3-642-24559-6
所蔵情報: loading…
8.

電子ブック
ＥＢ
8. Methods and Tools of Parallel Programming Multicomputers : Second Russia-Taiwan Symposium, MTPP 2010, Vladivostok, Russia, May 16-19, 2010, Revised Selected Papers
edited by Ching-Hsien Hsu, Victor Malyshkin
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6083
オンライン: http://dx.doi.org/10.1007/978-3-642-14822-4
所蔵情報: loading…
9.

電子ブック
ＥＢ
9. Distributed Computing and Networking : 12th International Conference, ICDCN 2011, Bangalore, India, January 2-5, 2011. Proceedings
edited by Marcos K. Aguilera, Haifeng Yu, Nitin H. Vaidya, Vikram Srinivasan, Romit Roy Choudhury
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6522
オンライン: http://dx.doi.org/10.1007/978-3-642-17679-1
所蔵情報: loading…
10.

電子ブック
ＥＢ
10. Verification, Model Checking, and Abstract Interpretation : 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings
edited by Ranjit Jhala, David Schmidt
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6538
オンライン: http://dx.doi.org/10.1007/978-3-642-18275-4
所蔵情報: loading…