Lecture Notes in Computer Science 3112 Key Technologies for Data Management 21st British National Co
BNCOD 212004 年出版264 页ISBN：3540223827
Lecture Notes in Computer Science 3223 Theorem Proving on Higher Order Logics 17th International Con
TPHOLs 20042004 年出版337 页ISBN：3540230173
Lecture Notes in Computer Science 3640 Peer-to-Peer Systems III 4th International Workshop
IPTPS 20052005 年出版288 页ISBN：3540290680
Lecture Notes in Computer Science 2152 Theorem Proving on Higher Order Logics 14th International Con
TPHOLs 20012001 年出版394 页ISBN：354042525X
计算机视觉中的多视图几何 原书第2版＝MULTIPLE VIEW GEOMETRY IN COMPUTER VISION SECOND EDITION
（澳）理查德·哈特利2020 年出版0 页ISBN：
THE ART OF COMPUTER PROGRAMMING VOLUME 3：SORTING AND SEARCHING （SECOND EDITION）
[美]DONALD E.KNUTH著2008 年出版780 页ISBN：
Proceedings IEEE Conference on Computer Vision and Pattern Recognition CVPR 2000 Volume 2
2000 年出版804 页ISBN：0769506623
Natural Language Information Processing A Computer Grammar of English and Its Applications
1981 年出版399 页ISBN：0201067692
Computer Calculations for MulticomPonent Vapor-Liquid and Liquid-Liquid Equilibria
1980 年出版353 页ISBN：0131649620
