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