王晓波等编著2003 年出版321 页ISBN：7302069646
本书是根据教育考试中心2002年制定的“全国计算机等级考试大纲二级 Visual FoxPro程序设计”编写的，是与本套丛书“Visual FoxPro程序设计（二级）教程”配套的。...
（美）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文档、设计页面布局、插入和设置文本、编辑处理图像等。
刘瑞新主编；张志纲，张连堂，常永英等编著2005 年出版191 页ISBN：7111168828
本书介绍了计算机知识。
欧新新，崔钦淑编著2010 年出版277 页ISBN：9787111285342
本书共7章，内容包括：PKPM系列程序简介、水平及竖向分体系的设计、PK结构计算绘图程序、PMCAD结构平面设计程序等。
杨玲编2011 年出版263 页ISBN：9787511827227
国际商事仲裁程序正当性的基础是国际商事仲裁程序自治；国际商事仲裁程序自治与程序正当性的实现，是以正当程序规范为限制、当事人意思自治与仲裁庭自由裁量权的相互补充为路径的。本书以此为中心，将整个国际商...
于红，徐敦波，冯艳红等编著2012 年出版392 页ISBN：9787111365464
本书主要介绍Java语言与面向对象思想、Java语言开发环境、Java语言基础、Java的面向对象程序设计、数组和字符串、Java语言的实用类与类的设计、Java的异常处理机制、I/O流、多线程机制、图形用户界面、网...
蒋年德，全蕾，王志萍主编2012 年出版231 页ISBN：9787121153297
本书以Access 2007为平台，以一个完整的数据库应用系统案例为基础，通过大量的实例，介绍Access数据库技术的相关知识。
