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

经典好书《横截面与面板数据的计量经济分析（第二版）（经济科学译丛）（上、下册）》读书内容简介:计量经济学研究的两类数据结构分析的一个统一处理：横截面数据和面板数据。本书同时涵盖了线性和非线性模型，包括含有动态性和/或个体异质性的模型。除了一般估计框架（特别是矩方法与极大似然法）外，还详细介绍了一些特定的线性与非线性方法，包括probit和lo...详情

经典好书《JavaScript 艺术与科学》读书内容简介:ms——The Man in Blue ——拥有计算机科学背景及八年图形设计经验，自有一套独特的界面设计方法。利用最新的技术，他喜欢游走于设计和代码的交叉地带，做出富有创意并实用的网站和应用。除了目前正在做的项目，Cameron已经在全世界很多工作室...详情

经典好书《神話と科学》读书内容简介:の学問体系はその基盤を大きく揺り動かされた。神話研究に導かれたネオ・ロマン主義や表現主義などの文化運動は、知の新しい形態を求めて大学の学問に鋭く対立した。ウェーバーの講演「職業としての学問」は、このような状況下でなされた。本書はウェーバーの学問論と人...详情

经典好书《科学与近代世界》读书内容简介:是一套由上海外语教育出版社奉献给全国大学生及英语爱好者的英语课外读物。该文库内容涉及西方的科技、艺术、历史、文化等诸多方面，每《科学与近代世界》均出自原文，英语纯正，内容丰富，深入浅出。读者不仅可以增加有关西方历史、文化、艺术、科技等方面的知识，更能...详情

经典好书《Python数据科学入门》读书内容简介:涵盖了数据采集、清洗、存储、检索、转换、可视化、高级数据分析（网络分析）、统计和机器学习等内容。具体内容包括：数据科学的Python核心特性，文本数据、数据库、表格形式的数值数据、series和frame、网络数据的使用，数据的绘制，概率与统计，机器...详情

经典好书《计算机科学导论》读书内容简介:计算机科学的各个方面。本书着重讲解基本概念而不是数学模型和技术细节，通过大量的图表和演示范例讲解计算机科学的基础知识；每章后面的关键术语、小结和练习有助于读者掌握和复习知识要点。 本书既适合当作大专院校的计算机基础课教材，也可作...详情

经典好书《伟大的计算原理/计算机科学丛书》读书内容简介:类计算原理（计算、通信、协作、记忆、评估和设计），旨在构建起一个框架帮助读者认识计算思维，领会其核心思想──计算原理的相互影响以及问题有效解决的思维方式，并将计算思维运用到计算机科学以外的其他领域。本书适合作为高等学校非计算机专业计算思维课程以及计算...详情

经典好书《网络科学引论》读书内容简介:入研究和丰富经验，系统地分析和论述了网络作为一门科学理论如何应用在现实生活中的方方面面。全书分为5部分，讨论了目前科学研究中的网络类型和用以确定其结构的各种技术，介绍了研究网络的基本数学理论及用以量化网络结构的各类测度与参数，描述了有效分析网络数据的...详情

经典好书《永恒的图灵：20位科学家对图灵思想的解构与超越》读书内容简介:er）本书付梓前不幸逝世。生前为利兹大学数理逻辑教授，欧洲“可计算性学会”主席，“图灵百年委员会”主席。他主编的《Alan Turing：His Work and Impact》一书曾荣获2013年美国专业与学术杰出出版奖...详情