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
SEMI-MARKOV NODELS CONTROL OF RESTORABLE SYSTEMS WITH LATENT FAILURES
YURIY E.OBZHERIN ELENA G.BOYKO2015 年出版199 页ISBN：0128022122
LEGAL RESEARCH EXERCISES FOLLOWING THE BLUEBOOK:A UNIFORM SYSTEM OF CITATION
SUSAN T.PHILLOPS NANCY P.JOHNSON2011 年出版194 页ISBN：0314274762
Lecture Notes in Computer Science 2988 Tools and Algorithms for the Construction and Analysis of Sys
TACAS 20042004 年出版608 页ISBN：354021299X
Electronic Message Systems 87 Proceedings of the international conference held in Londn
November 19871987 年出版295 页ISBN：0863530958
中国惩罚性赔偿制度研究=Research of the punitive damages system in China
徐涤宇等著2016 年出版0 页ISBN：
