数字硬件的形式化验证

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

俄国形式主义文论选

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

世界现代建筑史

《世界现代建筑史》是到目前为止论述19世纪到20世纪世界现代建筑发展的最完整的中文史论著作。全书100余万字的篇幅和七百多张插图，从历史发展、理论体系分析、建筑家和建筑事务所的介绍、建筑流派的讨论等...

色彩构成设计

本书是作者根据土建工程概论课程教学体会和环境工程项目中土建设计、施工的经验而编写的高等学校教材。本书将环境工程与土建工程有机结合，理论联系实际，内容丰富，叙述简单扼要。...

服装款式构成

本书在介绍服装款式构成的同时，重点介绍了服装款式在符合人体结构的前提下，适应社会和精神环境方面的内容，并结合这些内容从理论上和艺术构思上进行了服装款式构成方法的探索。...

香港政务官阶层的构成

乐器 中国古代音乐文化的物质构成

台语e规模与构成基础文法

几何形拼摆图案构成

黑白装饰构成表现技法 黑白·超然·欣赏