江必新，贺荣主编2014 年出版621 页ISBN：9787509350416
为了推进强制执行的立法进程，2011年最高人民法院将强制执行法起草中的若干重大理论问题委托专家学者研究。同时最高人民法院继续修改完善强制执行法草案，分别形成了第五稿与第六稿。本书即是将《强制执行法（草...
陈林林著2007 年出版277 页ISBN：7562029113
本书通过对司法论证理论的梳理、分析和批判，来回应裁判者如何借助于法律获得正当的个案判决这个司法实践的未解难题和当代法学方法论的中心议题。该书提出了司法论证的一般构造，并将实践和理论上的裁判进路和...
雷新锋，薛锐著2013 年出版381 页ISBN：9787030370969
对密码协议分析的逻辑方法进行系统介绍。主要内容包括密码协议的概念以及密码协议分析的主要方法综述，密码协议逻辑分析方法的理论基础，各种密码协议逻辑。这些逻辑涵盖了当前比较重要的密码协议分析逻辑，介绍...
潘正华著2017 年出版375 页ISBN：9787030542779
本书是一部研究型的具有原创性的专著，全书共分7章。第1章主要介绍知识处理与知识研究概况；第2章讨论研究模糊性对象的一般理论与方法，其中2.1.3、2.2.4和2.2.5节为我们的专题研究结果；第3章讨论关于模糊性对象...
万继华著2008 年出版149 页ISBN：9787535944993
本书内容介绍了本体逻辑原理与应用，本体逻辑是以人类自然语言为研究对象，并以命题是肯定或否定的语义性质为真值形式的逻辑演算系统，此书介绍了它的原理与应用。...
（荷）F.R.安克施密特著；田平原理译2012 年出版279 页ISBN：9787534770999
本书作者考察了现有叙事研究方法的优缺点，提出和辩护了叙述哲学的三个基本论题。这部著作对当代历史编纂学和历史哲学都产生了深远的影响。...
杨序纲，吴琪琳著2008 年出版306 页ISBN：9787118057720
本书主要阐述拉曼光谱的基本概念、仪器学和主要实验方法，着重于拉曼光谱在微观力学、材料学、生物医学和药物学领域的应用。
