可信软件与开发方法

崔梦天，赵翠新，王玉红著2016 年出版149 页ISBN：9787030493002

本书从软件实际开发过程出发，将形式化技术应用于每个开发阶段，系统地介绍了基于B方法完成软件形式化开发的模式、过程、技术和方法，其中包括UML模型图到B方法形式规约的比较全面的转换方法，实现形式规约的精化...

海洋钢结构热浸镀层腐蚀防护技术

魏世丞，魏绪钧，陈建设，王玉江等编著2017 年出版172 页ISBN：9787030544803

本书从改善镀层性能、探讨腐蚀机理、建立腐蚀数学模型、开发腐蚀监测系统等几方面对耐海水腐蚀镀层进行研究，结合腐蚀化学、腐蚀电化学、现代物理检测等手段来分析讨论镀层的海水腐蚀行为、腐蚀规律。全书共...

地理空间元数据关联网络构建与应用

赵红伟，诸云强著2017 年出版171 页ISBN：9787121321634

地理空间大数据背景下，关联数据的发展为海量地理空间数据的语义共享与应用提供了有效的实践。地理空间关联数据意在打破地理空间数据之间的语义壁垒，形成互联互通的含有语义关系的数据网络。由于地理空间数据...

艺术学的理论视域

曹意强著2015 年出版351 页ISBN：9787547910054

曹意强教授全程参与了我国艺术门类独立和艺术硕士学位建设的论证和设置工作。本书是他的论文集，主要论述的是其对我国艺术学科建设、发展，创意文化研究、美术史研究的理论思考。全书收录四组文章：第一组文章主...

英语口音听力教程 2

朱强著2015 年出版229 页ISBN：9787517702788

本书是以各国英语口音为题材的教育与培训教材。在与国际友人、外国客户的实际交流中，即便是英语专业出身的人士也会发现自己面临巨大的英语理解和交流困难，其中一大原因即那些国际人士在讲英文时带有其特有的...

人民币外溢及其效应研究

吴金鹏，栗金强著2013 年出版171 页ISBN：9787502193270

本文紧紧围绕人民币外溢这个中心，以人民币外溢的理论基础——内涵机理——规模测度——效应分析——结论对策为主线依次展开论述。从内在动机和外部条件两方面对人民币外溢的形成机理进行分析，在此基础上，对19...

中国乳制品业全要素生产率研究

薛强著（内蒙古财经大学）2012 年出版197 页ISBN：9787514127539

本书以中国乳制品业全要素生产率为研究对象，分析了中国乳制品业增长方式并测算了全要素生产率增长率，在此基础上，将全要素生产率增长率分解为技术进步与技术效率变化，从东中西部、奶业主产区与非奶业主产区以及...

2005年注册会计师全国统一考试历年试题答案详解 财务成本管理·大参考

刘立强著；注册会计师全国统一考试命题研究中心编2005 年出版186 页ISBN：7801972015

本书介绍注册会计师考试历年试题答案详解。

论刑法中的“明知”

闻志强著2019 年出版383 页ISBN：9787519731250

本书首先从刑事立法的历史沿革的角度出发，以两部刑法典颁行生效为时间分界点，以（广义上的）三大刑事立法主体所产生的立法规定模式即刑法典、刑事立法解释和刑事司法解释作为考察样本和分析主线，从我国刑法文本规...

温拌橡胶沥青性能及工程应用

于新，李淑娥，董夫强著2016 年出版233 页ISBN：9787030375735

温拌沥青路面技术是一门新兴的筑路技术。其实质是通过降低沥青在规定范围内的粘度，使得温拌混合料的拌和温度低于传统的热拌沥青混合料温度，而性能却能达到热拌沥青混合料的水准。本书针对将对温拌橡胶沥青胶...