allen想读的书-查字典图书网

Types and Programming Languages

9.1 (55人已评价)

Benjamin C·Pierce | The MIT Press | 2002-2-1

Atypesystemisasyntacticmethodforautomaticallycheckingtheabsenceofcertainerroneousbehaviorsbyclassify...

我对《Types and Programming Languages》的评价： 2017-06-15 我的标签：修改

The Little Prover

暂无评论

The MIT Press | 2015-7-10

[FROMwww.amazon.com]:TheLittleProverintroducesinductiveproofsasawaytodeterminefactsaboutcomputerprog...

我对《The Little Prover》的评价： 2017-06-15 我的标签：修改

科学的极致：漫谈人工智能

8.1 (166人已评价)

集智俱乐部 | 人民邮电出版社 | 2015-7

集智俱乐部是一个从事学术研究、享受科学乐趣的探索者组成的团体，倡导以平等开放的态度、科学实证的精神进行跨学科的研究与交流，力图搭建一个中国的“没有围墙的研究所”。这些令人崇敬的、充满激情与梦想的集智俱...

我对《科学的极致：漫谈人工智能》的评价： 2017-06-15 我的标签：修改

江湖丛谈

8.6 (935人已评价)

当代中国出版社 | 2005-8

连阔如（1903-1971），原名毕连寿，号仲三，笔名云游客。北京人。1927年的时候拜李杰恩学评书，擅说《三国》、《东周列国志》、《西汉》、《东汉》、《隋唐》。精通历史，对陈寿的《三国志》倒背如流，...

我对《江湖丛谈》的评价： 2017-06-15 我的标签：修改

侠隐

8.1 (1638人已评价)

张北海 | 上海人民出版社/世纪文景 | 2007-05

旅美作家张北海几十年来围绕着纽约、北京这两个城市写作。他的“粉丝”中不乏文化名人：阿城、王安忆、王德威、陈丹青、张大春、骆以军……《侠隐》讲述1936年的北平，青年侠士李天然，为寻找五年前师门血案的元...

我对《侠隐》的评价： 2017-06-15 我的标签：修改

何草不黄

8.5 (191人已评价)

鲁西奇 | 广西师范大学出版社 | 2015-6

十数年研究心得，读史论世。千余年时空穿梭，居今志古。“古人”的故事是由“今人”讲给“今人”听的，叙述、理解、分析历史的历史学者是“今人”，其对象是“今人”，目标也应当是“今人”。所谓“居今之世，志古之...

我对《何草不黄》的评价： 2017-06-15 我的标签：修改

塔希里亚故事集

9.4 (3482人已评价)

吴淼 | 接力出版社 | 2007

在这个被虚构出来的、气势磅礴的塔然里亚世界中，生存着一群智慧的强者；法师、巨龙、精灵、矮人……他们生存着、战斗着、恋爱着、思考着……生的意义何在？死后去向又是何方？在塔希里亚的世界里，你要用心去感受，...

我对《塔希里亚故事集》的评价： 2017-06-15 我的标签：修改

亮剑

8.9 (12156人已评价)

都梁 | 解放军文艺出版社 | 2005-3

李云龙是一个叱咤风云、百战沙场的职业军人，是一个一生都在血与火中搏斗的名将。他的人生信条是：面对强大的对手，明知不敌，也要毅然亮剑，即使倒下，也要成为一座山、一道岭。在战争与和平的时空转换中，他的命运...

我对《亮剑》的评价： 2017-06-15 我的标签：修改

添加收藏：我读过这本书

allen想读的书 >