（美）Carroll Morgan著；裘宗燕译2002 年出版314 页ISBN：7111108477
本书详细论述了有关规范程序设计的内容，包括程序和精化、谓词演算、选择、构造类型、模块和封装等，还包含了大量的实例研究和一些更高级的程序设计技术。...
（美）科普林（Coplien，J.O.），（美）施密特（Schmidt，D.C.）编；谢文亮，梁金昆译2006 年出版428 页ISBN：7302127948
本书汇集了许多专家的宝贵经验。
赵秉志主编2006 年出版1718 页ISBN：7811094738
本书上卷《和谐社会的刑事法治：刑事政策与刑罚改革研究》共收录论文128篇，集中探讨以下三个方面的问题：（1）和谐社会刑事法治的宏观问题。主要研讨了和谐社会刑事法治的价值、理念、刑法的谦抑性、刑法的机能以及...
刘荣军著1999 年出版369 页ISBN：7503628480
本书由十章组成，各个部分既独立又密切结合。作者以程序保障作为主线将各个独立的部分连串起来，从而使它们之间相互有机地连结，加强了全书的逻辑联系。本书的特点概括起来有三：第一是资料方面的充实。第二是研究...
戈士国著2013 年出版290 页ISBN：9787010124889
“意识形态的终结”是当代世界政治与学术话语中颇具解释力与影响力的舆论调式，其对激进政治信仰乃至意识形态本身的质疑，直接将意识形态概念的史学解释推向了理论前沿。系统研究和阐发意识形态概念的演变历史...
