李未著2014 年出版289 页ISBN:9787030401557
本书的内容共分十章,系统介绍数理逻辑的基本原理与形式演算。前五章涵盖了经典数理逻辑的核心内容,包括一阶语言的语法与模型,形式推理系统,可计算性与可表示性,哥德尔定理。后五章的内容是作者的研究成果。这部...
木棉著2014 年出版152 页ISBN:9787530471012
本书分享了近120道经典零食的做法,按口味可分为酥脆小零食、甜酸小零食、咸香小零食,既包含中式甜点,也包含西式甜点,此外还有甜饮、冰激凌、果茶、果盘等。每款零食都有详细的制作步骤和一目了然的步骤图,此外...
马掌法,黎明主编;李江晓副主编2012 年出版264 页ISBN:9787508499857
本书在第一版改进的基础上,将最新和最好的家具设计和生产技术与工艺进行系统阐述。全书介绍了家具设计的基本概念和内容,家具设计风格演变,家具造型设计,家具设计创意与表达,实木家具生产工艺,板式家具生产工艺.....
张亚主编;朱春辉,李果桦,谢佳佳等副主编2014 年出版341 页ISBN:9787564090548
本书本着内容系统性和广泛性,理论够用性和简要性,实训的可操作性和多样性,为读者介绍了公共关系的含义、特征和构成要素、历史、职能和原则、主体、客体、媒介、工作程序等基本概念和原理,以及公共关系危机处理...
邱满良编著2014 年出版364 页ISBN:9787121239670
本书系统而全面地阐述了笔记本电脑相关的功能部件、基本电路、主板电源、系统功能模块、主机时钟模块、故障诊断工具和常见故障诊断思路等相关知识。书中包含大量的笔记本电脑实际线路原理图分析、系统功能...
胡琼英,秦春,陈敏主编2014 年出版188 页ISBN:9787122206862
本教材主要由实验和附录两部分组成。实验部分着重介绍了37个综合性、实用性强的生物类实验,分为两部分:“生物化学实验”、“分子生物学实验实验”。本教材凝聚了资深教师数十年实验教学的经验、体会,实验的设...
《市政工程预算一例通(第2版)》编委会编2014 年出版161 页ISBN:9787111471905
本书以《建设工程工程量清单计价规范》(GB 50500-2013)、《市政工程工程量计算规范》(GB50857-2013)等为依据,以快速学会预算为主线,通过一个例子说明预算全过程,主要分为:某学校市政工程工程量清单编制实例、某学...
RobertaL.Hines,KatherineE.Marschall;冯艺主译2011 年出版512 页ISBN:9787565900044
本书主要内容是对存在并存疾病患者的并存疾病诊断与鉴别诊断、术前评估与准备、术中管理、术后(麻醉)管理。 本书特点:涵盖了临床常见的具有并存疾病的病例;提供了特殊患者(如儿科和老年科患者)的专科信息,并......
(美)B·盖伊·彼得斯著2011 年出版189 页ISBN:9787208100398
盖伊·彼得斯列举了新制度主义必须作出解释的九个问题作为本书的分析框架,亦即:1、制度由何构成?2、制度怎样形成?3、制度如何变迁?4、个人和制度如何互动?5、制度如何解释行为,及其能否验证?6、制度如何设计?7......
刘远我著2011 年出版404 页ISBN:9787121129537
本书第2版在保持第1版架构和内容的基础上,增加了人才测评原理、笔试等内容,更新了一些内容和案例,系统介绍了人才测评技术及其应用。本书分为3部分,共17章。其中,第1部分介绍现代人才测评的基础;第2部分介绍现代....