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

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

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

经典好书《公眾輿論與北洋外交》读书内容简介:，與內、外環境的影響，呈現出詭譎多變的面貌。本書選擇透過公眾輿論與外交的互動，觀察巴黎和會時期北洋外交的各種現象。經由分析巴黎和會前後，「反日」輿論、和會外交戰與政治鬥爭間的問題，本書歸納出北洋時期外交與輿論互動的兩種模式，一是「內部戰...详情

经典好书《中国海外交通史》读书内容简介: 作者简介详情

电视剧【替身】剧情介绍:时发现目标正是自己失散多年的孪生哥哥林嘉铭，争斗中林嘉铭受伤昏迷。随后组织委派林昊天替身哥哥林嘉铭，前往哈尔滨警察厅赴任，并暗中寻找能够扭转战局的东方马奇诺防线图。为了不暴露身份，林昊天在哈尔滨与上级也是昔日恋人的周莹秘密往来，还和林嘉铭曾经的恋人楚...详情

经典好书《诺斯替宗教》读书内容简介: 本书研究和论述了异乡神的信息与基督教的开端——诺斯替宗教的一些哲学性内容。全书包括三个部分：诺斯替文献——主要教义与象征性语言，诺斯替体系，诺斯替主义与古典精神。作者简介详情

电视剧【玩伴】剧情介绍:袁满、常瑞雪等几位少年玩伴、今天的城市中年人的故事。在他们的少年时代，相同的环境，不同的家庭背景，赋予了他们不同的个性，儿时的他们天真、欢乐、调皮、苦恼，小朋友间有友情也有矛盾。在他们长大之后，他们再一次相聚，他们之间有了更大的差异，每个人都个性鲜明...详情

经典好书《交互设计指南》读书内容简介:中包含了作者十多年来对交互设计的一些深刻理解，对如何做好交互设计有很强的实践价值。在本书第3～8章中，贯穿了一个能够广泛应用于各种项目的通用设计流程，能够帮助新手设计师按序将所有信息应用于实践。书中还有一些对交互设计领域的开创者和名人的访谈，可以让我...详情

经典好书《蜡烛图精解(股票和期货交易的永恒技术典藏版华章经典金融投资)》读书内容简介:rris）格里高里·莫里斯是PMFM公司的组合基金经理，管理该公司的Core Advantage Portfolio Trust基金。格里高里还曾担任Murphy Morris ETF基金的董事和顾问，同时担任Murphy Morris...详情