逻辑学及其应用研究 第四届全国逻辑系统、智能科学与信息科学学术会议论文集
汪学明主编2009 年出版150 页ISBN：9787541217470
本书是2008年在贵阳召开的第四届全国逻辑系统、智能科学与信息科学学术会议论文集。内容涉及形式逻辑、数理逻辑、法律逻辑、逻辑思维、自然语言理解、机器人涉及、安全协议形式化分析、密码学及其应用等诸...
（美）StephenA.Maguire著2009 年出版256 页ISBN：9787115193162
软件日趋复杂，这使得编程的错误随之而来。如何在测试前发现程序的错误，如何开发出无错误的程序，诸如此类，其关键因素是要知道错误是如何以及为何产生的。本书给出了多条编程方面的指导，这些指导看似简单，却是作.....
真空绝热板 绿色材料 健康生活 第十二届国际真空绝热材料会议论文集 英文版
陈照峰主编2015 年出版334 页ISBN：9787561246085
国际真空绝材料大会已举办十一届，今年首次在中国举办，本次会议对于推动我国真空绝热板科技的发展和真空绝热板的节能应用具有重要的价值。本书共收录国内外论文80余篇，涵盖芯材、膜材、吸气剂等8个主题，是历届...
胡允棒编著2004 年出版399 页ISBN：7112064309
本书根据我国最新颁布的《混凝土结构设计规范》（GB50010-2002）、《建筑抗震设计规范》（GB50011-2001）、《高层建筑混凝土结构技术规程》（JGJ3-2002）、《冷轧带肋钢筋混凝土结构技术规程》（JGJ-95-2003）等编制的。本...
