close
1.

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

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

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

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

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