Lecture Notes in Computer Science 2481 Languages and Compilers for Parallel Computing 15th Workshop
LCPC 20022005 年出版376 页ISBN：3540307818
Lecture Notes in Computer Science 616 Application and Theory of Petri Nets 1992
1992 年出版398 页ISBN：3540556761
Lecture Notes in Conputer Science 4218 Automated Technology for Verification and Analysis 4th Intern
ATVA 20062006 年出版540 页ISBN：3540472371
Lecture Notes in Computer Science 3235 Formal Techniques for Networked and Distributed Systems-FORTE
2004 年出版376 页ISBN：3540232524
Lecture Notes in Computer Science 4574 Formal Techniques for Networked and Distributed Systems-FORTE
2007 年出版375 页ISBN：9783540731955
Lecture Notes in Computer Science 4229 Formal Techniques for Networked and Distributed Systems-FORTE
2006 年出版486 页ISBN：3540462198
Lecture Notes in Computer Science 3731 Formal Techniques for Networked and Distributed Systems-FORTE
2005 年出版558 页ISBN：354029189X
Lecture Notes in Computer Science 3125 Mathemati of Program Construction 7th International Conferenc
MPC 20042004 年出版401 页ISBN：3540223800
Lecture Notes in Computer Science 4064 Detection Of Intrusions and Malware & Vulnerability Assessmen
DIMVA 20062006 年出版195 页ISBN：354036014X
