close
1.

電子ブック
ＥＢ
1. Global Computing : IST/FET International Workshop, GC 2004, Rovereto, Italy, March 9-12, 2004, Revised Selected Papers
edited by Corrado Priami, Paola Quaglia
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3267
オンライン: http://dx.doi.org/10.1007/b103251
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Peer-to-Peer Systems III : Third International Workshop, IPTPS 2004, La Jolla, CA, USA, February 26-27, 2004, Revised Selected Papers
edited by Scott Shenker, Geoffrey M. Voelker
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3279
オンライン: http://dx.doi.org/10.1007/b104020
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. Inconsistency Tolerance
edited by Leopoldo Bertossi, Anthony Hunter, Torsten Schaub
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3300
オンライン: http://dx.doi.org/10.1007/b104925
所蔵情報: loading…
4.

電子ブック
ＥＢ
4. Agent-Oriented Software Engineering V : 5th International Workshop, AOSE 2004, New York, NY, USA, July 2004, Revised Selected Papers
edited by Paolo Giorgini, Jorg, P. Muller, James Odell
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3382
オンライン: http://dx.doi.org/10.1007/b105022
所蔵情報: loading…
5.

電子ブック
ＥＢ
5. Construction and Analysis of Safe, Secure, and Interoperable Smart Devices (vol. # 3362) : International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers
edited by Gilles BartheLilian
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3362
オンライン: http://dx.doi.org/10.1007/b105030
所蔵情報: loading…
6.

電子ブック
ＥＢ
6. Verification, Model Checking, and Abstract Interpretation (vol. # 3385) : 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings
edited by Radhia Cousot
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3385
オンライン: http://dx.doi.org/10.1007/b105073
所蔵情報: loading…
7.

電子ブック
ＥＢ
7. SOFSEM 2005: Theory and Practice of Computer Science : 31st Conference on Current Trends in Theory and Practice of Computer Science, Liptovsky Jan, Slovakia, January 22-28, 2005, Proceedings
edited by Maria Bielikova, C
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3381
オンライン: http://dx.doi.org/10.1007/b105088
所蔵情報: loading…
8.

電子ブック
ＥＢ
8. Practical Aspects of Declarative Languages (vol. # 3350) : 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005, Proceedings
edited by Daniel Cabeza, Manuel Hermenegildo
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3350
オンライン: http://dx.doi.org/10.1007/b105205
所蔵情報: loading…
9.

電子ブック
ＥＢ
9. Service Availability (vol. # 3335) : First International Service Availability Symposium, ISAS 2004, Munich, Germany, May 13-14, 2004, Revised Selected Papers
edited by Jorg Kaiser, Miroslaw Malek, Manfred ReitenspieAE
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3335
オンライン: http://dx.doi.org/10.1007/b105309
所蔵情報: loading…
10.

電子ブック

ＥＢ
10. Information Networking : Convergence in Broadband and Mobile Networking. International Conference, ICOIN 2005, Jeju Island, Korea, January 31 - February 2, 2005, Proceedings
edited by Cheeha Kim
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3391
オンライン: http://dx.doi.org/10.1007/b105584
所蔵情報: loading…