思考机器探案集 完美的不在场证明 第2版

证明达尔文进化和生物创造性的一个数学理论

民事诉讼中的证据和证明

本书是研究民事诉讼中的证据及证据规则的学术专著。全书共八章，系统阐述了证据的证明力，证据的种类，证据的收集、调查与保全，证明对象，证明责任以及证明标准等。...

最新实例证明的尿疗奇迹 来自世界各地的真实体验记

中立型系统的稳定性与可达集边界 线性矩阵不等式方法

本书给出了几类具有代表性的中立型系统和中立型鲁里叶系统的稳定性和指数稳定性问题研究及稳定性条件；两类具有有界扰动的中立型系统的可达集的椭球形边界问题研究，并得到了寻找系统可达集的椭球形边界的有效...

广义似变分不等式解的存在性和算法

全书共分七章，第一章简要介绍了广义似变分不等式的背景和研究现状； 第二、三章介绍了纯量型的广义似变分不等式解的存在性和算法；第四、五、六章介绍了广义向量似变分不等式解的存在性、广义向量似变分不等式...

视频证据的证明力

本书分别从视频证据的含义、法律地位、程序规范、制作规范、证据关联、证据的处理等方面进行研究。书中融入了作者十几年工作中的宝贵经验和研究成果，包括视频证据的理论基础、视频证据的取证规范、视频证据...

青春的证明 高中生素质发展记录册

本书用于记录高中生在学校思想品德、健康、学习等情况，并有自我总结，老师、同学的意见和希望等。

不确定系统的鲁棒分析与综合 矩阵不等式方法

本书介绍了矩阵不等式的概念、性质、求解等相关问题；论证了仿射多项式矩阵的鲁棒D稳定性问题，证明了该问题等价于线性矩阵不等式的可解性，并就两种情况给出了稳定域算法；论述了线性分式不确定系统、带区域极点...

四色定理的证明和方法论 图形填色的系统控制和调节工程