张健著2000 年出版172 页ISBN：7030083644
本书共分四章。前三章分别讨论了经典的命题逻辑和一阶谓词逻辑公式以及命题模态逻辑公式的可满足性判定算法，也提到有关的软件工具。第四章介绍了它们在离散数学研究、软件和硬件的形式验证与测试等方面的应...
崔国发，孙锐著2014 年出版192 页ISBN：9787503872785
本书对中国湿地自然保护区保护优先性评价技术的初步探索；从湿地生态系统、野生动物、水鸟保护和管理类型等方面逐步展开，量化指标涉及重点保护物种、典型植被、生境条件和生物多样性等诸多方面，分门别类地提出...
莫冬燕著2018 年出版159 页ISBN：9787565430411
本书全面系统梳理了股权投资会计规则的演变历程及其理论根源，在此基础上重点评价现行股权投资会计规则存在不足，并利用上市公司经验数据对股权投资会计规则的演变效应进行检验，最后结合对实务界专业人士的访谈...
汪民安著2006 年出版309 页ISBN：721404224X
本书是作者近五年来对后现代的一些论题所作研究的成果结集。这些论题主要集中于身体、空间与后现代性三个大的方面。作者以开阔的理论视野、精辟独到的切入视角与细腻闪光的文字，对空间的生产性，对身体与性与...
钱振华著2008 年出版337 页ISBN：9787802472822
本书旨在对波兰尼的科学观进行系统论证，集中探讨波兰尼人文科学观的内涵及其合法性问题。波兰尼站在文化“同质性”的立场上，以“人”为坐标，构建一种新型科学观。...
（法）拉迪盖著；李玉民2002 年出版136 页ISBN：7538705481
历史是由漫长时空系列中的一代一代现实串接而成的。历史上曾有过狂欢的盛典，现实中也不乏快乐时光。然而，历史不是橄榄项链，现实也不是蜜渍橄榄。它是沾满了泥污与创痛的摸索和耕耘，苦涩无时不伴随着咀嚼。这才...
刘连泰，刘玉姿等著2017 年出版466 页ISBN：9787302478645
以美国联邦最高法院近两百多年的征收判例为线索，在时间维度上描摹美国公用标准的演变进路；以美国宪法第五修正案征收条款制定时的历史材料为凭借，在解释维度上探求征收条款公用要件的原初含义；以美国学界关于征...
封志纯，刘敬主编2019 年出版495 页ISBN：9787030601940
本书由多位知名的儿科专家、产科专家结合多年临床经验和最新文献编写，系统阐述了常见母源性新生儿疾病的病因、病理生理、临床表现、诊断、鉴别诊断、治疗、预防，包括糖尿病母亲新生儿、风疹病毒感染母亲新生...
王向阳著2006 年出版250 页ISBN：780233084X
本书包括牧区草地生态建设的理论支撑、西部牧区草地概况与问题、西部牧区草地多功能性界定及生物多样性评价等。
胡宗全著2005 年出版119 页ISBN：7502151834
本书对致密裂缝性碎屑岩储层系统地开展了储层地质特征描述，储层定量评价和分布预测等研究；对砂体，基质孔隙，裂缝三个子系统，分别在描述，评价和预测三个层次上展开研究技术体系....
