Lecture Notes in Computer Science 123 Trends in Information Processing Systems 3nd Conference of the
1981 年出版346 页ISBN：3540108858
Lecture Notes in Conputer Science 4218 Automated Technology for Verification and Analysis 4th Intern
ATVA 20062006 年出版540 页ISBN：3540472371
Lecture Notes in Computer Science 4157 Rigorous Development of Complex Fault-Tolerant Systems
2006 年出版404 页ISBN：9783540482659
Lecture Notes in Computer Science 59 A Comparative Study of Very Large Data Bases
1978 年出版140 页ISBN：3540086536
Lecture Notes in Computer Science 3948 Cognitive Vision Systems Sampling the Spectrum of Approaches
2006 年出版365 页ISBN：354033971X
Lecture Notes in Computer Science 3233 Software Security-Theories and Systems Second Mext-NSF-JSPS I
ISSS 20032004 年出版345 页ISBN：354023635X
Lecture Notes in Computer Science 722 Design and Implementation of Symbolic Computation Systems Inte
DISCO93 Gmunden2222 年出版0 页ISBN：
Lecture Notes in Computer Science 4484 Theory and Applications of Models of Computaion 4th Internati
TAMC 20072007 年出版772 页ISBN：9783540725039
Lecture Notes in Computer Science 2979 Stateless Core:A Scalable Approach for Quality of Service in
2004 年出版219 页ISBN：3540219609
Lecture Notes in Computer Science 3582 FM 2005:Formal Methods International Symposium of Formal Meth
2005 年出版558 页ISBN：3540278826
