Lecture Notes in Computer Science 4383 Hardware and Software
Verification and Testing Second International Haifa Verification Conference2007 年出版235 页ISBN：
LECTURE NOTES IN COMPUTER SCIENCE 490 ALGEBRAIC METHODS Ⅱ:THEORY
TOOLS AND APPLICATIONS1991 年出版434 页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 3185 Formal Methods for the Design of Real-Time Systems Internatio
Communication and Systems2004 年出版295 页ISBN：
Lecture Notes in Computer Science 3069 Architecting Dependable Systems II
2004 年出版351 页ISBN：3540231684
Lecture Notes in Computer Science 109 Digital Image Processing Systems
1981 年出版353 页ISBN：3540107053
Lecture Notes in Computer Science 3146 Computational Neuroscience:Cortical Dynamics
2004 年出版161 页ISBN：3540225668
Lecture Notes in Computer Science 127 Alternating Sequential/Parallel Processing
1982 年出版329 页ISBN：3540111948
