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

经典好书《完美母女关系的秘密》读书内容简介:才是对母亲养育之恩最好的报答...................※编辑推荐※恋爱不顺利？结不了婚？做什么都会换来母亲的唠叨？那你有没有想过问题出在和老妈的相处模式上？母亲的价值观，无时无刻不在左右着你每一个...详情

经典好书《To Begin Where I Am》读书内容简介:ion of essays--some never before translated into English--by the Nobel Laureate. "To Begin Where I Am" brings together a rich...详情

经典好书《I eventually love you》读书内容简介:p>愛情是一百年的孤寂，直到遇上那個矢志不渝守護著你的人……喜喜，一個三餐不繼的小舞者，雖然熱愛跳舞，卻總在每次的選角中落空，無依無靠的她，只能在心裡與失蹤多年的哥哥對話。一紙遺產...详情

经典好书《I'll Be Gone in the Dark》读书内容简介:n FlynnAfterword by Patton OswaltA masterful true crime account of the Golden State Killer—the elusive serial r...详情

经典好书《阿米I-星星的孩子》读书内容简介:异、腔调怪异的外星小孩出现在我眼前。这个名字没法用地球语言发音的外星小孩，我管他叫做“阿米”，因为他说他是我的朋友。阿米说，只要专心想象自己会飞，就可以快乐地飞翔，结果我真的飞起来了；阿米说，不要为还没有发生的事情担心，那样我们的心就像...详情

经典好书《Everything I Never Told You》读书内容简介:亚州和俄亥俄州长大，父母均为科学家的她，是香港移民第二代。在出版《无声告白》前，她已写作多年，小说及散文作品多见于各类文学期刊杂志。《无声告白》是伍绮诗耗时六年写就的第一本长篇小说，故事编排精妙细致，文笔沉稳内敛，一经出版便广受好评，成...详情

经典好书《陆小凤传奇系列（上中下）》读书内容简介:、《银钩赌坊》、《幽灵山庄》、《凤舞九天》、《剑神一笑》等。作者简介古龙（1937-1985），本名熊耀华，原籍江西。古龙毕业于台湾淡江大学外文系，是台湾著名新派武侠小说作家。他从1960年创作《苍穹神剑》始，一生共写了近...详情

经典好书《中苏关系史纲》读书内容简介:若干问题再探讨(增订版)》是几位中苏关系研究领域的著名学者的又一力作。他们在掌握大量丰富的中国与前苏联历史档案的基础上，对中苏关系进行了全面和系统的梳理和分析，特别是对中苏关系的许多重大事件做出的新住释。对于所有研究中苏关系或者对那一段历史有兴趣的读...详情