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

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

“都”的形式语义研究 【语言文字】

本书运用形式语言学理论对汉语“都”进行了语义上的研究。它从现行的分配性理论入手，着重分析了“都”在量化和焦点环境下的作用和意义，详细阐明“都”具有相互区别但又相互关联的两种语义属性：分配性和标度性...

当代油画名家个案研究马志明 【艺术】

本书收录了作者近期创作的油画作品30余幅，题材以黄土高原风情为主，作品朴实、自然，对广大油画爱好者有很好的参考和欣赏价值。

21世纪中国画坛名家艺术研究 丁彩高写意人物 【艺术】

本书精选了当代中国画坛10位名家的作品，分册出版。全面介绍了每个画家的艺术简介，艺术风格和艺术作品。有专家予以品评。这10位画家中有人物画家，也有山水画家和花鸟画家，有工笔也有写意作品，都代表了当代画坛的...

意义深度与形式创新的辩证统一 冯内古特小说研究 【文学】

本书将冯内古特的小说创作和亲身经历放在20世纪美国30年代至80年代的历史背景和后现代文化理论背景中进行考查，揭示了身临其境的冯内古特对美国社会认识的深化、对小说可能枯竭的震惊，以及对当代人类生存的关...

古典诗歌研究汇刊 第11辑 第2册 徐庾丽辞之形式与风格 【文学】

中国共产党统一战线理论与实践形式研究 【政治法律】

本书论述了中国共产党的民族民主统一战线理论，说明这是在新民主主义革命时期马克思主义理论中国化过程中形成的一个重大理论原则。同时，本书也论述了在社会主义革命时期，中国共产党依然重视和贯彻统一战线的理...

21世纪中国画坛名家艺术研究 第2辑 黄淳波写意水墨 【艺术】

本书精选了当代中国画坛10位名家的作品，分册出版。全面介绍了每个画家的艺术简介，艺术风格和艺术作品。有专家予以品评。这10位画家中有人物画家，也有山水画家和花鸟画家，有工笔也有写意作品，都代表了当代画坛的...

艺坛之雄 常书鸿油画艺术研究 【艺术】

本书属学术专著。探究常书鸿先生从留学前到回国直至从事敦煌学研究和文物保护时期不同阶段艺术思想的转变及原因，进而带动其画风的转变，如何探索油画中国化的问题，以及他的艺术思想与其他同时代艺术家有何不同...

商标法的价值构造研究 以商标权的价值与形式为中心 【政治法律】

本书以商标的二元结构要素为基础，从财产权哲学与商誉保护的双重视角对商标权获得的正当性进行透视，最终揭示商标权建构的一元结构与二元结构以及商标权体系选择，并为商标法贯彻私权理念，向民法回归提供重要参考...