（美）Raymond Greenlaw，（美）Ellen Hepp著；郭振波译2001 年出版373 页ISBN：730204239X
张守志主编2003 年出版249 页ISBN：7040142406
本书是“上海市高等教育自学考试——计算机软件专业（独立本科段）指定系列丛书”之一。本书是《编译技术》的制定配套辅助教材，它给出了教材中全部习题的参考解答，总结了每章中涉及到的概念、方法和原理，并增加了...
廖湖声著2013 年出版217 页ISBN：9787030373663
本书全面介绍了对国内外远程安全控制模型、设计及其实现技术，主要内容包含：远程控制协议的分类和模型，紧密相关的密码学技术，最新的典型的远程控制协议，基于符号模型和计算模型的自动化/手工方式分析与验证远程....
Principles of compilers: a new approach to compilers including the algebraic method = 编译原理: 包含代数方法的新
Yunlin Su ; Song Y. Yan2011 年出版454 页ISBN：7040305777
水浩然著2016 年出版170 页ISBN：9787112184002
本书主要介绍了叠压供水技术的原理与分类；叠压供水设备设计计算的基础工作；叠压供水设备的设计计算；叠压供水设备的选型；叠压供水设备的运行与切换；叠压供水设备的节能分析；综合计算例题。本书适用于建筑给水排.....
钱焕廷编著2002 年出版295 页ISBN：7810232061
本书根据各类高校计算机相关专业的教学特点，结合作者多年来的教学实践及各类反馈信息……
（美）费希尔（Fisher，J.A.）等著2006 年出版671 页ISBN：7111197712
本书将技术深度和实践经验完美结合，清晰阐述了通用计算系统和嵌入式计算系统在硬件、软件、工具和操作系统层面上的不同，内容全面，实例丰富，非常适合实践工程师（芯片设计师和嵌入式系统设计师）和专业技术人员使.....
