Lecture Notes in Computer Science 3027 Advances in Cryptology-EUROCRPYT 2004 International Conferenc
2004 年出版628 页ISBN：3540219358
Lecture Notes in Computer Science 3925 Model Checking Software 13th International SPIN Workshop
2006 年出版305 页ISBN：3540331026
ARTIFICIAL INTELLIGENCE AND MATHEMATICAL THEORY OF COMPUTATION PAPERS IN HONOR OF JOHN MCCARTHY
2222 年出版475 页ISBN：0124500102
Desktop Winess The do's and don'ts of Personal Computer Security
2002 年出版364 页ISBN：0471486574
Lecture Notes in Computer Science 4887 Cryptography and Coding 11th IMA International Conference
2007 年出版423 页ISBN：9783540772712
Quantum Bits and Quantum Secrets How Quantum Physics is Revolutionizing Codes and Computers
2008 年出版180 页ISBN：9783527407101
Lecture Notes in Computer Science 3839 Types for Proofs and Programs International Workshop
TYPES 2004 Jouy-en-Josas2222 年出版0 页ISBN：
Computer Interface Engineering for Real-Time Systems:A Model-Based Approach
1987 年出版292 页ISBN：0131630237
Lecture Notes in Computer Science 3639 Model Checking Software 12th International SPIN Workshop
2005 年出版287 页ISBN：3540281959
CONFERENCE RECORD OF THE 11TH ANNUAL ACM SYMPOSIUM ON THEORY OF COMPUTING 1979
2222 年出版367 页ISBN：0897910036
