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

经典好书《数据库管理系统原理与设计》读书内容简介: 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...详情

经典好书《法律创世记》读书内容简介:激励了无数人的心智。然而，圣经《创世记》中众人耳熟能详的故事，却经常让人心生质疑。为什么该隐妒火攻心，杀了弟弟却安然无恙？为什么上帝发个脾气，无数的生灵就得溺毙？为什么亚伯拉罕杀子未遂却受赞扬？这到底有没有天理？德肖维茨在课堂里提出这些...详情

经典好书《谋杀与创造之时》读书内容简介:当代硬汉派侦探小说最杰出的代表。他的小说不仅在美国备受青睐，而且跨越了大西洋，完全征服了自诩为侦探小说故乡的欧洲。侦探小说最重要的两个奖项，爱伦·坡奖的终身成就奖和钻石匕首奖均肯定了劳伦斯的大师地位。他曾三次获爱伦·坡奖，两获马耳他之鹰奖，四获夏姆奖...详情

经典好书《农业生态学》读书内容简介: 农业生态学（二版），ISBN：9787109133075，作者：骆世明 主编作者简介详情

经典好书《Axure RP 6原型设计精髓》读书内容简介:：即使你不懂任何编程语言，无法控制项目管理、预算和进展计划，也可以通过《Axure RP 6原型设计精髓》掌握Axure，让你的设计更具创造力和高效。《Axure RP 6原型设计精髓》先介绍Axure的界面、术语、功能，然后以一个中型...详情

经典好书《世界现代设计图史》读书内容简介:兴趣的人来说，是一本系统性、资料性和总结性都很强的参考书。我们常常无拘无束地谈论“设计史”，但我们对这门涉及范围甚广的学科真正了解多少？重要的风格和流派有哪些？每个风格的重要特征是什么？它们的代表人物又是谁？《世界现代设计图史》《世界现代设计图史》通...详情

经典好书《论语中的企业管理之道》读书内容简介:会贯通，如何将经营哲学灵活运用于企业的经营中，可以说是一部《论语》治企业。书中不止论述了经营者的修身养性，而且还论述了企业的社会责任和伦理、挑战、实力主义等话题，分别从企业使命、学习力、自省力、领导力、洞察力、执行力、沟通力等方面来具体深入。希望读者...详情

经典好书《空间网格结构分析理论与计算方法》读书内容简介: 《空间网格结构分析理论与计算方法》为中国建筑工业出版社出版发行。作者简介详情

经典好书《毕加索：创造者与毁灭者》读书内容简介:金城出版社新引进的《毕加索：创造者与毁灭者》一书，剥掉笼罩在他头上的神秘光环，从生活的角度复原了一个不为人知的毕加索：艺术天才对社会充满恐惧和仇恨，喜欢在情人之间挑斗战争，不断偷情，以此为乐。每个跟他有关系的女人的命运都是那么悲惨——不是疯了，就是死...详情