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

经典好书《计算机组成（第6版）》读书内容简介:完全建立在“计算机是由层次结构组成的，每层完成规定的功能”这一概念之上。作者对本版进行了彻底的更新，以反映当今最重要的计算机技术以及计算机组成和体系结构方面的最新进展。书中详细讨论了数字逻辑层、微体系结构层、指令系统层、操作系统层和汇编语言层，并涵盖...详情

经典好书《民国广州的疍民、人力车夫和村落》读书内容简介:学调查报告集》内容简介：新中国成立以来，广东人民在中国共产党的领导下，摧枯拉朽，奋发图强，在社会主义物质文明建设和精神文明建设中卓有建树。当中国社会跨进20世纪80年代这一全新的历史阶段，广东作为国家改革开放先行一步的试验省区，被置于中国现代化经济建...详情

经典好书《主体的生成机制》读书内容简介:我的生成机制。全书将重点放在对十七年诸多电影文本的细读上，在身体生产与国家认同这个维度中，去试图打捞、审视并重读这些被遗漏在重读视野之外的，只能够在电影史的叙述中被偶尔提及和简要概述的影片，从而力图在一定程度上丰富既有的对十七年电影的研究。全书对理论...详情

经典好书《无器械健身》读书内容简介:7530459928，作者：（美）马克·劳伦，乔舒亚·克拉克 著 蔡杰 译作者简介马克?劳伦是美国军方的体能训练专家、特种作战管理者、三项全能运动员，还是一个顶级的泰拳手。他曾经有效地训练过近1000名士兵，使他们达到了最...详情

经典好书《机器学习基础教程》读书内容简介:学的核心技术，用于帮助理解一些常用的机器学习算法。书中展示的算法涵盖了机器学习的各个重要领域：分类、聚类和投影。本书对一小部分算法进行了详细描述和推导，而不是简单地将大量算法罗列出来。本书通过大量的MATLAB/Octave脚本将算法和...详情

经典好书《实时计算机图形学》读书内容简介:s a professor of computer science, specializing in computer graphics and image processing, at the Department of Computer Scie...详情

经典好书《自然语言标注——用于机器学习(影印版)》读书内容简介:手把手地指导你一种经验证的标注开发周期一一把元语添加到你的训练语料库中来帮助机器学习算法更有效工作的过程。你无需任何编程或者语言学方面的经验就可以上手。《自然语言标注:用于机器学习(影印版)》通过每一步中的详细示例，你将学到“标注开发过程”是如何帮助...详情

经典好书《新概念51单片机C语言教程(入门提高开发拓展全攻略第2版)》读书内容简介:繁杂的理论介绍，，以实验过程和实验现象为主导，循序渐进地讲述51单片机C语言编程方法以及51单片机的硬件结构和功能应用。全书共分5篇，分别为入门篇、内外部资源操作篇、提高篇、实战篇和拓展篇。 本书内容丰富，实用性强，书中大部分内容均来自科研工作及教学...详情

经典好书《六朝的城市與社會》读书内容简介: 作者简介详情