10TH INTERNATIONAL OPTICAL COMPUTING CONFERENCE 1983
2222 年出版221 页ISBN:0818600047
VERIFICATION AND VALIDATION IN SCIENTIFIC COMPUTING
2010 年出版767 页ISBN:9780521113601
Introductory lectures on manifold topology: signposts = 流形拓扑导论讲义
Thomas Farrell ; Sun Yang2014 年出版130 页ISBN:7040390032