GreenFaith想读的书 >
-
设计模式
(2511人已评价)机械工业出版社 | 2000-9这本书结合设计实作例从面向对象的设计中精选出23个设计模式,总结了面向对象设计中最有价值的经验,并且用简洁可复用的形式表达出来。书中分类描述了一组设计良好、表达清楚的软件设计模式,这些模式在实用环境下...
-
1984
(31373人已评价)[英] 乔治·奥威尔 | 北京十月文艺出版社 | 2010-4-1乔治•奥威尔(1903-1950),英国著名作家。主要作品有《动物农场》、《1984》等。1903年出生于印度,1907年举家迁回英国,后因经济原因无力深造,被迫远走缅甸,参加帝国警察部队。终因厌倦殖...
-
ANSI Common Lisp
(131人已评价)[美] Paul Graham | Prentice Hall | 1995-11-12ForuseasacoretextsupplementinanycoursecoveringcommonLISPsuchasArtificialIntelligenceorConceptsofProg...
-
逻辑的引擎
(1046人已评价)[美] 马丁·戴维斯 | 湖南科学技术出版社 | 2005-5本书介绍了现代计算机背后的那些基本概念和发展这些概念的人,描写了莱布尼茨、布尔、费雷格、康托尔、希尔伯特、哥德尔、图灵等天才的生活和工作,讲述了数学家们如何在成果付诸应用之前很久就已经提出了其背后的思...
-
图灵的秘密
(342人已评价)[美] Charles Petzold | 人民邮电出版社 | 2012-11图灵机是英国数学家阿兰•图灵提出的一种抽象计算模型,本书深入剖析了图灵这篇描述图灵机和可计算性的原始论文《论可计算数及其在判定性问题上的应用》。书中在详解论文的同时,也附带了大量的历史背景资料、图灵的...
-
计算理论导引
(172人已评价)[美] Michael Sipser | 机械工业出版社 | 2006-7本书是计算理论领域的经典著作,被国外多所大学选用为教材。本书以注重思路、深入引导为特色,系统地介绍计算理论的三大主要内容:自动机与语言、可计算性理论和计算复杂性理论。同时,对可计算性和计算复杂性理论中...