Lecture Notes in Computer Science 2165 Process Algebra and Probabilistic Methods Performance Modelli
PAPM-PROBMIV 20012001 年出版217 页ISBN：354042556X
Lecture Notes in Computer Science 3393 Formal Methods in Software and Systems Modeling Essays Dedica
2005 年出版413 页ISBN：3540249362
Lecture Notes in Computer Science 3666 Recent Advances in Parallel Virtual Machine and Message Passi
2005 年出版546 页ISBN：3540290095
Lecture Notes in Computer Science 3241 Recent Advances in Parallel Virtual Machine and Message Passi
2004 年出版452 页ISBN：3540231633
Lecture Notes in Computer Science 4757 Recent Advances in Parallel Virtual Machine and Message Passi
2007 年出版396 页ISBN：9783540754152
Lecture Notes in Computer Science 4364 Models in Software Engineering Workshops and Symposia at MoDE
2007 年出版332 页ISBN：9783540694885
Lecture Notes in Computer Science 3156 Cryptographic Hardware and Embedded Systems-CHES 2004
2004 年出版455 页ISBN：3540226664
Lecture Notes in Computer Science 882 Multimedia Transport and Teleservices International COST 237 W
1994 年出版380 页ISBN：3540587594
Lecture Notes in Computer Science 3659 Cryptographic Hardware and Embedded Systems-CHES 2005
2005 年出版458 页ISBN：3540284745
Lecture Notes in Computer Science 4887 Cryptography and Coding 11th IMA International Conference
2007 年出版423 页ISBN：9783540772712
