程序设计中的组合数学

本书为配合ACM/ICPC国际大学生程序设计竞赛而由竞赛获奖者孙贺编写的有关组合数学方面的程序设计方法，其中有大量的例题及练习供学习使用。...

程序的法理

本书基于法律形式化的理念而展开，旨在探讨法律程序中的具有一般规律性的理论问题。

整理思想碎片的程序 理性思维的逻辑方法

物权程序的建构与效应

本书在功能主义和实用主义的基础上，从理论与时间的视角，揭示出物权程序的内涵意义，并对其建构提出对策，对效应进行分析。

企业改制的28个程序

本书为企业改制的实践，包括：企业改制的形式、程序及其具体步骤、企业改制中的税务问题和账务处理。

可编程序控制器的使用和维护

本书介绍了可编程序控制器的工作原理、结构特点。

基于PC架构的可编程序控制器

本书介绍了PC-BOSED PLC的结构，工作原理和编程方法。

程序设计的模式语言 卷3

本书收集了模式社区目前的一些最佳实践和发展趋势。本书可为开发人员提供高效的、经过测试的，通用的软件设计解决方案。

软件开发 面向对象的程序设计：高级

本书着重论述了JAVA程序设计，程序设计与测试，程序设计后续工作（包括程序评估、技术指南制作等内容）。

法定行政程序实证研究 从司法审查角度的分析

本书主要内容为行政程序法律规则，也就是行政机关执法程序应当遵守的各种法律规则等。