Lecture Notes in Computer Science 2152 Theorem Proving on Higher Order Logics 14th International Con
TPHOLs 20012001 年出版394 页ISBN：354042525X
Lecture Notes in Computer Science 2097 Advances in Databases 18th British National Conference on Dat
BNCOD 182001 年出版218 页ISBN：354042265X
MINICOMPUTERS Low-Cost Computer Power for Management
1973 年出版199 页ISBN：0814453171
Assembly Language Programming for the IBM Personal Computer
1984 年出版340 页ISBN：0130491713
Human Performance Models for Computer-Aided Engineering
1990 年出版326 页ISBN：0122365305
Discrete Mathematical Structures for Computer Scientists and Engineers
2007 年出版538 页ISBN：9781842652985
119 PRACTICAL PROGRAMS FOR THE TRS-80 POCKET COMPUTER
1982 年出版298 页ISBN：0830613501
Decision Support Software for the IBM Personal Computer
1985 年出版304 页ISBN：0574217606
