Lecture Notes in Computer Science 190 Distributed Systems Methods and Tools for Specification An Adv
1985 年出版573 页ISBN:3540152164
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 1586 Parallel and Distributed Processing 11th IPPS/SPDP'99 Worksho
1999 年出版1443 页ISBN:3540658319
Lecture Notes in Computer Science 4494 Algorithms and Architectures for Parallel Processing 7th Inte
ICA3PP 20072007 年出版508 页ISBN:9783540729044
Lecture Notes in Computer Science 4050 Transactions on High-Performance Embedded Architectures and C
2007 年出版361 页ISBN:9783540715276
Lecture Notes in Conputer Science 4218 Automated Technology for Verification and Analysis 4th Intern
ATVA 20062006 年出版540 页ISBN:3540472371
Lecture Notes in Computer Science 3731 Formal Techniques for Networked and Distributed Systems-FORTE
2005 年出版558 页ISBN:354029189X