石道 奇石形式的创建与解析 【工业技术】

奇石是指岩石中的造形石或形象石、画面石或图纹石。拓展奇石文化的研究深度和广度，笔者独创性地提出了中国奇石界的三大流派，即：“形”、“色”、“图”派。沿着这三大奇石流派的脉络，试图探索出它们的经典范式...

日治时期台湾的初等教育 校园生活、补习文化、体罚、校园欺凌及抗拒殖民形式 【文化科学教育体育】

硬件设计验证 基于模拟与形式的方法 【工业技术】

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

数学分析学习辅导 2 微分与积分 【数理化】

本书主要研究数学分析中的微分与积分及相关的一些问题。包括一元函数微分学、一元函数微分法的应用、一元函数积分学和多元函数及其微分学等。本书在内容的安排上，深入浅出，表达清楚，可读性和系统性强。书中主...

作为一种政府形式的中国人大制度 【政治法律】

《当代中国制度研究：作为一种政府形式的中国人大制度》从理解中国人大制度的三种途径切入，即苏维埃途径、民主化途径和治理途径，进而分析其演进的三个阶段：合法化阶段、法制化阶段和适应性阶段，并讨论人大制度的...

形式语义学研究 【工业技术】

形式语义学是逻辑与语言交叉研究的产物，是在逻辑框架内构建的关于自然语言的语义学。形式语义学根植于逻辑学、哲学、数学、语言学等好几个学科，其显著特征是运用逻辑和数学的形式化方法去研究自然语言的形成...

寻找高点·追寻阳光 美国社区形式多样的教堂建筑摄影 【工业技术】

本书是作者在美国生活一年间，到处游历所拍到的近百座教堂的摄影作品。书中作品围绕高点而展开，追逐太阳而结束。画面构图新颖，光线讲究，有整体又有局部。根据照片的意境，还配有内涵深远的美文，使全书图文并茂，......

Structure-preserving algorithms for oscillatory differential equations = 振荡微分方程的保结构算法 【外文】

中国画裸体艺术的表现形式与美学特征 【艺术】

本书以《中国画裸体艺术的表现形式与美学特征》为题，集中讨论中国绘画中的“裸体”问题。分成三个章节进行。在第一章中，对中国绘画史中鲜有记载的在野艺术进行考察。第二章对中国文化史中的几个关键点及中国...

形式语言与自动机理论教学参考书 第3版 【工业技术】

本书根据作者作为《形式语言与自动机理论》一书的配套读物，按照原书的结构编写而成。重点讨论有关内容的讲解和学习的要点、问题分析、求解思路和方法、注意事项、典型习题的解析等。按照小节给出知识点和主...