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 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：
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
The Protection of Computer Software-Its Technology and Applications Second Edition
1992 年出版307 页ISBN：0521424623
Lecture Notes in Computer Science 3386 Public Key Cryptography-PKC 2005 8th International Workshop o
2005 年出版433 页ISBN：3540244549
Lecture Notes in Computer Science 2917 Model-Checking Based Data Retrieval An Application To Semistr
2004 年出版134 页ISBN：3540209719
Lecture Notes in Computer Science 4294 Service-Oriented Computing-ICSOC 2006 4th International Confe
2006 年出版656 页ISBN：9783540681472
