본문

  1. Home
4 Results:AA:S M MA PP:ASSOCIATION FOR COMPUTING MACHINERY 0.249 sec.
RSS 
Multilingual
 Расширенный поиск
 Новый поиск книги прибытия
Selected Print Select Export to Excel
1
High-Tech Forensics
High-Tech Forensics
Harrison, W., | Association for Computing Machinery | 2004 ,
2
Certified Software: Only if the programmer can prove (through formal machine-checkable proofs) it's free of bugs with respect to a claim of dependability
Certified Software: Only if the programmer can prove (through formal machine-checkable proofs) it's free of bugs with respect to a claim of dependability
Shao, Z., | Association for Computing Machinery | 2010 ,
3
Privacy-Preserving Network Forensics
Privacy-Preserving Network Forensics
Afanasyev, M., | Association for Computing Machinery | 2011 ,
4
Formal Analysis of MPI-based Parallel Programs
Formal Analysis of MPI-based Parallel Programs
Gopalakrishnan, G., | Association for Computing Machinery | 2011 ,
처음1마지막