临界的传递逻辑 模态逻辑的濒表格性问题探究

杜珊珊，康宏逵著2017 年出版244 页ISBN：9787030530813

图书回顾了传递的濒表格逻辑的研究发展历史，叙述了传递的濒表格逻辑判据的证明、应用过程，试图解决传递逻辑的濒表格性的判据问题和大格的子格NExtQ4中濒表格逻辑族的基数、分类及公理化问题。本书可供从事模...

面向制造及装配的产品设计

（美）杰弗里·布斯罗伊德（GEOFFREYBOOTHROYD），彼得·杜赫斯特（PETERDEWHURST），温斯顿·奈特（WINSTONA.KNIGHT）著；林宋译2015 年出版576 页ISBN：9787111495697

本书主要介绍面向制造和装配的产品设计，书中对什么是面向制造和装配的产品设计、材料和工艺的选择、面向手工装配的设计、电气连接和线束总成、面向高速自动装配和机器人装配的设计、面向制造和装配的印制电...

极简美国史 超级大国的前世今生

（日）猿谷要著；杜海清译2019 年出版200 页ISBN：7547313671

本书是一本简明美国通史。按照年代顺序叙述美国独立、建国的历程，南北战争克服国家分裂危机的过程；西进运动对内陆边疆的开拓，科技革命促使垄断资本主义体制趋于成熟；压制印第安人和黑人，吸引海外移民，同时向外.....

机械制造技术基础

杜可可主编2007 年出版375 页ISBN：9787115169372

本书根据高等职业技术教育的培养目标和要求，力争将机械制造工艺理论和实践知识有机结合，密切联系生产实际，内容新，可操作性强，适应高等职业教育的教学模式。全书共分11章，主要内容包括：机械制造过程的基础知识......

Pro/ENGINEER Wildfire 3.0工业产品造型设计实例精解 中文版

吴柳机，杜智敏，何华妹编著2006 年出版365 页ISBN：7302139180

本书全歼介绍使用Pro/ENGINEER Wildfire 3.0进行典型工业产品造型设计的方法和实例。

MATLAB图像/视频处理应用及实例

杨高波，杜青松编著2010 年出版274 页ISBN：9787121101038

MATLAB具有编程高效、易学易用的特点，是目前工程上流行最广泛的编程语言。它提供了图像处理和图像捕获工具箱，与MATLAB的数据分析和可视化环境集成在一起，可使专业人士从繁杂的编程中解脱出来，集中在问题的分析...

商事法律文件解读 2015年第11辑 总第131辑

杜万华主编2015 年出版120 页ISBN：9787510913624

本书由最高人民法院审判委员会副部级专职委员、二级大法官杜万华主编。本辑设置了部门规章、部门规章性文件与解读，司法解释、司法解释性文件与解读，地方商事审判动态，司法实务问题研究，新类型疑难案例选评，民事...

大学计算机基础实践教程 第3版

杜小丹，鄢涛主编；李倩，李丹副主编2017 年出版208 页ISBN：9787030532411

本书是与由鄢涛、杜小丹主编的《大学计算机基础》配套使用的学生实践教材。内容分为6个部分：计算机基本操作、实验操作、实验操作提示、理论习题集及、上机习题集及综合模拟试卷及参考答案。计算机基本操作...

中国自贸区及“一带一路”法律问题研究

杜玉琼2017 年出版380 页ISBN：9787564753573

本书内容包括：（一）对国际上有影响的自贸区基本法律制度进行分析；（二）自贸区需要加快和完善区内法制体系；（三）建立了以负面清单为核心的投资管理制度；（四）实行以贸易便利化为重点的贸易监管制度；（五）探......

Flash CS4中文版模块教程

明丽宏，彭德林主编；李国强，梁春燕，柏琳琳等副主编；敖冰峰，柴方艳主审2011 年出版263 页ISBN：9787113124106

本书以模块教学形式全面介绍了Flash CS4的基本操作和动画设计技巧，内容包括初识Flash CS4、Flash绘图、编辑对象、使用文本、元件、实例和库的应用、导入素材、滤镜和混合模式、Deco工具和喷涂刷、动画编辑...