王波等编著2003 年出版357 页ISBN：7115112118
本书全面系统地阐述了办公自动化系统的概念、发展、技术基础、系统组成、功能、类型和常用设备，以及智能建筑办公自动化系统的设计选型，并优选出了一些办公自动化系统的典型案例，最后给出了智能建筑办公自动化...
西北勘测设计研究院志编纂委员会编2000 年出版841 页ISBN：7508303180
本志用述、志、传、记、图、表、录等体裁，记述了西北勘测设计研究院由初创到发展壮大这一段历史和现状，是“资治、教化、存史”的院情书。 ...
黄圣杰，张益三编著2003 年出版462 页ISBN：7113051472
本书主要介绍了模具、家电、外观设计等领域的24个完整的实体及曲面设计的详细操作步骤，步步给出设计执行效果图供读者参考。
（日）山本良一著；益田文和+DMN生态设计研究会编；王天民等译2003 年出版307 页ISBN：7502543422
本书论述了企业和服务系统环境经营应有的模式、如何实现以及生态设计的原则与方法，在展示出生态设计国际地图的同时，从地球承载的极限出发，提出了实现社会和经济可持续发展的战略。...
（美）Clay Shannon著；王晓云，林琪译2003 年出版464 页ISBN：7508314824
本书是关于Delphi错误消息的百科全书，是Delphi程序设计人员必备的参考手册。本书覆盖了Delphi的所有版本，包括Delphi 6；分析了近800个错误消息的可能原因，并提供了每种错误的快速解决方案。另外本书还提供了如...
武斌著2018 年出版130 页ISBN：9787564231699
本书主要介绍程序正确性证明的主要理论和方法。主要包括程序正确性的定义，程序正确性证明的发展历程，程序部分正确性证明的不变式断言法、子目标断言法和公理化方法，程序终止性证明的良序集方法和不动点方法，以...
