Lecture Notes in Computer Science 3771 Integrated Formal Methods 5th International Conference
IFM 20052005 年出版407 页ISBN：3540304924
Lecture Notes in Computer Science 4591 Integrated Formal Methods 6th International Conference
IFM 20072007 年出版660 页ISBN：9783540732099
NORTHROP FRYE THE DOUBLE VISION LANGUAGE AND MEANING IN RELIGION
NORTHROP FRYE1991 年出版88 页ISBN：
Computer Systems That Learn Classification and Prediction Methods From Statistics
Neural Nets2222 年出版0 页ISBN：
Lecture Notes in Computer Science 4313 Leveraging Applications of Formal Methods First International
ISOLA 20042006 年出版197 页ISBN：9783540489283
OUR LAST FIRST POETS Vision and History in Contemporary American Poetry
1981 年出版220 页ISBN：0252008855
Spectral theory and geometric analysis : international conference in honor of Mikhail Shubin's 65th
July 29 - August 22222 年出版0 页ISBN：
Lecture Notes in Computer Science 2635 From Object-Orientation to Formal Methods Essays in Memory of
2004 年出版389 页ISBN：354021366X
