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

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

经典好书《啊哈!算法》读书内容简介:较，如果硬要说它有什么特点的话，那就是你能看懂它。这是一本充满智慧和趣味的算法入门书。没有枯燥的描述，没有难懂的公式，一切以实际应用为出发点，通过幽默的语言配以可爱的插图来讲解算法。你更像是在阅读一个个轻松的小故事或是在玩...详情

经典好书《少年老いやすく》读书内容简介: 作者简介详情

经典好书《Java数据结构和算法》读书内容简介:懂的方式教授如何安排和操纵数据的问题，其中不乏一些难题：了解这些知识以期使计算机的应用获得最好的表现。不管使用何种语言或平台，掌握了数据结构和算法将改进程序的质量和性能。 《Java数据结构和算法》(第2版)提供了一套独创的可视讨论专题用以阐明主要的...详情

经典好书《Struts2深入详解》读书内容简介:盖了Struts2中所有的知识点。《Struts 2深入详解》讲解的是Struts2中号称“最佳可用”的2.0.11版本。2006年，WebWork与Struts这两个优秀的JavaWeb框架的开发团队，开始合作开发一个新的、结合了WebWork与S...详情

经典好书《Servlet/JSP深入详解》读书内容简介: JSP深入详解:基于Tomcat的Web开发》涵盖了最新发布的Servlet 2.5和JSP 2.1规范。共分3篇，从XML、Servlet、JSP和应用的角度向读者展示了Java Web开发中各种技术的应用，循序渐进地引导读者快速掌握Java W...详情

经典好书《深夜食堂 06》读书内容简介:「走，去老地方吃吧 ~ 」今晚，熟客們又將在此團聚！那個每天早上飛快倒著走的怪人，堅持喝「麥茶」要加糖；讓SM女王和奴隸都搶著吃，「味噌鯖魚」究竟有什麼魔力？以詮釋情夫段子出名的相聲家，全託「松茸」的福！不會吧……難...详情

经典好书《从老庄哲学至晚清方术》读书内容简介:、古代气功对中国思想文化的影响、历史的启示：气功、特异功能、宗教方术与古代战争、人间恩怨：王安石父子与吕惠卿、晚清权臣识人及驭人之道（上）——曾国藩的相术、晚清权臣识人及驭人之道（下）——荣禄的相术、洪宪闹剧：袁世凯父子及方术迷信、“鹤知夜半”：郑孝...详情

经典好书《算法笔记》读书内容简介:因为自己没有语言基础而畏惧。书籍的第2章便是一个C语言的入门教程，内容非常易懂，并且十分实用，阅读完这章就可以对本书需要的C语言基础有一个较好的掌握。本书已经覆盖了大部分基础经典算法，不仅可以作为考研机试和PAT的学习教材，对其他的一些...详情