close
1.

電子ブック
ＥＢ
1. Algorithms and Architectures for Parallel Processing : 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Proceedings. Part I
edited by Ching-Hsien Hsu, Laurence T. Yang, Jong Hyuk Park, Sang-Soo Yeo
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6081
オンライン: http://dx.doi.org/10.1007/978-3-642-13119-6
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Algorithms and Architectures for Parallel Processing : 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Workshops, Part II
edited by Ching-Hsien Hsu, Laurence T. Yang, Jong Hyuk Park, Sang-Soo Yeo
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6082
オンライン: http://dx.doi.org/10.1007/978-3-642-13136-3
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. Modelling Foundations and Applications : 6th European Conference, ECMFA 2010, Paris, France, June 15-18, 2010. Proceedings
edited by Thomas Kühne, Bran Selic, Marie-Pierre Gervais, François Terrier
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6138
オンライン: http://dx.doi.org/10.1007/978-3-642-13595-8
所蔵情報: loading…
4.

電子ブック
ＥＢ
4. Architecting Critical Systems : First International Symposium, ISARCS 2010, Prague, Czech Republic, June 23-25, 2010 Proceedings
edited by Holger Giese
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6150
オンライン: http://dx.doi.org/10.1007/978-3-642-13556-9
所蔵情報: loading…
5.

電子ブック
ＥＢ
5. Coordination Models and Languages : 12th International Conference, COORDINATION 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings
edited by Dave Clarke, Gul Agha
出版情報: Berlin, Heidelberg : IFIP International Federation for Information Processing, 2010
シリーズ名: Lecture Notes in Computer Science ; 6116
オンライン: http://dx.doi.org/10.1007/978-3-642-13414-2
所蔵情報: loading…
6.

電子ブック
ＥＢ
6. Formal Techniques for Distributed Systems : Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings
edited by John Hatcliff, Elena Zucca
出版情報: Berlin, Heidelberg : IFIP International Federation for Information Processing, 2010
シリーズ名: Lecture Notes in Computer Science ; 6117
オンライン: http://dx.doi.org/10.1007/978-3-642-13464-7
所蔵情報: loading…
7.

電子ブック
ＥＢ
7. Applications and Theory of Petri Nets : 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010. Proceedings
edited by Johan Lilius, Wojciech Penczek
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6128
オンライン: http://dx.doi.org/10.1007/978-3-642-13675-7
所蔵情報: loading…
8.

電子ブック
ＥＢ
8. Component-Based Software Engineering : 13th International Symposium, CBSE 2010, Prague, Czech Republic, June 23-25, 2010. Proceedings
edited by Lars Grunske, Ralf Reussner, Frantisek Plasil
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6092
オンライン: http://dx.doi.org/10.1007/978-3-642-13238-4
所蔵情報: loading…
9.

電子ブック
ＥＢ
9. Distributed Computing in Sensor Systems : 6th IEEE International Conference, DCOSS 2010, Santa Barbara, CA, USA, June 21-23, 2010. Proceedings
edited by Rajmohan Rajaraman, Thomas Moscibroda, Adam Dunkels, Anna Scaglione
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6131
オンライン: http://dx.doi.org/10.1007/978-3-642-13651-1
所蔵情報: loading…
10.

電子ブック
ＥＢ
10. Product-Focused Software Process Improvement : 11th International Conference, PROFES 2010, Limerick, Ireland, June 21-23, 2010. Proceedings
edited by M. Ali Babar, Matias Vierimaa, Markku Oivo
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6156
オンライン: http://dx.doi.org/10.1007/978-3-642-13792-1
所蔵情報: loading…