THE ADVANCED THEORY OF STATISTICS VOLUME 3 DESIGN AND ANALYSIS,AND TIME-SERIES THIRD EDITION
2222 年出版585 页ISBN:0852642393
Lecture Notes in Computer Science 3440 Tools and Algorithms for the Construction and Analysis of Sys
TACAS 20052005 年出版588 页ISBN:3540253335