陈金钊，谢晖主编；刘风景执行主编2016 年出版392 页ISBN：9787209103503
本书为连续出版物，本书为第20卷。书中以论文的形式就法律解释、法律推理等各种法律方法论进行了探讨，就中外学界具有一定影响力的法学方法论进行了探讨、评析。本书已成为法学界探讨法律方法理论的重要阵地，具...
王平，刘学毅著2007 年出版298 页ISBN：7811045400
跨区间无缝线路是轨道结构进步的一个突出标志，无缝道岔是其核心关键技术。该专著内容包括：无缝道岔结构设计、无缝道岔计算理论与分析、无缝道岔的推广应用三大部分，均为最新的理论研究成果。...
赵光华主编2008 年出版286 页ISBN：9787301135525
本书内容：1.绪论；2.数据的整理与分布；3.抽样分布；4.参数估计与假设检验；5.相关分析与回归分析；6.聚类分析；7.主分量分析；8.规划分析；9.层次分析法；10.决策分析。本书从实际应用出发，融入工程管理类实际案例，使教......
彼得·斯密得著；黄明吉，董秀萍，唐英译2008 年出版295 页ISBN：9787122024206
本书全部采取以实例引导的形式讲解，从数控的基本编程技术知识、详细介绍了数控编程技术的多个细节。
陈为钢，张少林著2008 年出版354 页ISBN：7801858743
本书理论联系实际，总结了作者从事刑事办案工作二十多年来运用“证据联结点”解决疑难复杂案件独特、成功的实践经验。书中归纳了司法实践中大量的刑事证明技巧，并通过近200个生动的司法实例予以阐述，是广大司...
胡正国，蔡经球编著1992 年出版268 页ISBN：7561200005
内容包括：结构化程序、程序正确证明、递归程序及其正确证明、程序变化术等。
