经典好书《面向计算机科学的数理逻辑系统建模与推理》读书内容简介:,涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题,反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、L6wenheim—Skolem定理等,并介绍了Allo...详情
指尖风月,面上文章 书籍
经典好书《指尖风月,面上文章》读书内容简介:体塑造古代造型著称,被誉为“天下第一梳”,他对中国古代服饰造型、古典妆容有着深入研究,不仅有大量影视舞台作品,还曾发表多篇专业学术论文,是中国化妆界罕见的“学者型化妆师”。曾担任中央电视台中视传媒化妆造型设计师、中央电视台美工设计、中国...详情
经典好书《中国民间美术全集(11) 游艺 编.面具脸谱卷》读书内容简介: 作者简介详情
极小曲面 (平装) 书籍
经典好书《极小曲面 (平装)》读书内容简介:浅出地介绍了3维欧式空间中极小曲面的概念、典型例子和性质,以及一些基本问题和近些年来的进展。极小曲面课题是微分几何研究的热点之一,它与许多数学分支有密切的联系,近来又与计算机技术结下了不解之缘,读者只要具备初等微积分知识,就能从本书中学到不少微分几何...详情
人本界面 书籍
经典好书《人本界面》读书内容简介:的顾问,居住在加州的帕西菲卡,其咨询客户包括惠普、IBM、Motorola、NCR、Xerox、Ricoh、Canon、Mckesson和AT&T等公司。Jef Raskin的文章发表在Wired、Quantum、IEEE Computer和Comm...详情
還我本來面目 书籍
经典好书《還我本來面目》读书内容简介:定的「我」,其實並不是真正的「我」。我們其實比可見的形體要大很多。如何將意識從肉體次元拓展到能量體次元、意念體次元,並觸及自性本體次元,本書揭示的宇宙真相,將引領您回返條靈性之路。人從投胎入人體、到呱呱落地,...详情
Web界面设计 书籍
经典好书《Web界面设计》读书内容简介:基于独一无二的Web环境下、在创建丰富体验的过程中设计Web界面的最佳实践、模式和原理。UI专家Bill Scott和Theresa Neil在他们多年实践经验和不懈探索的基础上,总结提炼出了Web界面设计的六大原理——直截了当、简化交互、足不出户、...详情
亲爱的,见字如面 书籍
经典好书《亲爱的,见字如面》读书内容简介:地爱你。你如照镜子,你不会看得见你特别好的所在,但你如走进我的心里来时,你一定能知道自己是怎样好法。 —— 朱生豪跟你在一起,是我一生最美好的时光。 ——伍尔夫吻我亲爱的露水涟涟的西部花朵百万遍,吻我亲爱的诺拉的卷发百...详情
经典好书《程序员代码面试指南:IT名企算法与数据结构题目最优解》读书内容简介:试各类题目的最优解进行了总结,并提供了相关代码实现。针对当前程序员面试缺乏权威题目汇总这一痛点,本书选取将近200道真实出现过的经典代码面试题,帮助广大程序员的面试准备做到万无一失。“刷”完本书后,你就是“题王”!__eol__本书采用题目+解答的方...详情
面向对象软件构造 书籍
经典好书《面向对象软件构造》读书内容简介:f Architect of Eiffel Software (based in California, http://eiffel.com) and Professor of Software Engineering at ETH Zurich, ...详情