>> Google Books

Proceedings of the 2005 ACM workshop on Formal methods in security engineering / ACM Workshop on Formal Methods in Security Engineering, Ralf Küsters, John C. Mitchell, Association for Computing Machinery-Digital Library., Association for Computing Machinery.

資料種別:
電子ブック
出版情報:
ACM Digital Library Proceedings
ACM, 2005
著者名:
ISBN:
9781595932310 [1595932313]
書誌ID:
OB00397022
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information

類似資料:

1 電子ブック Proceedings of the 2004 ACM workshop on Formal methods in security engineering

ACM Workshop on Formal Methods in Security Engineering, Association for Computing Machinery-Digital Library., …

ACM Digital Library Proceedings, ACM
7 電子ブック Proceedings of the 2006 ACM SIGPLAN workshop on Generic programming

Hinze, Ralf, Association for Computing Machinery-Digital Library.

ACM Digital Library Proceedings, ACM
2 電子ブック Proceedings of the 2007 ACM workshop on Formal methods in security engineering

14th ACM Conference on Computer and Communications Security 2007, Association for Computing Machinery-Digital Library.

ACM Digital Library Proceedings, ACM
8 電子ブック Proceedings of the 2005 ACM workshop on Storage security and survivability

ACM Workshop on Storage Security and Survivability, Brumbaugh, Larry, Yurcik, Bill, Zhou, Yuanyuan, Association for …

ACM Digital Library Proceedings, ACM
3 電子ブック Proceedings of the 6th ACM workshop on Formal methods in security engineering

15th ACM Conference on Computer and Communications Security 2008, Association for Computing Machinery-Digital Library.

ACM Digital Library Proceedings, ACM
9 電子ブック Proceedings of the ACM SIGKDD Workshop on Intelligence and Security Informatics

Yang, Christopher C., Association for Computing Machinery-Digital Library.

ACM Digital Library Proceedings, ACM
4 電子ブック Proceedings of the fourth ACM workshop on Formal methods in security

13th ACM Conference on Computer and Communications Security 2006, Association for Computing Machinery-Digital Library.

ACM Digital Library Proceedings, ACM
10 電子ブック Proceedings of the second workshop on Formal methods in software practice

Ardis, Mark, Association for Computing Machinery-Digital Library.

ACM Digital Library Proceedings, ACM
5 電子ブック Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2005. MEMOCODE '05

Association for Computing Machinery-Digital Library.

ACM Digital Library Proceedings, IEEE
11 電子ブック Proceedings of the 2005 workshop on Predictor models in software engineering

Association for Computing Machinery-Digital Library.

ACM Digital Library Proceedings, ACM
6 電子ブック Proceedings of the ACM SIGPLAN workshop on Generic programming

Hinze, Ralf, Association for Computing Machinery-Digital Library.

ACM Digital Library Proceedings, ACM
12 電子ブック Proceedings of the 2005 workshop on Issues in the theory of security

Meadows, Catherine, Association for Computing Machinery-Digital Library.

ACM Digital Library Proceedings, ACM
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12