Lecture Notes in Computer Science 2979 Stateless Core:A Scalable Approach for Quality of Service in
2004 年出版219 页ISBN:3540219609
Lecture Notes in Computer Science 3440 Tools and Algorithms for the Construction and Analysis of Sys
TACAS 20052005 年出版588 页ISBN:3540253335
Lecture Notes in Computer Science 4424 Tools and Algorithms for the Construction and Analysis of Sys
TACAS 20072007 年出版738 页ISBN:9783540712084
Lecture Notes in Computer Science 4699 Applied Parallel Computing State of the Art in Scientific Com
PARA 20062007 年出版1192 页ISBN:9783540757542
Lecture Notes in Computer Science 3920 Tools and Algorithms for the Construction and Analysis of Sys
TACAS 20062006 年出版506 页ISBN:3540330569
Lecture Notes in Computer Science 3732 Applied Parallel Computing State of the Art in Scientific Com
PARA 20042006 年出版1174 页ISBN:3540290672
PERSPECTIVES ON MEMORY RESEARCH:ESSAYS IN HONOR OF UPPSALA UNIVERSITY'S 500TH ANNIVERSARY
LARS-GORAN NILSSON1979 年出版400 页ISBN:0470265868
Lecture Notes in Computer Science 2988 Tools and Algorithms for the Construction and Analysis of Sys
TACAS 20042004 年出版608 页ISBN:354021299X