（美）Clay Shannon著；王晓云，林琪译2003 年出版464 页ISBN：7508314824
本书是关于Delphi错误消息的百科全书，是Delphi程序设计人员必备的参考手册。本书覆盖了Delphi的所有版本，包括Delphi 6；分析了近800个错误消息的可能原因，并提供了每种错误的快速解决方案。另外本书还提供了如...
蔡永铭主编；熊伟副主编；林子雨主审2019 年出版236 页ISBN：9787115490155
本书较为全面地介绍Python这门计算机语言的编程基础。全书共13章，主要介绍Python编程基础、三种结构、字符串、文件、列表、元组、字典、函数、异常、面向对象、图形用户界面、数据库等，每章节后面都提供了一...
武斌著2018 年出版130 页ISBN：9787564231699
本书主要介绍程序正确性证明的主要理论和方法。主要包括程序正确性的定义，程序正确性证明的发展历程，程序部分正确性证明的不变式断言法、子目标断言法和公理化方法，程序终止性证明的良序集方法和不动点方法，以...
孟祥双主编2010 年出版384 页ISBN：9787561828342
本书介绍了网页制作概述、设计和管理站点，创建HTML文档、设计页面布局、插入和设置文本、编辑处理图像等。
王连相编著2006 年出版199 页ISBN：7113071880
本书是与《C/C++程序设计教程》配套使用的学习用书。内容包括：上机指导篇和测试篇。
刘瑞新主编；张志纲，张连堂，常永英等编著2005 年出版191 页ISBN：7111168828
本书介绍了计算机知识。
郑阿奇主编；丁有和，刘毅编著2005 年出版337 页ISBN：7111169387
本书从基本概念和实际应用出发，由浅入深、循序渐进地讲述如何运用Visual C++.NET开发实用的Windows应用程序。
欧新新，崔钦淑编著2010 年出版277 页ISBN：9787111285342
本书共7章，内容包括：PKPM系列程序简介、水平及竖向分体系的设计、PK结构计算绘图程序、PMCAD结构平面设计程序等。
杨玲编2011 年出版263 页ISBN：9787511827227
国际商事仲裁程序正当性的基础是国际商事仲裁程序自治；国际商事仲裁程序自治与程序正当性的实现，是以正当程序规范为限制、当事人意思自治与仲裁庭自由裁量权的相互补充为路径的。本书以此为中心，将整个国际商...
于红，徐敦波，冯艳红等编著2012 年出版392 页ISBN：9787111365464
本书主要介绍Java语言与面向对象思想、Java语言开发环境、Java语言基础、Java的面向对象程序设计、数组和字符串、Java语言的实用类与类的设计、Java的异常处理机制、I/O流、多线程机制、图形用户界面、网...
