经典好书《面向计算机科学的数理逻辑系统建模与推理》读书内容简介:的规约与验证等方面有着广泛的应用。随着当今软硬件产品日趋复杂，数理逻辑已经成为越来越多设计开发人员的日常工具。 本书适合作为高等院校计算机及相关专业的数理逻辑/形式化方法课程教材，涵盖了命题逻辑，谓词逻辑、模态逻辑与 Agent、...详情

经典好书《面向计算机科学的数理逻辑系统建模与推理》读书内容简介:，涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题，反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、L6wenheim—Skolem定理等，并介绍了Allo...详情

经典好书《数据库管理系统原理与设计》读书内容简介: his B.Tech. from IIT Madras in 1983 and his Ph.D. from the University of Texas at Austin in 1987. He was a member of the Dat...详情

经典好书《数据库管理系统原理与设计》读书内容简介: his B.Tech. from IIT Madras in 1983 and his Ph.D. from the University of Texas at Austin in 1987. He was a member of the Dat...详情

经典好书《建筑结构概念设计及案例》读书内容简介: 作者简介详情

经典好书《国外建筑设计详图图集9.伊东丰雄》读书内容简介:建筑细部》共分四章。第一章是对1984年起到90年代初的“八代市立博物馆·未来森林博物馆”这一阶段的建筑进行的整理。第二章，从90年代的“日本佛教文化会馆竞赛方案征集”时起，作者开始对玻璃发生了兴趣，因此采用玻璃幕墙、平屋顶和盒子型的作品逐渐增多，本...详情

经典好书《空间、建构与设计》读书内容简介:的设计教学成果撰写而成。工作室的教学与研究的核心内容就是空间和构成空间的物质手段相互之间的关系。该研究将建构视为可以训练的设计工作方法，运用模型来构思设计。通过对模型材料的操作直接赋予设计以形式，从块体、板片和杆件这三个基本要素来展开，各要素形成各具...详情

经典好书《建筑课程设计指导任务书》读书内容简介:等学校五年制建筑学专业建筑课程设计而编写，共有18个题目的设计任务书和指导书，主要题目内容有：茶室、咖啡屋、别墅、艺术工作者之家、幼儿园、中小学校、大学生活动中心、建筑师之家、长途汽车站、山地旅馆、图书馆、建筑系系馆、医院、博物馆、商业街外部空间、居...详情

经典好书《建筑设计资料集成(综合篇)》读书内容简介: 《建筑设计资料集成(综合篇)(精)》由中国建筑工业出版社出版。作者简介详情

经典好书《建筑的非线性设计》读书内容简介:、美术馆、电影馆的综合性建筑，1995年设计，1997年开始施工，2000年竣工，目前已向公众开放近5年。本书以该建筑为中心，以“超现代主义”为主题，把该建筑在设计、施工、使用中的主要事项分为56个题目，进行了详细的介绍与分析；本书按时间顺序排列，将...详情