室内设计形式语言 【工业技术】

本书从涉及室内设计领域的一些基本概念的分析入手，以20世纪西方现代建筑理论为背景，从哲学、符号学、语言学、心理学等角度，对建筑领域的总体趋势进行了理论概括；对建筑形式的发展历史进行回顾；对室内设计语言的...

B方法与形式化软件开发技术研究 【工业技术】

本书从软件实际开发过程出发，将形式化技术应用于每个开发阶段，系统地介绍了基于B方法完成软件形式化开发的模式、过程、技术和方法，其中包括UML模型图到B方法形式规约的比较全面的转换方法。...

西方最新语言学理论译介丛书 走近形式语用学 【工业技术】

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

形式与政治 建筑研究的一种方法 【工业技术】

本书以文集方式汇编了作者二十余年的研究成果。内容涵盖空间形式、视觉形式，形式设计、制度空间、设计过程的制度问题、艺术与制度的关系、世界背景下中国建筑文化的基本特征等议题。本书提出三种建筑作为形...

应用型高等院校改革创新示范教材 C语言程序设计实验指导与实训 【工业技术】

现代建筑形式语言的先驱 申克尔手绘建筑图集 【工业技术】

本书收录了现代建筑形式语言先驱卡尔·弗里德里希·申克尔重要的建筑设计作品、城市规划作品、家具及舞台设计作品，共计200多幅精美设计图，是不可多得的珍贵资料。其作品消除历史上各种形式语言的冲突，强调线...

矿物色使用手册 绘画用矿物颜料的研究与表现 【工业技术】

本书作者是经营矿物色颜料的业主，他们在多年经营与使用中积累了大量的矿物色使用经验和技巧，因此该书中有大量实用方法、技巧并对画种进行不同的使用方法比较是广大美术创作者必备工具书。...

台湾器物美学形式之研究 【工业技术】

Z形式规约的自动求精研究 【工业技术】

本书系统介绍了Z语言的程序设计技术。

钻井科技创新与管理创新研究 【工业技术】