视觉文化与视觉艺术符号学 艺术史研究的新视角

该书是一部研究视觉文化与视觉艺术之图像符号的学术专著，旨在为艺术史研究提供一个新视角。本书是通过符号解读而阐释视觉艺术和视觉文化的一套理论，研究对象是图像符号，研究方法是符号分析，并在当代批评方法论...

品牌符号论 后工业社会的品牌管理理论与实践

本文在分析消费二重性的基础上，提出应该用两种品牌理论来指导品牌管理，在当代消费者越来越看重品牌的背景下，只用品牌信号论来指导品牌管理远远不够，区分两种品牌理论对企业进行品牌管理具有重要的指导意义。在...

当代整体论的形式分析

本书为哲学类学术性专著，属哲学和方法论的基础研究。由于不同整体论均体现为对整体与部分及其关系有不同取向，本书据此以展开整体论的整合研究，一方面是对整体与部分的形而上分析与具体整体论分析的整合，另一方...

电子商务网络协议的形式化分析理论与应用

本书叙述了与信息安全有密切联系的基于网络电子商务协议的形式化分析理论与实际应用。具体内容包括：电子商务协议的形式化逻辑分析方法、通用形式化Petri网模型分析方法、有穷自动机模型检测分析方法、安全...

乐声、歌声与笑声 小学音乐教学的个性符号

小学音乐课堂应该有悠扬的乐声相伴、有美妙的歌声相随、更有学生笑声相映，这就是该书立意的个性符号。“寓教于乐养”表达的是音乐教学的见解，用音乐的美感染学生心灵、启迪智慧、激越追求，并让他们真正体验到...

伦理学中的形式主义与质料的价值伦理学 为一种伦理学人格主义奠基的新尝试 上

伦理学中的形式主义与质料的价值伦理学 为一种伦理学人格主义奠基的新尝试 下

符号计算的程序分析 在线性代数、矩阵论中的应用研究

随着计算机技术的飞速发展，计算机代数系统虽已被广泛地应用于科研、教学以及工程技术，其中比较有名的Maple，Mathematics，Matlab等，在线性代数及矩阵论的教学中应用研究的较少，不够深入。本书针对这方面进行比较深...

形式化框架下置换和查找类算法的组装生成

本书以前期研究形成的支持程序开发全过程的形式化方法PAR为基础，选取排序类和查找类算法作为研究的突破口，开展了形式化方法制导下的算法程序自动化的研究。PAR为算法程序自动化提供了有力支持，它由自定义泛型...

美国冲突法理论嬗变的法理 从法律形式主义到法律现实主义

本书主要运用历史分析和比较分析的方法，论证了美国冲突法理论从传统向现代的嬗变其实是法律形式主义和法律现实主义在冲突舞台上轮番展演的过程，揭示了美国法学理论的巨变和美国冲突法理制度的关联性。...