Lecture Notes in Computer Science 4383 Hardware and Software
Verification and Testing Second International Haifa Verification Conference2007 年出版235 页ISBN：
Lecture Notes in Computer Science 124 Compiler Specification and Verification
1981 年出版269 页ISBN：3540108866
Lecture Notes in Computer Science 4362 SOFSEM 2007:Theory and Practice of Computer Science 33nd Conf
2007 年出版937 页ISBN：9783540695066
Lecture Notes in Computer Science 2932 SOFSEM 2004:Theory and Practice of Computer Science 30th Conf
2004 年出版385 页ISBN：3540207791
Lecture Notes in Computer Science 3831 SOFSEM 2006:Theory and Practice of Computer Science 32nd Conf
2006 年出版576 页ISBN：354031198X
Lecture Notes in Computer Science 3381 SOFSEM 2005:Theory and Practice of Computer Science 31st Conf
2005 年出版428 页ISBN：354024302X
Lecture Notes in Computer Science 3425 Engineering Human Computer Interaction and Interactive System
2005 年出版400 页ISBN：3540260978
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 4559 Usability and Internationalization HCI and Culture
2007 年出版661 页ISBN：9783540732860
