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 2988 Tools and Algorithms for the Construction and Analysis of Sys
TACAS 20042004 年出版608 页ISBN:354021299X
PROCEEDINGS OF THE TWENTY-THIRD INTERNATIONAL MACHINE TOOL DESIGN AND RESEARCH CONFERENCE
B.J.DAVIES1982 年出版542 页ISBN:0333343530
HUMAN CHARACTERISTICS AND SCHOOL LEARNING
BENJAMIN S.BLOOM2222 年出版284 页ISBN:0070061173