经典好书《操盘建议-全球顶尖交易员的成功实践和心路历程》读书内容简介: 作者简介详情

经典好书《编写高质量代码：改善Python程序的91个建议》读书内容简介:为你编写健壮、优雅、高质量的Python代码提供切实帮助！内容全部由Python编码的最佳实践组成，从基本原则、惯用法、语法、库、设计模式、内部机制、开发工具和性能优化8个方面深入探讨了编写高质量Python代码的技巧与禁忌，一共总结出91条宝贵的建...详情

经典好书《美国人：建国的历程》读书内容简介:书馆馆长布尔斯廷最负盛名的代表作，三卷分获班克罗夫特奖、帕克曼奖和普利策奖。本卷讲述美国独立后到内战前的历史，披露了许多有趣的史实，如美国如何从法国购买路易斯安那并得到佛罗里达，华盛顿生前死后受到的截然不同的遭遇和评价，1776年独立宣言的真相等。美...详情

经典好书《编程.建筑》读书内容简介:序用于建筑设计的历史，解释了基本的算法思想和计算机作为建筑设计工具的运用。作为计算机辅助设计的先驱，保罗·科茨通过多年讲授的计算、设计的教学内容和实例研究，向我们展示了算法思维。《编程•建筑》提供了详细、可操作的编码所需要的技术和哲学思想，给读者一些...详情

电视剧【马书记上任记】剧情介绍:山县当书记，马朝阳一上任就开始整顿干部的领导作风以及机关人员的为民办事态度，几个月下来大见成效。　　接下来马朝阳快刀斩蔴，双开了受贿乡长和公安局治安科长，逮捕了黑社会性质团伙、果断叫停了污染矿场，又用罚款补偿了村民的农林损失。他还急调经...详情

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

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

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

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

电视剧【马书记上任记】剧情介绍:开始整顿干部的领导作风以及机关人员的为民办事态度，几个月下来大见成效。接下来马朝阳快刀斩蔴，双开了受贿乡长和公安局治安科长，逮捕了黑社会性质团伙、果断叫停了污染矿场，又用罚款补偿了村民的农林损失。他还急调经费维修了山区学校的门窗。这新官上任三把烧得好...详情