李娜
数字图像视频处理及应用 刘颖,李娜等 编著.pdf
《数字图像视频处理及应用》以图像视频处理的基本原理为主线，以实际应用为扩展，以前沿技术动态为补充，介绍图像视频处理领域的研究热点及关键技术。《数字图像视频处理及应用》共11 章，分为四部分。**部分包括第1～3 章，主要介绍图像视频处理的基本概念与理论。第二部分包括第4～8 章，
家装风格与色彩搭配系列. 时尚简约.pdf
本书介绍了简约家居的空间设计要素，家居色彩搭配的实际表现形式，以及大量精彩的设计案例和实用的知识点贴士。
机器证明的逻辑推定 李娜 著.pdf
逻辑定理的机器证明是人工智能领域人们最早从事研究的课题。《机器证明的逻辑推定》从逻辑定理的人工证明和机器证明两方面来展现逻辑定理证明的艺术，而机器证明又从定理的自动证明和计算机辅助证明两个方面来展现。《机器证明的逻辑推定》首先用作者构造的命题演算系统FPC和狭谓词演算系统FQC完