B方法与形式化软件开发技术研究 【工业技术】

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

训诂方法研究 【语言文字】

本书作者黄金贵教授是浙江大学汉语史研究中心专职研究人员。本论文集的20篇论作，是作者多年从事古汉语教学、科研工作的心得总结，体现了作者在古汉语语词考释的实证研究和相关理论思考。书稿大致分为两大部分...

满意就业 高职就业指导工作研究与实践 【文化科学教育体育】

后扩招时代的高职院校生存面临挑战，竞争的结果将取决于毕业生就业的满意程度。本书从顾客满意度视角，分析了影响高职就业指导工作满意度的因素，提出了相应的对策和高职就业指导工作评价体系。...

环境流行病学研究方法与应用 【医药卫生】

环境流行病学是环境医学的一个分支学科。它应用流行病学的理论和方法，研究环境中自然因素和污染因素危害人群健康的流行规律，尤其是研究环境因素和人体健康之间的相关关系和因果关系，即阐明暴露-效应关系，又称...

世界非战争军事行动年鉴 2012 【军事】

我国发展规划评估的理论与方法研究 【经济】

本书由国家发展和改革委员会经济研究所相伟所著，是对我国发展规划评估进行的系统研究。由于发展规划作为我国政府重要干预工具将长期存在，而评估是发展规划编制实施链条上的重要环节，并且我国即将迎来发展规划...

翻译学方法论研究导引 【语言文字】

本书是对翻译学的各种主要方法的有代表性的研究文献进行选编和介绍，以期使读者对翻译学各种研究方法以及对各种方法的现状有所了解。本教材在对现有的介绍翻译学方法论研究文献进行梳理的基础上，还选取了有研...

基础绘画色彩全程训练 组合静物(第2版) 【其他书籍】

深入浅出 行动网站开发 【工业技术】

出口食品生产加工用水模块化检测方法的研究 【工业技术】

本书详细说明了欧盟、美国、中国、日本、国际卫生组织对水质检测的具体要求，搜集和验证了针对不同项目的检测方法和相关领域的最新成果，详细阐述水质检测项目及相应的检测方法，保障加工用水水质满足输出国的要...