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

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

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

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

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

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

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

经典好书《期貨交易策略》读书内容简介:0萬的投資策略本書內容教你如何——從市場獲取暴利的戰術。在市場發動大行情之際登上列車。在賺錢時賺得更多，賠錢時賠得更少。在賺錢的倉位中，以金字塔方式加碼賺取最大利潤。...详情

经典好书《大外交》读书内容简介:56任国务卿，直到1977年1月20日卸任。1969年1月20日至1975年11月3日，任总统国家安全助理。基辛格博士获过多项荣誉，其中包括1973年诺贝尔和平奖，1977年总统自由奖章（国家最高公民荣誉），1986年自由奖章。...详情

经典好书《大外交》读书内容简介:56任国务卿，直到1977年1月20日卸任。1969年1月20日至1975年11月3日，任总统国家安全助理。基辛格博士获过多项荣誉，其中包括1973年诺贝尔和平奖，1977年总统自由奖章（国家最高公民荣誉），1986年自由奖章。...详情