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
Lecture Notes in Computer Science 2988 Tools and Algorithms for the Construction and Analysis of Sys
TACAS 20042004 年出版608 页ISBN：354021299X
LECTURE NOTES IN MATHEMATICS 1157: CLASSIFYING IMMERSIONS INTO IR4 OVER STABLE MAPS OF 3-MANIFOLDS I
1985 年出版163 页ISBN：3540159959;0387159959
Lecture Notes in Computer Science 4238 Management of Convergence Networks and Services 9th Asia-Paci
APNOMS 20062006 年出版605 页ISBN：3540457763
Lecture Notes in Computer Science 4039 Reuse of Off-the-Shelf Components 9th International Conferenc
ICSR 20062006 年出版444 页ISBN：3540346066
Lecture Notes in Control and Information Sciences 356 Dynamic Analysis of Petri Net-Based Discrete S
2007 年出版166 页ISBN：9783540714644
Lecture Notes in Computer Science 3841 Frontiers of WWW Research and Development-APWeb 2006 8th Asia
2006 年出版1223 页ISBN：3540311424
