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
COMPUTER METHODS FOR ORDINARY DIFFERENTIAL EQUATIONS AND DIFFERENTIAL-ALGEBRAIC EQUATIONS
URI M.ASCHER，LINDA R.PETZOLD著2009 年出版314 页ISBN：
COMPUTERS AND INFORMATION SYSTEMS:TOOLS FOR AN INFORMATION AGE THIRD EDITION
H.L.CAPRON JOHN D.PERRON1993 年出版608 页ISBN：0805311009
Lecture Notes in Computer Science 2152 Theorem Proving on Higher Order Logics 14th International Con
TPHOLs 20012001 年出版394 页ISBN：354042525X
Handbook of Magnetism and Advanced Magnetic Materials Volume 3:Novel Techniques for Characterizing a
Helmut Kronmuller2007 年出版1857 页ISBN：
计算机视觉中的多视图几何 原书第2版＝MULTIPLE VIEW GEOMETRY IN COMPUTER VISION SECOND EDITION
（澳）理查德·哈特利2020 年出版0 页ISBN：
The 8th International Symposium on Distributed Computing and Applications to Business
Engineering and Science2009 年出版500 页ISBN：
Proceedings of the 38th International Conference on Computers and Industrial Engineering
夏国平 邓修权主编2008 年出版3082 页ISBN：
