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
MATHEMATICS OF SHAPE DESCRIPTION A Morphological Approach to Image Processing and Computer Graphics
2008 年出版254 页ISBN：9780470823071
Lecture Notes in Computer Science 3796 Cryptography and Coding 10th IMA International Conference
2005 年出版460 页ISBN：354030276X
