Lecture Notes in Computer Science 3294 Teaching Formal Methods CoLogNET/FME Stmposium
TFM 20042004 年出版249 页ISBN：3540236112
Lecture Notes in Computer Science 3647 Software Engineering Research
Management and Applications Second International Conference2004 年出版0 页ISBN：
Lecture Notes in Computer Science 3270 Grid Services Engineering and Management First International
GSEM 20042004 年出版165 页ISBN：3540233016
Lecture Notes in Computer Science 4245 Discrete Geometry for Computer Imagery 13th International Con
DGCI 20062006 年出版688 页ISBN：3540476512
Lecture Notes in Computer Science 3429 Discrete Geometry for Computer Imagery 12th International Con
DGCI 20052005 年出版428 页ISBN：3540255133
Lecture Notes in Computer Science 4034 Product-Focused Software Process Improvement 7th Internationa
PROFES 20062006 年出版474 页ISBN：3540346821
Lecture Notes in Computer Science 1796 Security Protocols 7th International Workshop
2000 年出版229 页ISBN：3540673814
Lecture Notes in Computer Science 4839 Runtime Verification 7th International Workshop
RV 20072007 年出版218 页ISBN：9783540773948
Lecture Notes in Computer Science 3727 Information Hiding 7th International Workshop
IH 20052005 年出版414 页ISBN：3540290397
Lecture Notes in Computer Science 3871 Artificial Evolution 7th International Conference
Evolution Artificielle2006 年出版310 页ISBN：
