CURRENT TRENDS IN PROGRAMMING METHODOLOGY Software Specification and Design Vol.1
RAYMOND T.YEH2222 年出版0 页ISBN：
Lecture Notes in Computer Science 3440 Tools and Algorithms for the Construction and Analysis of Sys
TACAS 20052005 年出版588 页ISBN：3540253335
Lecture Notes in Computer Science 4424 Tools and Algorithms for the Construction and Analysis of Sys
TACAS 20072007 年出版738 页ISBN：9783540712084
Lecture Notes in Computer Science 3920 Tools and Algorithms for the Construction and Analysis of Sys
TACAS 20062006 年出版506 页ISBN：3540330569
Object-oriented and classical software engineering = 面向对象与经典软件工程
Schach r. Stephen2002 年出版633 页ISBN：7111108434
Lecture Notes in Computer Science 2988 Tools and Algorithms for the Construction and Analysis of Sys
TACAS 20042004 年出版608 页ISBN：354021299X
公共政策工具 对公共管理工具的评价 evaluating the tools of public administration
（美）B. 盖伊·彼得斯（B.Guy Peters），（美）弗兰斯 ·K. M. 冯尼斯潘（Frans K.M.van Nispen）编；顾建光译（美国宾夕法尼亚州匹兹堡大学）2007 年出版250 页ISBN：7300075312
本书分析了有关政策工具探讨的背景，勾勒出其在公共管理领域的发展，阐述了各国政府近年来在限制市场的干预方面所做的努力。
计算机组成与设计 硬件/软件接口 the hardware/software interface
（美）David A. Patterson，（美）John L. Hennessy著；郑纬民等译2007 年出版593 页ISBN：9787111202141
本书是计算机组成的经典教材，主要介绍计算机设计方面的基本概念，并展示了软硬件间的关系。
Datapro/McGraw-Hill Guide to CP/M Software Second Edition
1985 年出版386 页ISBN：0070154082
JAVA(TM) SOFTWARE STRUCTURES DESIGNING AND USING DATA STRUCTURES THIRD EDITION
2010 年出版540 页ISBN：0136078586
