使用Visual Basic 5开发ActiveX 编写Internet/Intranet应用程序的专业指南
（美）（E.彼得鲁措斯）Evangelos Petroutsos著；周予滨等译1998 年出版390 页ISBN：7801246772
（美）Neil Harrison，（美）Brian Foote，（德）Hans Rohnert著；北京SPIN译2004 年出版621 页ISBN：7302097267
本书是专业软件开发者记载模式的系列书籍的第4卷，代表了模式领域最先进的实践。本书中的29章都发表于最近的PLoP会议上，且由与会的权威专家做了对其深入研究和改进。这些代表着PloP会议精华的模式提供了用于...
YvesBertot，PierreCasteran等著2010 年出版432 页ISBN：9787302208136
Coq是一个用于验证定理的证明是否正确的计算机工具。本书的主要目标是从实践的角度来理解Coq系统及其基本理论，即归纳构造演算。这本书给出了大量的例子，所有这些例子都可以在计算机上执行。...
《人民法院量刑指导意见》与《关于规范量刑程序若干问题的意见》理解与适用
高贵君主编2011 年出版478 页ISBN：9787509322239
本书是有关《人民法院量刑指导意见》以及规范量刑程序若干问题的意见及相关法律法规文件，对量刑实体问题和程序问题都作出细致规定。
陈桂生著2009 年出版383 页ISBN：9787561763124
本书是对教育学中常见概念进行了系统的辨析，可供教育研究者、教师阅读，是《“教育学视界”辨析》的增订修改本。
