2013 年出版224 页ISBN：9787516146200
形式语义学是逻辑与语言交叉研究的产物，是在逻辑框架内构建的关于自然语言的语义学。形式语义学根植于逻辑学、哲学、数学、语言学等好几个学科，其显著特征是运用逻辑和数学的形式化方法去研究自然语言的形成...
2012 年出版208 页ISBN：9787513004121
本书以图文并茂的形式，实录当代南、北两位古琴斫制名匠、一位丝弦制作师的古琴制作过程，并对古琴琴式、选材、斫琴工具、试音、髹漆、制弦、上弦法等方面作了详细介绍。...
2014 年出版224 页ISBN：9787517021360
本书依据程序设计类课程特点，结合学生“由浅入深、由简单到复杂、由操作到理论”的认知规律和“重操作、适度理论”的学习习惯，采用“项目贯穿、任务驱动、阶段模块化”的教材开发理念，选取学生们熟悉的、典型...
2014 年出版104 页ISBN：9787313108593
本书系21世纪建筑设计专业系列教材。本书在观念上遵循基本技能训练与适度创新能力培养2条主线；在教材内容选择上，根据建筑师助理这一终极人才培养目标，对应学生的识图与制图能力、形态与空间分析与表达能力3种...
2014 年出版230 页ISBN：9787302378273
本书主要介绍了工业产品外覆盖件的制造方法，以注塑和冲压工艺为主，简要介绍铸锻焊、切削加工和快速原型制造等其他工艺，使读者能够对外覆盖件的工艺结构有一个系统的认识。本书适于理工类高等院校工业设计类学...
2015 年出版198 页ISBN：9787115372840
本书首先介绍智慧城市的相关背景等一些基本知识，然后分别从智慧城市中的政府服务与管理、民生建设、商业运营和智能交通四个实际应用领域，讲述移动互联网络技术在智慧城市中的应用，最后基于前面介绍的应用，将移...
2014 年出版108 页ISBN：9787568000000
本书包括室内设计的概念、人体工程学与室内设计、环境心理学与室内设计、室内设计系统、室内技术处理与构造设计、室内设计的方法与程序步骤、室内设计实践作品赏析。本书可供室内设计、建筑学、环境艺术等...
2015 年出版371 页ISBN：9787561243367
本书从应用的角度主要对三种最基本的电子元器件电阻器（R）、电感器（L）和电容器（C）进行了讲述。全书共分为3章。第1章电阻器（R），主要讲述电阻器（R）的一般常识（其中包括命名法、阻值辨认法、封装形式等）、种类和应用，特别是...
2012 年出版244 页ISBN：9787548705710
本书严格按照最新计算机考研大纲的计算机网络部分，对大纲所涉及的知识点进行集中梳理，力求内容精炼、重点突出、深入浅出。本书精选了名校历年考研真题，并给出详细的解题思路，力求达到讲练结合、灵活掌握、举一...
砾岩油藏二次开发理论与实践 以准噶尔盆地西北缘砾岩油藏的二次开发为例
2014 年出版223 页ISBN：9787502199487
本书为新疆油田分公司砾岩油藏二次开发工程的参与者对准噶尔盆地西北缘砾岩油藏二次开发理论与实践探索成果的总结，主要介绍经过探索并取得重大成效的砾岩油藏二次开发的思路、方法、和措施，并介绍典型区块的...
2015全国一级注册建筑师执业资格考试历年真题解析与模拟试卷 建筑技术设计 作图题
2015 年出版446 页ISBN：9787512368118
建筑技术设计（作图题）是一级注册建筑师考试3门作图题最难的一门考试，根据这一情况，笔者根据收录了14年真题，每年4道真题，共计56道真题。分类整理为第一章建筑剖面；第二章建筑配件与构造；第三章建筑结构选型与布置；第...
2015 年出版181 页ISBN：9787115379528
本书是编程风格方面的奠基之作，在国外和国内的技术圈中享有盛誉。它是一本很古老的书。30年的岁月依旧无法掩盖其中的真知灼见。它用简单的语言和篇幅，介绍了数十条可以不断流传的程序设计最佳实践，对于程序员...
2014 年出版452 页ISBN：9787111479239
机械工业设计中常用的规范管法兰、垫片选用数据、图表、国家标准、行业标准、各种规范、相关的资料等手册。
2014 年出版240 页ISBN：9787512360082
本书是专门为Canon EOS 5D Mark Ⅱ相机用户或潜在用户量身定制的实用型图书。以剖析核心知识并弥补官方使用手册的不足为原则，对相机的结构、功能、菜单设置以及光圈、对焦、快门、感光度、曝光补偿、白平衡...
2014 年出版120 页ISBN：9787564091675
减速器保养与维修是机械设备安装与维修专业的基本学习模块，是学生掌握机修的基本技能的基础模块。本书以培养学生的综合职业能力为编写原则，以提高学生技能水平为出发点，以学习活动为单元模式，以学生自主学习方...
2008 年出版202 页ISBN：9787104026433
本书是一部电脑入门普及学习用书，讲述了电脑应用软硬件方面的基本知识和维护常识。
2014 年出版152 页ISBN：9787564093747
本套丛书针对的是从未接触过DIY的初学者，书中尽可能是排除很专业、艰深的术语，从具体实例出发，以具体图片来展示各类小制作的每一个步骤。使读者们能够轻松愉快地学习DIY，并且应用到生活当中。亲手构筑自己可爱...
2014 年出版146 页ISBN：9787121238055
本书共8个模块，首先介绍了Word 2010的基本功能，然后分文本编辑、格式设置、图文混排、高级编辑、长文档编辑、页面设置与打印等部分，采用任务引领的方法介绍具体应用和相关知识点，最后通过综合应用比较全面地展...
2012 年出版326 页ISBN：9787113147563
本书共10章，第1章为信息技术概述；第2章为计算机系统；第3章为计算机操作系统；第4章为中文文字处理Word；第5章为中文电子表格Excel；第6章为中文演示文稿PowerPoint；第7章为多媒体技术基础；第8章为数据库技术基础；第9章...
2014 年出版244 页ISBN：9787229083229
本书以图文结合的方式，精选了菜品、原材料、调料、饮食搭配等知识共计6000例，立体全面的展现了川菜的“一菜一格，百菜百味”的特点，并以最直观清晰的方式向读者呈现出来。全书味型明确、百菜百味、做法简单、食...
2015 年出版183 页ISBN：9787302385004
本书是与《Visual FoxPro程序设计基础》配套的习题与实验指导，强调理论与实践的结合，注重基本技能的训练和动手能力的培养，是一套比较完整的Visual FoxPro程序设计基础的实验体系，内容包括上机实验、实训、习题...
2014 年出版144 页ISBN：9787546147482
中国人在建筑文化方面体现了非凡的智慧和创造力。专业写建筑的书又往往被术语和数字扼杀了可读性，为了便于建筑文化爱好者对建筑艺术所涉及的相关知识有较全面的了解，“建筑百问百答系列”图书以科学严谨的态...
2014 年出版212 页ISBN：9787121238819
本书介绍了UGNX Progressive Die Wizard （PDW）模块在多工位级进模设计中的应用。全书分为二大部分，第一部分介绍了PDW级进模的工艺设计：成形零件的钣金准备、项目初始化、毛坯导入及排样、废料设计、工序排样、...
2014 年出版218 页ISBN：9787112163786
土木工程结构是地震灾害的最主要载体，通过技术创新提升工程结构的抗震性能也是“基于性能的地震工程”的最重要支承。技术创新不能只停留在理论层面，而是一个将创新性想法付诸实践，在解决实际问题的过程中不断...
