Lecture Notes in Computer Science 4752 Advances in Information and Computer Security Second Internat
IWSEC 20072007 年出版460 页ISBN：9783540756507
LECTURE NOTES IN MATHEMATICS 1429: LOGIC AND COMPUTER SCIENCE
1990 年出版169 页ISBN：3540527346;0387527346
Lecture Notes in Computer Science 4543 Inter-Domain Management First International Conference on Aut
Management and Security2007 年出版237 页ISBN：
Lecture Notes in Computer Science 4575 Pairing-Based Cryptography-Pairing 2007 First International C
2007 年出版407 页ISBN：9783540734888
Lecture Notes in Computer Science 4649 Computer Science-Theory and Applications Second International
CSR 20072007 年出版420 页ISBN：9783540745099
Lecture Notes in Computer Science 4383 Hardware and Software
Verification and Testing Second International Haifa Verification Conference2007 年出版235 页ISBN：
Lecture Notes in Computer Science 3582 FM 2005:Formal Methods International Symposium of Formal Meth
2005 年出版558 页ISBN：3540278826
Lecture Notes in Computer Science 124 Compiler Specification and Verification
1981 年出版269 页ISBN：3540108866
Lecture Notes in Computer Science 3965 Formal Methods for Hardware Verification 6th International Sc
Communication2006 年出版0 页ISBN：
