(德)艾宾浩斯著2008 年出版289 页ISBN:7506292270
本书是一部难度适中的本科生数学教材。主要讲述了什么是数学证明,这些证明怎么能够被验证以及电脑在多大程度上能够执行数学证明。读者对象:本书适用于数学、计算机科学、人工智能和决策学等各个领域的本科生...
石志国,薛为民,尹浩编著2011 年出版330 页ISBN:9787512104693
本书根据最新的网络安全的研究内容,加入最新的可信计算(国内自主的TCM部分)以及云计算安全性等内容。
辉一浩编著2010 年出版261 页ISBN:9787806885192
本书会告诉你什么是真正的幸福,同时书中还详细地阐述了女人如何获得幸福的智慧与技巧,每节中所举的例子都会让女人从中找到自己的影子,并从中学到如何处理生活中发生的事。...
陈勇著2010 年出版623 页ISBN:9787500482048
本书是作者对《资治通鉴》中有关十六国的部分资料的释证。在以往的十六国史研究中,人们一般将《通鉴》是为第二手资料,因而在史实的层面,此书并未受到足够的重视。事实上,当司马光及其助手刘恕、刘攽、范祖禹等...
陈勇,曲赜胜主编;刘坤,熊辉副主编2016 年出版354 页ISBN:9787302433170
本书的第一部分主要介绍工程项目管理的有关理论、概念、专业术语等,并对工程项目管理的过程进行简要介绍;第二部分详细介绍工程项目全过程设计的管理工作,例如进度、费用、质量、信息、风险等方面的管理;最后对...
谢东浩,武谦虎主编2015 年出版460 页ISBN:9787506778268
本书是一部全面、系统阐述常用治疗肿瘤中药的药理及临床应用等内容的专著,系编者搜集国内外有关文献资料,并结合多年临床经验编写而成。本书共分三篇,计18章,收载常用治疗肿瘤中草药及中成药约260种。...
汪浩主编2010 年出版208 页ISBN:9787502036690
本书全面系统地介绍了机械维修基础知识,零件失效及设备故障诊断技术,机械零部件的修理与装配方法,机械设备的安装程序,煤矿常用机械设备的修理与安装工艺等。...