吴天祥编著2018 年出版388 页ISBN:9787568258432
中药加工技术陈旧限制了中药的发展,利用微生物(尤其是药用真菌)发酵转化中药,不仅可增强微生物次级代谢产物的生物活性、降低中药毒副作用,而且可产出新的活性成分。本书第一章对灰树花的分布、形态、生理特征及...
大气污染控制技术与策略丛书 京津冀大气复合污染防治 联发联控战略及路线图
郝吉明著2017 年出版554 页ISBN:9787030548849
防治京津冀区域大气复合污染的联发联控战略与路线图研究是按照中央领导的要求、工程院设立的重大咨询研究项目,由环境与轻纺学部、能源学部与农业学部共同承担。该研究包括六个研究课题:京津冀区域大气污染来...
牟晓林著2018 年出版219 页ISBN:9787503965128
本文以瓷器作为艺术与文化交流的物质载体与媒介为着眼点,选取瓷器大规模外销的明、清两代为纵向维度的时间段,以四个主要海外市场为横向维度,以明清时期一枝独秀的景德镇瓷器为研究对象,考察不同国家和地区因生...
鲁刚,毛吉康著2018 年出版235 页ISBN:9787520120395
能源问题作为各国政经关系的重要结合点,尤其在应对气候变化及能源安全的大背景下,成为全球治理的核心领域。国家“十三·五”规划明确提出,积极参与国际能源治理及规则制定,推动构建公正合理的全球能源治理机制...
郭爱民著2018 年出版297 页ISBN:9787511735959
工业化时期英国的土地问题是经济史学界关注的热点问题之一。本书以前人的研究为基础,立足整体史观,以多重视角,考察了工业化时期英国的土地流动和经营问题。全书共分为四个部分。第一部分即导言,介绍了国际和国...
墨白著(河南省文学院)2002 年出版274 页ISBN:7535422934
90年代初,严肃文学走入低谷时,我社曾经推出了“跨世纪文丛”。这套书目前已经出版了辑共位作家的代表作品,囊括了新时期以来在文坛上最有影响的一批作家的作品。图书陆续出版后,在文学界和出版界产生了广泛的影...
(美)鲁克泽(Kruse,R.)等著1998 年出版671 页ISBN:7302029431
内容简介本书强调问题的描述和程序的分析、设计、测试、验证以及程序正确性,将深思熟虑的开发的基本思路融于具体的程序设计之中。书中介绍了程序设计原理和软件工程知识以及如何将这些原理和知识运用于程序...
苏冠群主编2002 年出版172 页ISBN:7538010408
对于糖尿病,除了医师和专门研究它的人以外,大多数人只停留在表面的浮浅的认识上,只知道它是一种常见病,多发病,只知其一,不知其二。这在很大程度上,会耽误疾病的治疗,造成严重后果。如果能及时掌握糖尿病病症......
面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems
(德)Michael Huth,(英)Mark Ryan著;何伟,樊磊译2007 年出版277 页ISBN:7111213971
本书对计算机科学方面的数理逻辑进行了综合介绍,涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题,反映了计算机科学中数理...