最高人民检察院刑事执行检察厅编2017 年出版182 页ISBN：9787510218125
《刑事执行检察工作指导》作为全国检察机关刑事执行检察系统的业务工作指导与参考用书，由最高人民检察院刑事执行检察厅厅长袁其国担任主编，各省级检察院刑事执行检察部门负责人和刑事执行检察厅相关同志组成...
袁鸿，周艳玲主编2016 年出版132 页ISBN：7565328049
本书是以《刑事影像技术》理论教材为蓝本、以《刑事影像技术》课程实验教学需要为依据而编写的，本教材建设是对《刑事影像技术》课程建设的进一步完善，能满足公安本科院校刑事科学技术专业教学的需要。具体包...
《中国指导案例》编委会编2014 年出版529 页ISBN：9787509347799
本书将最高人民法院（各业务庭）发布的权威典型性案例分门别类，将每个案例的案由、裁判要点、裁判理由及适用法律进行了精心地提炼编辑。读者在阅读、使用时，可以方便地对案例进行分类对比，领会案例裁判要旨，较易.....
（日）西村寿行著；森村诚著；夏燕编译；春华编译2004 年出版305 页ISBN：7801460855
内 容 简 介 地处偏远的风道屯，五户人家，十三口人全被 杀死。经过验尸，发现一具来此旅行的女子尸体，而 本屯一位8岁女孩却下落不明。虽经警方全力调 查，但仍未能破案。 两年后，一位叫味泽的男子领着一个10岁的 女...
刑事指导案例汇览 最高人民法院公报案例全文·裁判要旨·学理展开
刘树德著2010 年出版785 页ISBN：9787509319123
本书收录以1985年到2009年发表在《最高人民法院公报》上的指导型案例，并对这些案例进行了详细的解读等等。
工程建设标准规范分类汇编 安装工程施工及验收规范 中华人民共和国国家标准 工业自动化仪表工程施工及验收规范 GBJ93-86
本社编1996 年出版33 页ISBN：7112028116
暂缺《安装工程施工及验收规范》简介
YvesBertot，PierreCasteran等著2010 年出版432 页ISBN：9787302208136
Coq是一个用于验证定理的证明是否正确的计算机工具。本书的主要目标是从实践的角度来理解Coq系统及其基本理论，即归纳构造演算。这本书给出了大量的例子，所有这些例子都可以在计算机上执行。...
