HANDBOOK OF LOGIC IN ARTIFICIAL INTELLIGENCE AND LOGIC PROGRAMMING Volume 2 Deduction Methodologies
DOV M.GABBAY1994 年出版511 页ISBN：
COMPUTATIONAL COMPLEXITY OF SEQUENTIAL AND PARALLEL ALGORITHMS
LYDIA KRONSJO1985 年出版224 页ISBN：
Simulation in the design of digital electronic systems
JOHN B.GOSLING1993 年出版273 页ISBN：
数字集成电路——电路、系统与设计(第二版)(英文版)=Digital integrated Circuits A Design Perspective
Borivoje Nikolic著2012 年出版0 页ISBN：
Verification of Sequential and Concurrent Programs Second Edition
1997 年出版364 页ISBN：0387948961
Digital Computer Electronics An Introduction to Microcomputers Second Edition
1983 年出版337 页ISBN：0070399018
SEQUENTIAL METHODS IN PATTERN RECOGNITION AND MACHINE LEARNING
K.S.FU2222 年出版227 页ISBN：
Analog Electronics with Op Amps A Source Book of Practical Circuits
A.J.PEYTON1993 年出版281 页ISBN：
ELECTRONIC DESIGN WITH OFF-THE-SHELF INTEGRATED CIRCUITS Second Edition
Z.H.Meiksin1984 年出版448 页ISBN：
