>> Google Books

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
形態:
v.: digital
著者名:
シリーズ名:
Lecture Notes in Computer Science ; 4531
書誌ID:
NB02218805
ISBN:
9783540728832 [354072883X]  CiNii Books  Webcat Plus  Google Books
学内からのみアクセスすることができます。
子書誌情報
Loading
オンライン
http://dx.doi.org/10.1007/978-3-540-72883-2
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 電子ブック 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.
7 電子ブック 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
2 電子ブック 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.
8 電子ブック Testing of Software and Communicating Systems : 19th IFIP TC6/WG6.1 International Conference TestCom 2007 7th International Workshop FATES 2007 Tallinn Estonia …

Petrenko Alexandre, Grieskamp Wolfgang, Veanes Margus, Tretmans Jan, SpringerLink (Online service)

Springer-Verlag
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 …

Gorrieri Roberto, Wehrheim Heike, SpringerLink (Online service)

Springer-Verlag GmbH.
9 電子ブック Formal Techniques for Networked and Distributed Systems ?EFORTE 2007 : 27th IFIP WG 6.1 International Conference Tallinn Estonia June 27-29 2007. Proceedings

Derrick John, Vain Juri, SpringerLink (Online service)

Springer-Verlag
4 電子ブック Distributed Applications and Interoperable Systems : 8th IFIP WG 6.1 International Conference, DAIS 2008, Oslo, Norway, June 4-6, 2008. Proceedings

Meier, Rene, Terzis, Sotirios, SpringerLink (Online service)

Springer-Verlag
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 電子ブック 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.
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 (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.
12 電子ブック 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