李娜

中文版3ds Max 2010完全自学手册.pdf

本书介绍了3ds max 2010的基本操作,包括熟悉工作环境、变换对象操作、熟悉坐标系统等,详解了创建基础三维模型、创建建筑场景模型、使用编辑修改器建模、二维图形建模、复合对象建模、网格建模、多边形建模、面片建模、NURBS建模、使用材质编辑器、NURBS建模等知识。

浪漫二居.pdf

本书提供了大量最新的二居室装修设计案例,介绍了二居室户型设计装修中可能涉及的各方面的问题,并辅以实用的装饰装修知识。

图像语义分析算法与实现——基于多示例学习.pdf

本书以培养读者在多示例学习(MIL)框架下实现图像语义分析为目标,采用理论与实践相融合的方式,详细地介绍了MIL的基础知识、算法原理、编程步骤与试验结果等内容,使读者不仅能够掌握MIL算法的原理,而且能够掌握MATLAB中的编程方法,培养实践动手能力,激发学习兴趣。

家装风格与色彩搭配系列. 怀旧尊贵.pdf

本书精选三百余个家装设计案例,将家居装修中的风格设计知识与色彩搭配结合起来,详细介绍了怀旧家居的空间设计要素,家居色彩搭配的实际表现形式,以及大量精彩的设计案例和实用的知识点贴士。

应用随机过程.pdf

本书主要介绍随机过程的基础理论及其实际应用。全书共6章,内容包括概率论基础知识、随机过程的基本概念及其分类、泊松过程及其推广、马尔可夫过程、平稳过程及其谱分析。

机器证明的逻辑推定 李娜 著.pdf

逻辑定理的机器证明是人工智能领域人们最早从事研究的课题。《机器证明的逻辑推定》从逻辑定理的人工证明和机器证明两方面来展现逻辑定理证明的艺术,而机器证明又从定理的自动证明和计算机辅助证明两个方面来展现。《机器证明的逻辑推定》首先用作者构造的命题演算系统FPC和狭谓词演算系统FQC完

国际服务贸易.pdf

本书以国际贸易为核心,首先从服务经济的基本范畴出发,论述了国际服务贸易的分类、特征、发展及统计;其次,强调了国际服务贸易竞争力理论以及近年来出现的服务外包相关理论,分析了自由贸易政策和保护贸易政策的理论基础、自由贸易政策的导向以及保护贸易政策手段的特征与规则,并阐述了产生的背景、