列车运行安全行为建模与形式化技术研究 【交通运输】

随着我国铁路事业的快速发展，对列车运行控制系统安全性的研究已成为目前铁路运输系统的重要研究问题。形式化方法为设计高可信系统提供了重要途径。本书针对列车运行过程中安全关键因素，如无线通信网络性能、...

生态脆弱区能源开发与生态安全研究 以陕北为例 【环境安全】

以陕北为主要研究区，从区域生态环境安全、能源安全和可持续发展出发，对陕北能源区的生态环境变化特征和生态系统服务功能变化、能源开发区的金属污染和生态安全状况进行分析，对榆林市土地承载力分析和绿色GDP...

二级注册计量师基础知识及专业实务 第4版 2017版 【工业技术】

中国诗歌 2017.6 第90卷 【文学】

本书为“中国诗歌”系列丛书之一（第90卷），收入孙思等三百多位诗人的诗歌原创、转载作品五百余首，及少量诗歌理论作者的诗歌评论文章。诗歌作品比例约占90%，文章比例约占10%。诗歌作品部分，无论原创还是转载，绝大.....

水利水电测绘科技论文集 2017 【工业技术】

通过严格的论文审查，收录了170余篇高质量的稿件，内容涉及地理信息测绘领域的方方面面，划分为8个板块：GIS 应用、RS与数字测量、空间定位技术、软件开发与应用、精密工程测量与安全监测、施工测量、水下测量、测...

浙江企业年鉴 2017 【经济】

本书是浙江省唯一一部综合反映浙江省经济发展和企业改革创新的史料型著作。本系列年鉴自2013首次编纂发行以来，在党政机关、企事业单位和社会上引起了广泛的好评和热烈的反响。2017年卷编撰工作的开展继续秉...

翻译论坛 2017.2 【语言文字】

由许钧主编，由江苏省翻译协会与南京大学出版社组织编写，本书面向社会出版发行，是关于翻译与教学方面的论文集，开创性地从宏微观角度对翻译与教学的交互发展轨迹及总体特征进行学理性的探究。本书设十个栏目：译论...

征管评估习题集 2017年版 【经济】

本书为配合《征管评估》教材学习而出版的习题集。以税务系统征管评估岗位必备的知识理论和专业技能为主要考察内容，全书紧紧围绕征管评估岗位的工作特征和应知应会的内容进行题目设置和考察。全书繁简适度、...

草堂 2017.12 总第16卷 【文学】

该书稿为梁平主编“草堂”书系第十六卷，全书以多角度、全方位展现当下诗歌及其理论研究的发展现状，使读者得以全方位体味诗歌的内涵与魅力，走进诗人的内心世界。整本书具有包容性强，地域性广，传承性高，针对性强.....

CFA一级备考手册 1 财务报告与分析 【经济】

CFA一级备考手册，为诚迅金融培训公司旗下品牌诚迅赛飞编写的针对CFA一级考试的教辅图书。一级备考手册为系列图书，分为6本，有《财务报告与分析》《定量方法与投资组合管理》《公司理财与权益》《固定收益、衍...