（英）MartinFowler著2010 年出版321 页ISBN：9787111305309
本书讲述各种分析模式（即来自概念性业务模型的模式）和支持模式（即讲述如何使用分析模式的辅助性模式），把论述重点放在介绍面向对象分析和设计的最终结果——模型本身。作者透过平实朴素的语言，将自己丰富的对象.....
面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems
（德）Michael Huth，（英）Mark Ryan著；何伟，樊磊译2007 年出版277 页ISBN：7111213971
本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题，反映了计算机科学中数理...
（美）Charles Wright等著；邓劲生，张晓明等译2005 年出版863 页ISBN：7508428919
本书深入浅出地讲述Visual C++各种编程诀窍，以高屋建瓴的眼光看待MFC编程的技巧和思想，详尽分析了具体实现中的技术内幕。本书以其翔实知识面的覆盖、大量实用的示例和作者自身丰富的编程经验，阐述了从C语言编...
全国计算机等级考试专用辅导教程 二级C++ 2013无纸化考试版
希赛教育等考学院殷建民主编2013 年出版292 页ISBN：9787121192296
本书由希赛教育等考学院组织编写，内容紧扣教育部考试中心新推出的考试大纲，通过对历年试题进行科学分析、研究、总结、提炼而成。本书按考试大纲的章节编写，每章后附习题，最后附习题解答。本教程各章节的内容安...
