Lecture Notes in Computer Science 2791 Formal Modeling and Analysis of Timed Systems First Internati
FORMATS 20032004 年出版281 页ISBN:3540216715
Lecture Notes in Computer Science 4128 Euro-Par 2006 Parallel Processing 12th International Euro-Par
Wolfgang E.Nagel2006 年出版1221 页ISBN:
Lecture Notes in Computer Science 3402 High Performance Computing for Computational Science-VECPAR 2
2005 年出版732 页ISBN:3540254242
Lecture Notes in Computer Science 4395 High Performance Computing for Computational Science-VECPAR 2
2007 年出版721 页ISBN:9783540713500