Distributed Applications and Interoperable Systems : 8th IFIP WG 6.1 International Conference, DAIS 2008, Oslo, Norway, June 4-6, 2008. Proceedings

>> Google Books

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

形態:

v.: digital

著者名:

シリーズ名:

Lecture Notes in Computer Science ; 5053

書誌ID:

NB02219201

ISBN:

9783540686422 [3540686428]

学内からのみアクセスすることができます。

子書誌情報

オンライン

http://dx.doi.org/10.1007/978-3-540-68642-2

所蔵情報

タイトルが類似している資料

詳細

主題:	Computer Communication Networks; Computer Science; Logics and Meanings of Programs; Operating Systems; Programming Languages, Compilers, Interpreters; Programming Techniques; Software Engineering
分類・件名:	FREE : Operating Systems LCSH : Computer Communication Networks LCSH : Operating systems (Computers) LCSH : Software engineering FREE : Software Engineering FREE : Programming Languages, Compilers, Interpreters FREE : Programming Techniques LCSH : Logic design LCSH : Computer science FREE : Computer Science FREE : Computer Communication Networks FREE : Logics and Meanings of Programs
TTLL:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 電子ブック Formal Methods for Open Object-Based Distributed Systems : 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings Barthe, Gilles, Boer, Frank S., SpringerLink (Online service) Springer-Verlag	7 電子ブック Formal Methods for Open Object-Based Distributed Systems (vol. 4037) : 8th IFIP WG 6.1 International Conference FMOODS 2006 Bologna Italy June 14-162006 … Gorrieri Roberto, Wehrheim Heike, SpringerLink (Online service) Springer-Verlag GmbH.
2 電子ブック Distributed Applications and Interoperable Systems (vol. # 3543) : 5th IFIP WG 6.1 International Conference, DAIS 2005, Athens, Greece, June 15-17, 2005, … Kutvonen, Lea, SpringerLink (Online service) Springer-Verlag GmbH.	8 電子ブック Formal Techniques for Distributed Systems : Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE … Bruni, Roberto, Dingel, Juergen, SpringerLink (Online service) Springer Berlin Heidelberg
3 電子ブック Distributed Applications and Interoperable Systems (vol. 4025) : 6th IFIP WG 6.1 International Conference DAIS 2006 Athens Greece June 14-16 2006 Eliassen Frank, Montresor Alberto, SpringerLink (Online service) Springer-Verlag GmbH.	9 電子ブック Formal Techniques for Distributed Systems : Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE … Hutchison, David, Mitchell, John C., Terzopoulos, Demetri, Poetzsch-Heffter, Arnd, Lopes, Antonia, Lee, David, Weikum, … Springer Berlin Heidelberg
4 電子ブック Distributed Applications and Interoperable Systems : 7th IFIP WG 6.1 International Conference DAIS 2007 Paphos Cyprus June 6-82007 Proccedings Indulska Jadwiga, Raymond Kerry, SpringerLink (Online service) Springer-Verlag GmbH.	10 電子ブック Formal Techniques for Distributed Systems : Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE … Hatcliff, John, Zucca, Elena, SpringerLink (Online service) IFIP International Federation for Information Processing
5 電子ブック Formal Methods for Open Object-Based Distributed Systems (vol. # 3535) : 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, … Steffen, Martin, Zavattaro, Gianluigi, SpringerLink (Online service) Springer Science+Business Media, Inc.	11 電子ブック Formal Techniques for Networked and Distributed Systems ?EFORTE 2008 : 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings Suzuki, Kenji, Higashino, Teruo, Yasumoto, Keiichi, El-Fakih, Khaled, SpringerLink (Online service) Springer-Verlag
6 電子ブック Formal Methods for Open Object-Based Distributed Systems : 9th IFIP WG 6.1 International Conference FMOODS 2007 Paphos Cyprus June 6-8 2007 Proceedings Bonsangue Marcello M., Johnsen Einar Broch, SpringerLink (Online service) Springer-Verlag GmbH.	12 電子ブック Testing of Software and Communicating Systems : 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008 8th International Workshop, FATES 2008 Tokyo, … Suzuki, Kenji, Higashino, Teruo, Hasegawa, Toru, Ulrich, Andreas, SpringerLink (Online service) Springer-Verlag