close
1.

電子ブック
ＥＢ
1. Distributed Applications and Interoperable Systems : 8th IFIP WG 6.1 International Conference, DAIS 2008, Oslo, Norway, June 4-6, 2008. Proceedings
edited by Rene Meier, Sotirios Terzis
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 5053
オンライン: http://dx.doi.org/10.1007/978-3-540-68642-2
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Formal Methods for Open Object-Based Distributed Systems : 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings
edited by Gilles Barthe, Frank S. Boer
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 5051
オンライン: http://dx.doi.org/10.1007/978-3-540-68863-1
所蔵情報: loading…
3.

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

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

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

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

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

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

電子ブック
ＥＢ
9. Formal Methods for Open Object-Based Distributed Systems (vol. # 3535) : 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings
edited by Martin Steffen, Gianluigi Zavattaro
出版情報: Berlin Heidelberg : Springer Science+Business Media, Inc., 2005
シリーズ名: Lecture Notes in Computer Science ; 3535
オンライン: http://dx.doi.org/10.1007/b136996
所蔵情報: loading…
10.

電子ブック
ＥＢ
10. Distributed Applications and Interoperable Systems (vol. # 3543) : 5th IFIP WG 6.1 International Conference, DAIS 2005, Athens, Greece, June 15-17, 2005, Proceedings
edited by Lea Kutvonen
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3543
オンライン: http://dx.doi.org/10.1007/b137217
所蔵情報: loading…