close
1.

電子ブック
ＥＢ
1. Middleware 2007 : ACM/IFIP/USENIX 8th International Middleware Conference Newport Beach CA USA November 26-30 2007. Proceedings
edited by Renato Cerqueira Roy H. Campbell
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4834
オンライン: http://dx.doi.org/10.1007/978-3-540-76778-7
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Distributed Applications and Interoperable Systems : 7th IFIP WG 6.1 International Conference DAIS 2007 Paphos Cyprus June 6-82007 Proccedings
edited by Jadwiga Indulska Kerry Raymond
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2007
シリーズ名: Lecture Notes in Computer Science ; 4531
オンライン: http://dx.doi.org/10.1007/978-3-540-72883-2
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. Formal Methods for Open Object-Based Distributed Systems : 9th IFIP WG 6.1 International Conference FMOODS 2007 Paphos Cyprus June 6-8 2007 Proceedings
edited by Marcello M. Bonsangue Einar Broch Johnsen
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2007
シリーズ名: Lecture Notes in Computer Science ; 4468
オンライン: http://dx.doi.org/10.1007/978-3-540-72952-5
所蔵情報: loading…
4.

電子ブック
ＥＢ
4. Formal Methods for Open Object-Based Distributed Systems (vol. 4037) : 8th IFIP WG 6.1 International Conference FMOODS 2006 Bologna Italy June 14-162006 Proceedings
edited by Roberto Gorrieri Heike Wehrheim
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 4037
オンライン: http://dx.doi.org/10.1007/11768869
所蔵情報: loading…
5.

電子ブック
ＥＢ
5. Distributed Applications and Interoperable Systems (vol. 4025) : 6th IFIP WG 6.1 International Conference DAIS 2006 Athens Greece June 14-16 2006
edited by Frank Eliassen Alberto Montresor
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 4025
オンライン: http://dx.doi.org/10.1007/11773887
所蔵情報: loading…
6.

電子ブック
ＥＢ
6. Architecting Systems with Trustworthy Components : International Seminar Dagstuhl Castle Germany December 12-17 2004. Revised Selected Papers
edited by Ralf H. Reussner Judith A. Stafford Clemens A. Szyperski
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 3938
オンライン: http://dx.doi.org/10.1007/11786160
所蔵情報: loading…
7.

電子ブック
ＥＢ
7. Advanced Topics in Exception Handling Techniques
edited by Christophe Dony Jorgen Lindskov Knudsen Alexander Romanovsky Anand Tripathi
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 4119
オンライン: http://dx.doi.org/10.1007/11818502
所蔵情報: loading…
8.

電子ブック
ＥＢ
8. Rigorous Engineering of Fault-Tolerant Systems
edited by Michael Butler Cliff Jones Alexander Romanovsky Elena Troubitsyna
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 4157
オンライン: http://dx.doi.org/10.1007/11916246
所蔵情報: loading…
9.

電子ブック
ＥＢ
9. Middleware 2006 : ACM/IFIP/USENIX 7th International Middleware Conference Melbourne Australia November 27 - December 12006 Proceedings
edited by Maarten van Steen Michi Henning
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 4290
オンライン: http://dx.doi.org/10.1007/11925071
所蔵情報: loading…