Formal techniques for networked and distributed systems : FORTE 2001 : IFIP TC6 / WG6.1 21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea

>> Amazon.co.jp

このページのQRコード

Formal techniques for networked and distributed systems : FORTE 2001 : IFIP TC6 / WG6.1 21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea

種類:

図書

責任表示:

edited by Myungchul Kim ...[et al.]

出版情報:

Norwell, Mass. : Kluwer Academic Publishers, c2001

著者名:

シリーズ名:

The International Federation for Information Processing ; 69 <BA39641980>

ISBN:

9780792374701 [0792374703]

注記:

Includes bibliographical references

所蔵情報

子書誌情報

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

詳細

主題:	データ処理．情報処理
TTLL:	eng
言語:	英語
形態:	vii, 458 p. : ill. ; 25 cm
書誌ID:	BA54963891

内容紹介

目次情報

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Formal methods for open object-based distributed systems IV : IFIP TC6/WG6.1 Fourth International Conference on Formal Methods for Open Object-Based Distributed … International Conference on Formal Methods for Open Object-Based Distributed Systems, Smith, Scott F., Talcott, Carolyn … Kluwer Academic Publishers	7 電子ブック Computer Applications for Security, Control and System Engineering : International Conferences, SecTech, CA, CES3 2012, Held in Conjunction with GST 2012, Jeju … Kim, Tai-hoon., Stoica, Adrian., Fang, Wai-chi., Vasilakos, Thanos., Garcia Villalba, Javier., Arnett, Kirk P., Khurram … Springer Berlin Heidelberg : Imprint: Springer
2 図書 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), … Kluwer Academic	8 図書 Communications and multimedia security : advanced techniques for network and data protection : 7th IFIP-TC6 TC11 International Conference, CMS 2003, Torino, … CMS, Lioy, Antonio, 1958-, Mazzocchi, Daniele Springer
3 図書 Research directions in data and applications security : IFIP TC11/WG11.3 sixteenth Annual Conference on Data and Applications Security, July 28-31, 2002, … IFIP TC11 WG11.3 Annual Conference on Data and Applications Security, Gudes, Ehud, Shenoi, Sujeet Kluwer Academic	9 電子ブック Advances in Production Management Systems. Value Networks: Innovation, Technologies, and Management : IFIP WG 5.7 International Conference, APMS 2011, … Frick, Jan., Laugen, Bjørge Timenes., SpringerLink (Online service) Springer Berlin Heidelberg : Imprint: Springer
4 図書 Security and privacy in the age of uncertainty : IFIP TC11 18th International Conference on Information Security (SEC 2003), May 26-28, 2003, Athens, Greece IFIP TC11 International Conference on Information Security, Britzalis, Dimitris Kluwer Academic	10 電子ブック Computer Applications for Modeling, Simulation, and Automobile : International Conferences, MAS and ASNT 2012, Held in Conjunction with GST 2012, Jeju Island, … Kim, Tai-hoon., Ramos, Carlos., Abawajy, Jemal., Kang, Byeong-Ho., Slezak, Dominik., Adeli, Hojjat., SpringerLink … Springer Berlin Heidelberg : Imprint: Springer
5 図書 Trusted information : the new decade challenge : IFIP TC11 16th International Conference on Information Security (IFIP/Sec '01), June 11-13, 2001, Paris, France IFIP TC11 International Conference on Information Security, Dupuy, Michel, Paradinas, Pierre Kluwer Academic Publishers	11 図書 Proceedings of the 1997 International Conference on Parallel Processing, August 11-15, 1997 International Conference on Parallel Processing, Dietz, Hank, Eigenmann, Rudolf, Fortes, Jose, Hambrusch, Susanne, IEEE … IEEE Computer Society
6 図書 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, … North-Holland, Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.	12 図書 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