16/32-BIT MICROPROCESSORS：68000/68010/68020 SOFTWARE，HARDWARE，AND DESIGN APPLICATIONS
2222 年出版454 页ISBN：0029463319
PROCEEDINGS OF SPIE-THE INTERNATIONAL SOCIETY FOR OPTICAL ENGINEERING VOLUME 306 CONTEMPORARY METHOD
CHARLES L.STONECYPHER2222 年出版198 页ISBN：0892523409
SOFTWARE DEVELOPMENT AND MANAGEMENT FOR MICROPROCESSOR-BASED SYSTEMS
TOMLINSON G.RAUSCHER LINDA M.OTT2222 年出版338 页ISBN：0138229333
硬件设计验证 基于模拟与形式的方法 simulation and formal method-based approaches
（美）William K. Lam著；王维维译2007 年出版359 页ISBN：7111195027
本书的主要内容围绕着对硬件设计验证的两大方法（基于模拟的方法和形式验证的方法）展开。
FOURTH INTERNATIONAL WORKSHOP ON COMPUTER-AIDED SOFTWARE ENGINEERING
RONALD J.NORMAN ROGER VAN GHENT2222 年出版553 页ISBN：081862129X
MOTION PLANNING FOR MANIPULATORS WITH MANY DEGREES OF FREEDOM-THE BB-METHOD
1998 年出版171 页ISBN：3896011952
THE GENERAL METHOD OF SOCIAL WORK PRACTICE:A PROBLEM-SOLVING APPROACH SECOND EDITION
1990 年出版356 页ISBN：0133503801
The lTK Software Guide Desigh and Functionality ITK4.7
Hans J.Johnson2015 年出版494 页ISBN：1930934283
EFFECTIVE DEBUGGING 66 SPECIFIC WAYS TO DEBUG SOFTWARE AND SYSTEMS
(希腊)DIOMIDIS SPINELLIS著2017 年出版227 页ISBN：7121315312
FOURTH AND FIFTH GENERATION PROGRAMMING LANGUAGES，VOL.1 Integrated Software
and Expert Systems1986 年出版283 页ISBN：0070108641
