面向计算机科学的数理逻辑系统建模与推理 英文版·第2版

本书提供了与现代计算机科学以及实际应用相关的重要内容，并且更大程度地满足了上述两种需求。

智慧之矛盾 当大脑衰老时如何使头脑变得更聪慧

几十年来，科学家们一直相信我们的大脑健康和思维功能只有在中年以后才会衰退，而大脑灵活性和作决定的能力会在步入老年后逐渐减弱。不过，最新的研究为人们带来了更深刻的见解，告诉我们大脑在几十年的时间中会发...

FBI侦探推理游戏经典300例 最新升级版

本书特意从FBI侦探推理的案件中汲取了大量推理精华，在此基础上凝练而成了一本推理游戏集。经过作者的精挑细选，书中的每一个游戏都极具挑战性和刺激性，它们或惊险曲折，或神秘玄妙，或趣味十足，或扣人心弦，让人读......

默读 第1部 刑侦推理恐怖惊悚小说书籍

悬疑刑侦题材长篇小说。燕城突发多起失踪案件，幕后黑手智商极高，不动声色地布下陷阱。与此同时，富家子弟费渡过惯了纸醉金迷的生活，前往市公安局当起了实习生，真实目的却直指父辈豢养的地下产业；刑警队长骆闻舟.....

全世界聪明孩子正在玩的365个推理趣题

思维能力的高低体现了一个人的智力水平，而智力是人类进化的最高成就，人类智力潜能是无限的，本书就是希望通过游戏这种轻松的方式，培养和锻炼人的思维和分析能力。本书是当今风靡欧美的思维训练、游戏读物，笔者针...

岩土地震工程三维时空分析理论

本书详细阐述了岩土地震工程中长期存在的问题，即目前关于岩土地震工程的研究主要涉及到时域分析和频域分析两方面的内容，前者仅能反应加速度、速度以及位移等信息的峰值和时程，后者则主要反应在傅里叶谱、能量...

新丝绸之路岁时节日民俗体育图录

本书是2014年国家体育总局体育哲学社会科学研究项目。本书主要是运用调查比较、文本分析和文献梳理等方法，对丝绸之路岁时节日中的民俗体育记述等进行专门的研究。其所涉内容既是体育历史研究的重要方面，同时...

35岁前，搭建属于自己的舞台 当你的才华还撑不起你的梦想时该做的事

谁，在我呼喊时 20世纪的见证文学

见证文学是现当代一种特殊体裁的自传文学，它指遭受过毁灭性战争、种族灭绝、集中营或死亡劳动营等浩劫性历史事件的人以自己的亲身经历为内容创作的日记、回忆录、自传体小说、诗歌等文学作品。作者引领我们...

尤利西斯·摩尔推理冒险系列 面具岛探秘

这是一本意大利当代儿童文学作家帕多文尼高·巴卡拉里奥创作的儿童小说。本册讲了发生在古埃及的故事。杰森、朱莉娅和瑞克穿越时间之门，进入到“生命屋”中。这里有一个巨大的“收藏库”，里面收藏着从世界各...