Validation of Stochastic Systems A Guide to Current Research
2004 年出版467 页ISBN:
Lecture Notes in Computer Science 3959 Theory and Applications of Models of Computation Third Intern
TAMC 20062006 年出版794 页ISBN:3540340211
THE STORY AND ITS WRITER:AN INTRODUCTION TO SHORT EDITION SHORTER SECOND EDITION
ANN CHARTERS2222 年出版845 页ISBN:0312032412