经典好书《交互式定理证明与程序开发》读书内容简介:算的艺术》的主要目标是从实践的角度来理解Coq系统及其基本理论，即归纳构造演算。这《交互式定理证明与程序开发：Coq归纳构造演算的艺术》给出了大量的例子，所有例子都町以在计算机上执行。从《交互式定理证明与程序开发：Coq归纳构造演算的艺术》配套网站可...详情

经典好书《唐代交通圖考 第一至六卷引用書目及綱文古地名引得》读书内容简介:古地名索引，可視為《唐代交通圖考》之第七冊，也是最後一冊。內容包括整理者的序言、引用書目之條列，以及前六冊正文中提到古地名的索引。作者简介严耕望(1916－1996)，安徽桐城人，名德厚，字耕望，以字行，取陶渊明“归园田居...详情

经典好书《你可以不生气》读书内容简介:重要著作。在书中，一行禅师提醒我们，把生气当做自己的孩子，好好地拥抱、照顾，受伤的孩子很快就可以康复。《你可以不生气》以许多实际的例子，告诉我们如何学习谛听、深观，并透过正念转化我们的习气，把内心积蓄的负面能量转化成正面能量，将生气的怒火转化成慈悲的...详情

经典好书《投资交易心理分析（典藏版）》读书内容简介:一种“曾经沧海”的感觉，任何东西都无法替代因经验而产生的自信。再好的投资策略与交易系统都要经受交易心理的考验。本书尝试以心理诊断的方法对待交易，将投资者的思维、情感、冲动与行为模式视为有用的市场数据。本书试图...详情

经典好书《刊登吧！Journal 倒數的黃金十二週》读书内容简介:章，在美國加州大學洛杉磯分校已協助數以萬計的學者在審查期刊中成功發表文章。作者Wendy Laura Belcher博士是普林斯頓大學的比較文學系及非裔美國人研究中心的非洲文學教授，他曾經在北美、歐洲和非洲教授過期刊文章寫作的研習論壇，而本書三位翻譯...详情

经典好书《运筹学导论》读书内容简介: 作者简介详情

电视剧【有点二的桃花运】剧情介绍:员，三十多岁离婚后一直被胡搅蛮缠的妻子追债。好巧不巧，尤斌遇见了急需结婚的周青青，两人不打不相识，决定假结婚。而周青青的闺蜜钟缇暗恨卢耀伟是渣男，毁了周青青的幸福，决定为周青青报仇解恨，于是连施美人计将其玩弄于掌骨之中。 周青青是圣宠宠...详情

电视剧【星际桃花运】剧情介绍:球。为寻找碎片延续生命，他来到地球，遇见了人类少女夏汐泠，并与之建立了心灵链接。离光获得了夏汐泠的部分记忆，同时也对她产生了印刻效应，不受控制的自动跟随。在夏汐泠的帮助下，他努力学习人类文明，并迅速适应了地球生活。离光因此得知，一年之后火星将与地球近...详情

电视剧【上山吧兄弟】剧情介绍:生扳回正轨，积极号召、正向引导当地镇民，与为富不仁、采取不正当经济手段影响全镇居民物质及精神生活的富商进行的一系列不懈抗争。其间小镇居民十三娘身为学堂教授，因年龄太大而被迫相亲，却又因富商炒高聘礼物价以及不正当的大操大办婚庆风而无法成亲，最终也在幺生...详情

经典好书《小希生气了》读书内容简介:姐妹。”“哎呀，这种时候，该我出面了。”生气的小希想要离家出走，这时候姐姐出现了。究竟会怎样呢？作品表现两个小女孩的日常生活，简单的对话、熟悉的场景，将读者瞬间带入故事的世界。适当的留白呈现镜头般的观感，营造出另一个想象的...详情