Lecture Notes in Conputer Science 4218 Automated Technology for Verification and Analysis 4th Intern
ATVA 20062006 年出版540 页ISBN：3540472371
Lecture Notes in Computer Science 4546 Petri Nets and Other Models of Convurrency-ICATPN 2007 28th I
ICATPN 20072007 年出版515 页ISBN：9783540730934
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 3095 Web Services
E-Business2004 年出版147 页ISBN：
Lecture Notes in Computer Science 89 Computer Aided Design Modelling
Systems Engineering1980 年出版459 页ISBN：
Lecture Notes in Computer Science 4155 Reasoning
Action and Interaction in AI Theories and Systems Essays Dedicated to Luigia Carlucci Aiello2006 年出版343 页ISBN：3540379010
Lecture Notes in Computer Science 3929 Relational Methods in Computer Science 8th International Semi
2006 年出版263 页ISBN：3540333398
Lecture Notes in Computer Science 3634 Computer Science Logic 19th International Workshop
CSL 20052005 年出版567 页ISBN：3540282319
Lecture Notes in Computer Science 4207 Computer Science Logic 20th International Workshop
CSL 20062006 年出版627 页ISBN：3540454586
