楼梯 材料·形式·构造 原第2版

本书通过照片和图解的形式，充分展示了楼梯在建筑中的重要作用，可供建筑师、室内设计师参考。

数字硬件的形式化验证

国家自然科学基金研究成果专著出版基金资助:本书介绍了形式化方法，数字硬件的规范描述和验证，高阶逻辑系统及其在硬件验证中的应用，模型检验，验证与综合系统VIS等内容。...

现代视野的审美形式

本书是作者在其博士论文基础上增改而成的，对法拉克福学派代表人物本雅明、阿尔多诺和马尔库塞代表性文本进行细致的解读，尽可能全面而准确地把握该学派审美形式理论的真谛，为中国特色社会主义美学和文艺理论及...

俄国形式主义文论选

俄国形式主义是20世纪初极为重要的文学理论流派之一。本书主要选自爱沙尼亚共和国《文艺理论文选》28篇，另增加俄国形式主义理论名家名作近十篇。...

我国迅速实现高级形式农业合作化的客观依据

形式语言与自动机理论教学参考书

本书是《形式语言与自动机理论》教学辅导用书。

宋代音乐研究文论集 琴学形式与内容卷

电影艺术在表现形式上的几个特点

形式与设计

《形式与设计》教材主要研究发掘学生的想象力和自我审美情趣，提高学生对形式规律的应用能力的专业教材。在帮助学生认识美感规则的同时，还能从生活中发现形式美感，在教学中使学生主动的将发现和感悟表现出来，开...

美国文学新闻史 一种现代叙事形式的兴起