美术设计之路 世界级金奖美术总监告诉你怎么用造型、色彩、形式和质感，打造出会说故事的电影世界

中国2010年上海世博会 主办方场馆展示形式和展示技术研究

本书以上海世博策划和实施的历程及成功经验为契机，全面分析和介绍了各种展示技术的归类特点、展示效果及其适用性，并围绕上海世博会中国国家馆和主题馆，呈现大量策划过程中创意出来的展项展品。全书分导论、往...

工业关键系统的形式化方法 应用综述

形式化方法以数学为基础，其目标是建立精确的、无二义性的语义，对系统开发的各个阶段进行有效的描述，使系统的结构具有先天的合理性、正确性和良好的维护性，能较好地满足用户需求。本书记录和展示了作者关于形式...

闽籍学者文丛 关在黑匣里的八音鸟走不走调 现代诗形式论美学 续

本书为陈仲义个人学术精粹自选集，主要收录其学术研究不同研究阶段切合时代问题的、学问与思想兼备的代表性学术论文，在展示学术思想发展踪迹的同时，凸显其一以贯之的“一家之言”；由总序、自序、自选论著、附录...

什么是好电影 从语言形式到文化价值的多元阐释

本书是国内知名电影评论家贾磊磊所著的影评集，全书分为上下两编，上编为一篇重要影片评论附一篇导演的总体论述，入选的都是中国当代的著名导演的重要影片，如陈凯歌《梅兰芳》、张艺谋和《英雄》、冯小刚和《集结...

法律起源与国家法的形式 以西南少数民族的神话文本为例

本书对于早期社会法律和秩序的构成因素等问题做了较深层次的探讨，努力回答了马林诺夫斯基“是甚么力量构成了原始人时期的法律和秩序”这样深层次的思考，补充和完善法律社会学有关法律起源与“国家法”形成的...

俄国形式主义 历史与学说

俄国形式主义指的是1915年至1930年在俄国盛行的一股文学批评思潮，其组织形式有以雅克布森为首的“莫斯科语言学学会”和以什克洛夫斯基为首的“彼得堡诗歌语言研究会”其成员大多为莫斯科大学和彼得堡大学的...

企业收入分配的典型形式及产权逻辑

本书通过企业产权和要素产权的交易契约，股份制有效地将四类要素（资本、企业家才能、劳动力、公共环境）及其所有者（投资人、经理人、工人、政府）整合到特定的企业组织之中，并构造企业产权与企业收入分配的对应关.....

形式语言与自动机及程序设计

本书介绍了乔姆斯文法体系的四类文法及相应的实例，以及无限自动机、下推机、图灵机及相应实例。利用VC++6.0实现了给定文法所产生的句子、确定的有限自动机、不确定的有限自动机、带空转移的有限自动机、带...

数理逻辑：基本原理与形式演算

数理逻辑是以公理系统和数学证明为研究对象的数学分支，对信息科学与技术的发展具有方法论层面上的指导作用。本书共分十章，系统介绍数理逻辑的基本原理与形式演算。前五章涵盖了经典数理逻辑的核心，内容包括一...