(美)大卫·W.安格勒著;陈素艳,张绣蕊译;魏屹东审校2016 年出版333 页ISBN:9787030480392
本书从逻辑学的两个核心概念“命题”和“论证”出发,论述了符号逻辑学的两套推理(命题逻辑和谓词逻辑)使用的两种规范语言,以及相应的推导规则。命题逻辑系统具有可判定性,真值表方法和真值树方法都能够为命题、...
(德)克里什娜著;宁保明,杨永健主译;黄海伟,李婕,张娜等译者;张启明,李波,丁丽霞审校2012 年出版326 页ISBN:9787565903298
目前,国内生物药剂学技术发展现状与药品监管机构对该学科的迫切需求之间存在着差距。本书综合药剂学、生物学知识,对药品研发中的决策给出了完整的指导原则。既有基础概念、方法的介绍,也有与制剂体内行为相关...
王隆杰,梁广民编著;马刚,李涤非审校2012 年出版374 页ISBN:9787121169045
本书旨在帮助正在学习CCNP的读者提高CCNP交换方面的动手技能。全书分为8章,主要内容包括:实验台拓扑;Vlan、Trunk、VTP与链路聚集;STP;VLAN间路由;高可用性;交换机的安全;QoS;拥塞避免和组播。本书的重点是实验,希望....
宋智军,米伟哲,武桂香等编著;邱仲潘审校2012 年出版231 页ISBN:9787121167294
EJB ( Enterprise Java Bean ) 是Java EE的一部分,它定义了一个用于开发基于组件的企业多重应用程序的标准。本书坚持以语言为基础、以应用为主导的编写原则,循序渐进地为读者介绍了EJB 3.1开发所涉及的各类...
(美)T.L.塞尔瑙,(美)R.R.乌尔默,M.W.西格,R.S.利特菲尔德编;李强等译;刘文审校2012 年出版146 页ISBN:9787122136558
本书旨在介绍以信息为中心的食品安全风险交流方法。第一部分建立了风险交流的定义和参数,阐述了复杂受众对风险交流的期望,还介绍了有效风险交流的最佳实践;第二部分,在5个完善的个案研究中应用了最佳实践方法;....
么秀杰编著;北京正行兴通会计师事务所审校2015 年出版231 页ISBN:9787512373648
本书首先对企业内部审计的独立性、内部审计机构的设置、内部审计对象与目标、审计证据获取与处理、审计工作底稿的编制、企业内部审计方法进行了规范。接下来采用“错弊形式+查账思路+审计示范”的展现形式...
常越编著;(美)HildaWeaver审校2012 年出版300 页ISBN:9787515903071
本书利用2011~2012年最新VOA慢速英语新闻素材编写而成,内容全面实用,包含了时政、经济、科技、教育、娱乐等新闻内容,适合各个层次的学习者。...
(荷)弗雷德·霍马,彼得·扬著;李林林,谷玮译;庄少勤,吴次芳审校2018 年出版138 页ISBN:9787116108134
本书是就荷兰的空间规划与开发,特别是其法律方面撰写的一本教科书。本书介绍的是与荷兰空间规划与开发法有关的基础知识,除了对荷兰正式的空间规划系统,即有关的法律法规和政策规定进行描述以外,本书还探讨了实...
(法)禄是遒著;据(英)芬戴礼英译本;王惠庆译;李天纲审校2014 年出版130 页ISBN:9787543960749
本丛书共10卷本,译自法国禄是遒神父的原著,该书法文原著与1912年后陆续出版,后由爱尔兰籍会士翻译成英文十卷本通行于世。本书中译本10卷,基本按照英文本的编排顺序,分两大部分:第一部分共五卷,总为民间习俗,介......