Automating with STEP 7 in LAD and FBD Fourth Edition
2008 年出版440 页ISBN：9783895782978
Computer organization and design the hardware/software interface = 计算机组成与设计硬件/软件接口（英文版·第3版）
John L. Hennessy ; David A. Patterson2006 年出版642 页ISBN：7111193393
本书采用MIPS处理器作为展示计算机硬件技术基本功能的核心，着眼于当前计算机设计中最基本的概念，展示了软硬件间的关系。书中逐条指令地列举了完整的MIPS指令集——汇编语言的核心、计算机算术运算、流水线、...
Systems Dependability Assessment Modeling With Graphs and Finite State Automate
Jean-Francois Aubry ; Nicolae Brinzei2015 年出版184 页ISBN：1848217652
Software Engineering with Systems Analysis and Design
Donald V.Steward1987 年出版414 页ISBN：0534075061
Lecture Notes in Artificial Intelligence 4548 Automated Reasoning with Analytic Tableaux and Related
TABLEAUX 20072007 年出版245 页ISBN：9783540730989
Lecture Notes in Artificial Intelligence 3702 Automated Reasoning with Analytic Tableaux and Related
TABLEAUX 20052005 年出版343 页ISBN：3540289313
Computers and Information Processing with Software Tutorial and BASIC Second Edition
James A.OBrien1986 年出版733 页ISBN：
