Lecture Notes in Computer Science 4595 Model Checking Software 14th International SPIN Workshop
2007 年出版285 页ISBN：9783540733690
ADVANCES IN COMPUTER VISION AND IMAGE PROCESSING VOLUME 1·1984 IMAGE RECONSTRUCTION FROM INCOMPLETE
1984 年出版344 页ISBN：0892322802
ADVANCES IN COMPUTER VISION AND IMAGE PROCESSING VOLUME 2·1986 IMAGE ENHANCEMENT AND RESTORATION
1986 年出版378 页ISBN：0892324600
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
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
