机器证明的逻辑推定 李娜 著.pdf
逻辑定理的机器证明是人工智能领域人们最早从事研究的课题。《机器证明的逻辑推定》从逻辑定理的人工证明和机器证明两方面来展现逻辑定理证明的艺术，而机器证明又从定理的自动证明和计算机辅助证明两个方面来展现。《机器证明的逻辑推定》首先用作者构造的命题演算系统FPC和狭谓词演算系统FQC完
李娜
数字图像视频处理及应用 刘颖,李娜等 编著.pdf
《数字图像视频处理及应用》以图像视频处理的基本原理为主线，以实际应用为扩展，以前沿技术动态为补充，介绍图像视频处理领域的研究热点及关键技术。《数字图像视频处理及应用》共11 章，分为四部分。**部分包括第1～3 章，主要介绍图像视频处理的基本概念与理论。第二部分包括第4～8 章，
环境影响评价 陈天明,李娜,韩香云 主编.pdf
本书系统介绍了环境影响评价所涉及的法律法规体系、技术方法、技术导则和案例分析四个方面的内容，具有系统性、实用性、独立性、整体性和新颖性。全书共13章，包括环境影响评价概论、环境影响评价程序与方法、工程分析、大气环境影响评价、地表水环境影响评价、声环境影响评价、固体废物环境影响评价
国际服务贸易.pdf
本书以国际贸易为核心，首先从服务经济的基本范畴出发，论述了国际服务贸易的分类、特征、发展及统计；其次，强调了国际服务贸易竞争力理论以及近年来出现的服务外包相关理论，分析了自由贸易政策和保护贸易政策的理论基础、自由贸易政策的导向以及保护贸易政策手段的特征与规则，并阐述了产生的背景、
综合越南语（1）.mp3
《综合越南语（1）》 配音频学习资源本教材共分 14 课，每课包含课文、课堂用语或成语俗语、语法、生词、练习、泛读课文等部分。课文涉及校园学习、家庭亲情、团结礼貌、友情师恩、中国和越南简况、传统节日、气候等方面内容。课堂用语部分囊括了常用的越南语课堂用语，如起立、师生问候、提问、回答等。成语俗语部分列出了一些常用的越南语成语俗语及对应的汉语翻译。语法部分主要包括课文中涉及的基本句型和基础语法知
（电子书）综合越南语（1）.pdf
《综合越南语（1）》 配音频学习资源越南语、高等教材本教材共分 14 课，每课包含课文、课堂用语或成语俗语、语法、生词、练习、泛读课文等部分。课文涉及校园学习、家庭亲情、团结礼貌、友情师恩、中国和越南简况、传统节日、气候等方面内容。课堂用语部分囊括了常用的越南语课堂用语，如起立、师生问候、提问、回答等。成语俗语部分列出了一些常用的越南语成语俗语及对应的汉语翻译。语法部分主要包括课文中涉及
中文版3ds Max 2010完全自学手册.pdf
本书介绍了3ds max 2010的基本操作，包括熟悉工作环境、变换对象操作、熟悉坐标系统等，详解了创建基础三维模型、创建建筑场景模型、使用编辑修改器建模、二维图形建模、复合对象建模、网格建模、多边形建模、面片建模、NURBS建模、使用材质编辑器、NURBS建模等知识。
家装风格与色彩搭配系列. 怀旧尊贵.pdf
本书精选三百余个家装设计案例，将家居装修中的风格设计知识与色彩搭配结合起来，详细介绍了怀旧家居的空间设计要素，家居色彩搭配的实际表现形式，以及大量精彩的设计案例和实用的知识点贴士。