信息化与数字化城市发展战略和对策研究 【工业技术】

本书重点详细地对威海市的信息化与数字化现状作了分析，并提出了战略性发展的对策，建立了较为系统的理论模型，为威海市信息化的发展指明了道路。...

软件开发的形式化工程方法 【工业技术】

本书首次开创了一个新技术，即形式化工程方法，把传统的形式化方法和软件工程有机结合起来。它提供了一个严密、系统、有效的软件开发方法，其实用性超过了目前所有形式化方法。这正好可以满足学术界、软件工程类...

同步导学与评估 地理图表解读 高三年级 A版 【文化科学教育体育】

组织与管理研究的实证方法 【其他书籍】

本书分五个部分：“科学研究的目的和过程”、“管理学的理论构建”、“管理学的研究方法”、“管理学研究中的测量统计方法”和“研究发表的旅程”。这可能是第一本最全面系统地介绍管理学研究方法，由海内外华...

资产评估案例分析 第3版 【经济】

本书包括机器设备评估案例分析，房屋建筑物及在建工程评估审计案例分析，土地使用权评估案例分析，无形资产评估案例分析，长期投资评估案例分析，流动资产评估案例分析等内容。...

2008年全国注册资产评估师考试大纲 【经济】

本书内容力求系统全面地体现注册资产评估师应具备的知识、技能和能力。是注册资产评估师的执业指南。

从共同市场到单一货币 欧盟的一体化政策 【政治法律】

自1958年1月1日《罗马条约》正式生效以来，欧洲联盟已经经历了50个年头。尽管一体化的道路曲曲折折，步履艰难，但是欧洲人还是实现了他们追求已久的梦想。目前，欧洲是世界上一体化程度最高的区域，这不仅是欧洲人的...

中国古典文献学的理论与方法 【文化科学教育体育】

中国古典文献学学科是以古籍整理与研究为基本对象的学科，古典文献形态学、古籍版本学、古籍校勘学、古籍目录学、古籍注释学、古籍考证学、古籍编纂学和古籍检索学构成本书的自成体系的结构内容。作者将传统...

软件开发的形式化工程方法：结构化+面向对象+形式化 【其他书籍】

地方普通高等医学院校的人才培养规格 【医药卫生】

本书从理论与实践结合的角度，提出了地方高等医学院校五年制本科医学教育人才培养的规格要求，包括知识、能力、素质三大基本要素。人才培养规格的基本内容主要涵盖四个方面：党和国家要求的思想品德素质和职业素...