Lecture Notes in Computer Science 340 Advances in Petri Nets 1988
1988 年出版439 页ISBN：3540505806
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
43th Annual Symposium on Foundations of Computer Science October 17-19
19991999 年出版668 页ISBN：
37th Annual Symposium on Foundations of Computer Science October 14-16
19961996 年出版638 页ISBN：
35th Annual Symposium on Foundations of Computer Science November 20-22
19941994 年出版837 页ISBN：
Lecture Notes in Computer Science 3069 Architecting Dependable Systems II
2004 年出版351 页ISBN：3540231684
