Formal methods and software engineering : 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002 : proceedings

>> Google Books

タイトル、所在を表示します

Formal methods and software engineering : 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002 : proceedings

フォーマット:

図書

責任表示:

Chris George, Huaikou Miao (eds.)

言語:

英語

出版情報:

Berlin ; Tokyo : Springer, c2002

形態:

xi, 626 p. ; 24 cm

著者名:

シリーズ名:

Lecture notes in computer science ; 2495 <BA00009279>

書誌ID:

BA59514385

ISBN:

9783540000297 [3540000291]

子書誌情報

所蔵情報

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

詳細

資料形態(詳細):	Text
主題:	Computer security--Congresses; Computers--Access control--Congresses
注記:	Includes bibliographical references and index
登録日:	2002-12-04
分類・件名:	LCC : QA76.9.A25 DDC : 005.8 LCSH : Computer security -- Congresses LCSH : Computers -- Access control -- Congresses

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Generative programming and component engineering : ACM SIGPLAN/SIGSOFT Conference, GPCE 2002, Pittsburgh, PA, USA, October 6-8, 2002 : proceedings ACM SIGPLAN/SIGSOFT International Conference on Generative Programming and Component Engineering, Batory, Don S., 1953-, … Springer	7 図書 Formal methods and software engineering : 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003 : proceedings ICFEM, Dong, Jin Song, 1967-, Woodcock, James Springer
2 図書 Information security : 5th International Conference, ISC 2002, Sao Paulo, Brazil, September 30 - October 2, 2002 : proceedings ISC, Chan, Agnes Hui, Gligor, Virgil D. Springer	8 図書 Security protocols : International Workshop, Cambridge, United Kingdom, April 10-12, 1996, proceedings Lomas, Mark Springer
3 図書 Security protocols : 11th International Workshop Cambridge, UK, April 2-4, 2003 : revised selected papers International Workshop on Security Protocols, Christianson, Bruce, Crispo, Bruno, Malcolm, James A., Roe, Michael Springer	9 図書 Information and communications security : 4th International Conference, ICICS 2002, Singapore, December 9-12, 2002 : proceedings International Conference on Information and Communications Security, Deng, Robert Springer
4 図書 Formal methods and software engineering : 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006 : proceedings ICFEM, Liu, Zhiming, He, Jifeng, 1943- Springer	10 図書 Public key cryptography : Second International Workshop on Practice and Theory in Public Key Cryptography, PKC '99, Kamakura, Japan, March 1-3, 1999 : … International Workshop on Practice and Theory in Public Key Cryptography, 今井, 秀樹(1943-), Zheng, Yuliang Springer
5 図書 VDM '91 : formal software development methods : 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991 : proceedings VDM-Europe. International Symposium, Prehn, S. (Søren), 1955-, Toetenel, H. (Hans), 1953- Springer-Verlag	11 図書 Formal methods and software engineering : 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004 : … ICFEM, Davies, Jim, 1964-, Schulte, Wolfram, Barnett, Mike Springer
6 図書 Security protocols : 8th International Workshop, Cambridge, UK, April 3-5, 2000 : revised papers International Workshop on Security Protocols, Christianson, Bruce, Crispo, Bruno, Malcolm, James A., Roe, Michael Springer	12 図書 Advances in cryptology, EUROCRYPT '95 : International Conference on the Theory and Application of Cryptographic Techniques, Saint-Malo, France, May 21-25, 1995 … EUROCRYPT, Guillou, Louis C., 1947-, Quisquater, J.-J. (Jean-Jacques), 1945- Springer-Verlag