郭爱民著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
本书对计算机科学方面的数理逻辑进行了综合介绍,涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题,反映了计算机科学中数理...
王善平,张静波编著2007 年出版141 页ISBN:7030193113
本书以数字化信息为主线,系统介绍了信息时代所必需了解和掌握的现代信息的概念、技术与技能的基本知识。第1-3章是基础篇;其中第1章介绍了信息的定义与信息技术历史发展,澄清了以前关于信息的混乱概念;并强调信...
第六届水泥与混凝土国际会议及CANMET/ACI混凝土技术可持续发展国际会议论文集 2
隋同波,沈荣熹,张文生编2006 年出版1650 页ISBN:7119022490
本书汇集了国际上有关水泥与混凝土领域的科技发展成就的论文,以交流科技成果,促进我国与世界各国之间的科技合作为目的。
第六届水泥与混凝土国际会议及CANMET/ACI混凝土技术可持续发展国际会议论文集 1
隋同波,沈荣熹,张文生编2006 年出版790 页ISBN:7119022490
本书汇集了国际上有关水泥与混凝土领域的科技发展成就的论文,以交流科技成果,促进我国与世界各国之间的科技合作为目的。
田阡编著2015 年出版313 页ISBN:9787513034265
全书从五个部分来探讨土家族社区的族群认同,通过个案来佐证前人的理论和观点。从土家族到渝东南土家族的族源梳理,再到桥头土家族的生存环境和生活状态描绘作为第一部分,是我们探讨族群认同的一个基础背景;第二...