>> Amazon.co.jp
このページのQRコード

Formal methods for open object-based distributed systems IV : IFIP TC6/WG6.1 Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000) : September 6-8, 2000, Stanford, California, USA

種類:
図書
責任表示:
edited by Scott F. Smith, Carolyn L. Talcott
出版情報:
Boston, Mass. : Kluwer Academic Publishers, c2000
著者名:
シリーズ名:
The international federation for information processing ; 49 <BA39641980>
ISBN:
9780792379232 [0792379233]  CiNii Books  Calil
注記:
Includes bibliographical references
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Formal methods for open object-based distributed systems : IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Objec-Based Distributed …

International Conference on Formal Methods for Open Object-Based Distributed Systems (3rd : 1999 : Florence, Italy), &hellip;

Kluwer Academic
7 図書 Decentralized and distributed systems : proceedings of the IFIP WG10.3 International Conference on Decentralized and Distributed Systems, Palma de Mallorca, …

IFIP WG10.3 International Conference on Decentralized and Distributed Systems, Cosnard, M. (Michel), Puigjaner, Ramon

North-Holland
2 図書 Formal techniques for networked and distributed systems : FORTE 2001 : IFIP TC6 / WG6.1 21st International Conference on Formal Techniques for Networked and …

IFIP TC6 / WG6.1 International Conference on Formal Techniques for Networked and Distributed Systems, Kim, Myungchul, &hellip;

Kluwer Academic Publishers
8 電子ブック Open Source Systems: Long-Term Sustainability : 8th IFIP WG 2.13 International Conference, OSS 2012, Hammamet, Tunisia, September 10-13, 2012, Proceedings

Hammouda, Imed., Lundell, Björn., Mikkonen, Tommi., Scacchi, Walt., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
3 図書 Parallel and distributed processing : 11 IPPS/SPDP '98 workshops held in conjunction with the 13th International Parallel Processing Symposium and 10th …

Rolim, José D. P., International Parallel Processing Symposium, Symposium on Parallel and Distributed Processing

Springer Verlag
9 電子ブック Critical Infrastructure Protection VI : 6th IFIP WG 11.10 International Conference, ICCIP 2012, Washington, DC, USA, March 19-21, 2012, Revised Selected Papers

Butts, Jonathan., Shenoi, Sujeet., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
4 図書 ECOOP'99 : object oriented programming : 13th European Conference, Lisbon, Portugal, June14-18, 1999 : proceedings

European Conference on Object-Oriented Programming, Guerraoui, Rachid

Springer
10 図書 Control of partial differential equations and applications : proceedings of the IFIP TC7/WG-7.2 international conference, Laredo, Spain

IFIP TC7/WG-7.2 Conference on Control of Partial Differential Equations and Applications, Casas, Eduardo, 1957-

M. Dekker
5 図書 Protocol specification, testing, and verification, VII : proceedings of the IFIP WG 6.1 Seventh International Conference on Protocol Specification, Testing, and …

IFIP WG 6.1 International Workshop on Protocol Specification, Testing, and Verification (7th : 1987 : Zurich, &hellip;

North-Holland, Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.
11 図書 Stochastic differential systems : proceedings of the IFIP-WG 7/1 Working Conference, Eisenach, GDR, April 6-13, 1986

IFIP Working Conference on Stochastic Differential Systems, Engelbert, Hans Jürgen, Schmidt, W. (Wolfgang), IFIP WG 7.1

Springer-Verlag
6 図書 Visual database systems : proceedings of the IFIP TC 2/WG 2.6 Working Conference on Visual Database Systems, Tokyo, Japan, 3-7 April, 1989

IFIP TC 2/WG 2.6 Working Conference on Visual Database Systems, 國井, 利泰(1938-)

North-Holland
12 電子ブック Formal Methods in Computer-Aided Design : First International Conference, FMCAD '96 Palo Alto, CA, USA, November 6–8, 1996 Proceedings

Srivas, Mandayam, Camilleri, Albert, SpringerLink (Online service)

Springer-Verlag