close
1.

電子ブック
ＥＢ
1. High Confidence Software Reuse in Large Systems : 10th International Conference on Software Reuse, ICSR 2008, Beijing, China, May 25-29, 2008 Proceedings
edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Hong Mei
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 5030
オンライン: http://dx.doi.org/10.1007/978-3-540-68073-4
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Advances in Grid and Pervasive Computing : Third International Conference, GPC 2008, Kunming, China, May 25-28, 2008. Proceedings
edited by Song Wu, Laurence T. Yang, Tony Li Xu
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 5036
オンライン: http://dx.doi.org/10.1007/978-3-540-68083-3
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. Service Availability : 5th International Service Availability Symposium, ISAS 2008 Tokyo, Japan, May 19-21, 2008 Proceedings
edited by Takashi Nanya, Fumihiro Maruyama, Andras Pataricza, Miroslaw Malek
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 5017
オンライン: http://dx.doi.org/10.1007/978-3-540-68129-8
所蔵情報: loading…
4.

電子ブック
ＥＢ
4. The Semantic Web: Research and Applications : 5th European Semantic Web Conference, ESWC 2008, Tenerife, Canary Islands, Spain, June 1-5, 2008 Proceedings
edited by Sean Bechhofer, Manfred Hauswirth, Jorg Hoffmann, Manolis Koubarakis
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 5021
オンライン: http://dx.doi.org/10.1007/978-3-540-68234-9
所蔵情報: loading…
5.

電子ブック
ＥＢ
5. FM 2008: Formal Methods : 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings
edited by Jorge Cuellar, Tom Maibaum, Kaisa Sere
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 5014
オンライン: http://dx.doi.org/10.1007/978-3-540-68237-0
所蔵情報: loading…
6.

電子ブック
ＥＢ
6. Coordination Models and Languages : 10th International Conference, COORDINATION 2008, Oslo, Norway, June 4-6, 2008. Proceedings
edited by Doug Lea, Gianluigi Zavattaro
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 5052
オンライン: http://dx.doi.org/10.1007/978-3-540-68265-3
所蔵情報: loading…
7.

電子ブック
ＥＢ
7. Formal Methods in Systems Biology : First International Workshop, FMSB 2008, Cambridge, UK, June 4-5, 2008. Proceedings
edited by Jasmin Fisher
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 5054
オンライン: http://dx.doi.org/10.1007/978-3-540-68413-8
所蔵情報: loading…
8.

電子ブック
ＥＢ
8. Testing of Software and Communicating Systems : 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008 8th International Workshop, FATES 2008 Tokyo, Japan, June 10-13, 2008 Proceedings
edited by Kenji Suzuki, Teruo Hig
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 5047
オンライン: http://dx.doi.org/10.1007/978-3-540-68524-1
所蔵情報: loading…
9.

電子ブック
ＥＢ
9. OpenMP Shared Memory Parallel Programming : International Workshops, IWOMP 2005 and IWOMP 2006, Eugene, OR, USA, June 1-4, 2005, Reims, France, June 12-15, 2006. Proceedings
edited by Matthias S. Mueller, Barbara M. Chapman, Bronis R. Supinski, Allen D. Malony, Michael Voss
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 4315
オンライン: http://dx.doi.org/10.1007/978-3-540-68555-5
所蔵情報: loading…
10.

電子ブック
ＥＢ
10. Reliable Software Technologies ?EAda-Europe 2008 : 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings
edited by Fabrice Kordon, Tullio Vardanega
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 5026
オンライン: http://dx.doi.org/10.1007/978-3-540-68624-8
所蔵情報: loading…