感性智慧的思辨历程 西方音乐思想中的形式理论

本书以西方音乐思想中的形式观念为线索，从历史角度对其进行了梳理和评述。作者指出，形式观念与西方音乐总体的理性化特质有着密切联系，这既表现在西方音乐的形成和确立中，又反映在近现代西方音乐走向创作和审美...

自守形式与 Langlands 纲领

Langlands纲领是20世纪数学的重要工程之一，该工程对许多领域诸如数论、表示论、算术代数几何等都起到了关键的作用。有着紧密联系的自守表示是Langlands纲领中的基础概念。在过去的几年中，几何Langlands纲领...

自动控制理论 3 第5章 线性系统理论引论 4 线性系统的不变量及其规范形式

一项重大的革新 国营上海第二棉纺织厂改变组织形式适应群众和生产的需要

律师执业组织形式和律师管理体制研究

本书的研究对象为律师管理体制和律师执业组织形式。通过对各种形式律师执业组织形式的广泛深入的调研，深刻了解其现状，剖析影响我国律师业发展的原因，构建科学的制度体系，使律师执业管理的基本单元得以有效的运...

象形式看图识字

内容介绍古老的中国象形文字神秘有趣。它可被看作是一种从图画过渡到现代汉字的具有文字雏形的简笔画，是人类文明从“婴儿期”向“儿童期”发展的反映。这正好与儿童认识、表现客观事物的过程相似。本书将这...

传统村落的形式和意义 湖南汝城和广东肇庆地区的考察

本书以湖南汝城和广东肇庆地区为案例地，考察传统村落建设的形式和意义。运用整体的分析方法，把传统村落看作一个完整的人居环境实体，着力分析传统村落人居环境建构、维系、使用和发展所涉及的四个层面，它们分别...

中国现代农业治理研究丛书 农业经营形式变迁的阶层动力

本书呈现了当地小农经营主体的分化——小农农场、家庭农场和资本型农场，并对三种农业经营形式进行了详细描述，从社会分层的角度解释了，由于农村社会结构的转型和阶层所拥有的不同资源禀赋，导致了不同阶层对于不...

硬件设计验证 基于模拟与形式的方法

本书全面介绍硬件系统设计验证的技术和方法，主要涉及基于模拟和形式验证的方法，内容涵盖静态检验、模拟器体系结构、测试基准设计、模拟规划与策略、调试进程与验证周期，形式验证背景知识、判定图与sat问题、...

西方最新语言学理论译介丛书 走近形式语用学

本书是《西方最新语言学理论译介》丛书的一种，系统介绍了当前国际语言学界关于形式语用学的最新进展，内容包括语用推理的实用逻辑观念；言语行为理论的形式语用学；博弈语用学；量化、数量和形式潜伏语用分析条件句...