-
计算理论基础 可计算性、复杂性和语言 英文版 第2版
（美）戴维斯（Davis，M.D.），（美）西加尔（Sigal，R.），（美）韦约克（Weyuker，E.J.）著2009 年出版609 页ISBN：9787115196576本书是严格的、可读性很强的计算机科学理论中核心主题的介绍性教材，书中涵盖的主题包括可计算性理论、形式语言、逻辑学与自动演绎、可计算复杂性（包括NP完全问题）和编程语言的语义。本书分为5个部分分别讲述...
-
中国人口 结构与规模的博弈 人口老龄化对中国人口发展战略的制约及对策
莫龙，韦宇红著2013 年出版267 页ISBN：7509743567本研究的主要观点是：21世纪上半叶中国将面临巨大的人口老龄化经济压力。压力增大最快的时期可能是在2025～2040年，压力高峰很可能出现在2040年前后。高峰时的压力将可能达到2010年压力的3～4倍，压力之大将有可能达...
-
练习的力量 把事情做到更好的42法则
（美）莱莫夫，（美）伍尔韦，（美）叶兹著2014 年出版228 页ISBN：9787515310022练习是一种简单到极易被人忽略，却又无比强大的成功模式！练习极简单，又极复杂，每个渴望进步的人，无论从事什么行业，无论是领导者还是员工，都希望掌握练习的方法和力量，抓住练习的规律，以把事情做到更好。那些......
-
洛杉矶凌晨四点 科比告诉你，天才是如何炼成的
韦秀英编著2015 年出版221 页ISBN：978756990537336年前，科比·布莱恩特出生在美国费城。他曾单场砍下81分，创NBA历史单场得分第二高纪录。在高中时代就赢得全美认可的他，几乎被视为天才。但当记者问科比成功秘诀，科比反问记者：“你知道洛杉矶凌晨四点的样子吗？...
-
“十二五”江苏省高等学校重点教材 卓越工程师教育培训机械类创新系列规划教材 冲压工艺与模具设计
陈炜主编；秦永法，王洪涛，郭玉琴，石风健，岳陆游，查长礼副主编；武兵书主审2015 年出版334 页ISBN：9787030449290本书对冲压工艺与模具设计的基本问题作了系统论述。全书共十一章，介绍了冲压加工和冲压设备、冲压成形原理与成形极限、板料的成形性能、冲裁工艺与模具设计、弯曲工艺与模具设计、拉深工艺与模具设计、其他...
-
中国社会科学博士论文文库 一面司法领域的多棱镜 社会学视角下的法官素质
陈洪涛编2015 年出版172 页ISBN：9787516169483近年来法官素质问题成为中国法院、法学界乃至社会关注的焦点。纵观社会各界对法官素质问题的认识，可发现“法官素质低”已成为常识性命题。这一认识导致社会对法官公信力怀疑乃至否定。而法官作为现代社会纠...
-
ARM处理器开发详解 基于ARM Cortex-A8处理器的开发设计 第2版
刘洪涛，甘炜国编著2014 年出版268 页ISBN：9787121231612考虑到ARM技术的新颖性和实用性，本书选用了基于Cortex-A8内核的三星S5PV210处理器为学习对象。从之前的S5PC100升级到S5PV210。S5PV210是S5PC100的升级芯片，目前广泛应用于教学平台。本书共分16章，第5～16章标题...
-
记录她们20年的行动足迹 北京+20妇女活动家访谈录 第2辑
张李玺主编；王晓明，李洪涛副主编2015 年出版399 页ISBN：9787512712171“倾听与发现：妇女口述历史丛书”共10卷。第1卷～第6卷为“追寻她们的人生”（妇女生命史访谈录），第7卷～第9卷为“记录她们20年的行动足迹” （北京’95+20妇女活动家访谈录），第10卷为“她们人生经历的价值诠释与探......
-
记录她们20年的行动足迹 北京+20妇女活动家访谈录 第1辑
张李玺主编；王晓明，李洪涛副主编2015 年出版345 页ISBN：9787512712188“倾听与发现：妇女口述历史丛书”共10卷。第1卷～第6卷为“追寻她们的人生”（妇女生命史访谈录），第7卷～第9卷为“记录她们20年的行动足迹”（北京’ 95+20妇女活动家访谈录），第10卷为“她们人生经历的价值诠释与探......
-
《预拌混凝土绿色生产及管理技术规程》实施指南
韦庆东主编；徐亚玲，杨根宏副主编2015 年出版152 页ISBN：9787112177295本指南共分5篇22章。各篇章主要内容如下：第一篇简要介绍了规程编制的时代背景、国内外发展状况和存在问题；第二篇简要介绍了规程主要编制工作、规程主要内容和特点、技术水平和存在问题等；第三篇按照规程的章...