便型金刚想读的书 >
-
计算理论基础
(34人已评价)清华大学出版社 | 2006-7计算理论是计算机科学的理论基础。《计算理论基础》(第2版)介绍了计算理论最核心、最基本的内容,包括形式语言与自动机、可计算性和计算复杂性三大部分。全书共分七章,分别为:集合、关系和语言;有穷自动机;上...
-
How to Design Programs
(123人已评价)The MIT Press | 2001-2-12Thisintroductiontoprogrammingplacescomputerscienceinthecoreofaliberalartseducation.Unlikeotherintrod...
-
程序设计抽象思想
(26人已评价)清华大学出版社 | 2005-6本书全面介绍了数据结构的基础内容。介绍了多个库包,可用于简化编程流程;详细讨论了递归编程的用法,包括大量难度各异的编程示例和练习。
-
程序设计语言原理
(41人已评价)机械工业出版社 | 2008-6-1本书从为什么学习程序设计语言入手,深入细致地讲解了命令式语言的主要结构及其设计与实现,内容涉及变量、数据类型、表达式和赋值语句、控制语句、子程序、数据抽象机制、支持面向对象程序设计(继承和动态方法绑定...
-
程序设计语言的形式语义
(21人已评价)Glynn Winskel | 中信出版社 机械工业出版社 | 2004-1本书内容十分丰富,涉及了集合论、指称语义、操作语义、公理语义、归纳原理、完备性、域论、信息系统、不确定性和并行性、不完备性和不可判定性等内容。同时,每章都包含了丰富的难度不等的练习。本书是以作者在剑桥...
-
Go Web Programming
暂无评论[新加坡] Sau Sheong Chang | Manning | 2015GooglebuilttheGolanguagefromthegrounduptosimplifythechallengesofmodernapplicationdevelopment,suchasc...