Lecture Notes in Computer Science 3707 Automated Technology for Verification and Analysis Third Inte
ATVA 20052005 年出版506 页ISBN:3540292098
Lecture Notes in Computer Science 3667 Spatial Coherence for Visual Motion Analysis First Internatio
SCVMA 20042006 年出版141 页ISBN:3540325336
methods in enzymology volume 285 cumulative subject index volume 263
2641998 年出版345 页ISBN:
GRADUATE TEXTS IN MATHEMATICS 188:LECTURES ON THE HYPERREALS AN INTRODUCTION TO NONSTANDARD ANALYSIS
ROBERT GOLDBLATT1998 年出版292 页ISBN:038798464X