刑事证据与证明研究

本书对刑事诉讼法学领域的证据和证明程序的研究，体系宽广，语言简明，可以作为学生学习刑事诉讼法学的教材及学科研究者的参考文献。

证据与证明 以刑事法治为视角

本书围绕着刑事证据与证明的若干前沿问题展开论述，对司法实践中的一些热点问题进行了深入分析，有一定的理论价值。

方程求解与机器证明 基于MMP的问题求解

刑事证据制度与理论 下 刑事诉讼证明

本书根据有关学者撰写的刑事证据的论文和著作，结合当前的司法实践，对刑事证据制度的沿革、理论基础、基本原理、刑事证据规则、证明、证明标准等问题进行了论述。...

推理与证明

本书是配合《普通高中数学课程标准（实验）》的实施而编写的，侧重于为实施新课程的教师提供与课程标准的理念、处理方法相匹配的数学教学资源，进而向教师提供专业知识、方法的补充资源，目的是帮助教师掌握课程标准...

计算机网络基础 因特网协议原理与实现

网络处理器体系结构、协议与平台

本书内容丰富、详实、图文并茂，理论联系实际，有较强的理论指导和工程实践意义，可供从事网络和通信工作的技术人员和管理人员阅读参考。也可作为大专院校网络专业师生专业课的学习参考书使用。...

区域分解算法 算法与理论

本书学科覆盖面广，作者背景很好，水平很高。

IPv6路由协议栈原理与技术

本书在介绍路由协议基本理论的基础上，对IPv6路由协议栈中的三大路由协议——RIPng、OSPFv3和BGP4+的工作机理、设计思路及实现方案等作了全面而系统的叙述。全书取材新颖、内容丰富、实用性强，反映了当前对新...

Linux网络体系结构 Linux内核中网络协议的设计与实现

本书介绍了在Linux内核中实现网络功能时所需要的基础知识，同时也介绍了通信系统的设计。