Lecture Notes in Computer Science 4383 Hardware and Software
Verification and Testing Second International Haifa Verification Conference2007 年出版235 页ISBN：
Lecture Notes in Computer Science 57 Portability of Numerical Software
1977 年出版539 页ISBN：3540084460
Lecture Notes in Computer Science 756 Design of Hashing Algorithms
1993 年出版194 页ISBN：3540575006
Lecture Notes in Computer Science 4238 Management of Convergence Networks and Services 9th Asia-Paci
APNOMS 20062006 年出版605 页ISBN：3540457763
Lecture Notes in Computer Science 124 Compiler Specification and Verification
1981 年出版269 页ISBN：3540108866
Lecture Notes in Computer Science 125 Logic of Programs Workshop
ETH Zurich1981 年出版245 页ISBN：
Lecture Notes in Computer Science 4752 Advances in Information and Computer Security Second Internat
IWSEC 20072007 年出版460 页ISBN：9783540756507
Lecture Notes in Computer Science 4266 Advances in Information and Computer Security First Internati
IWSEC 20062006 年出版438 页ISBN：3540476997
Lecture Notes in Computer Science 3425 Engineering Human Computer Interaction and Interactive System
2005 年出版400 页ISBN：3540260978
Lecture Notes in Computer Science 2324 Computer Performance Evaluation Modelling Techniques and Tool
TOOLS 20022002 年出版349 页ISBN：3540435395
