程序设计语言的形式语义 书籍
经典好书《程序设计语言的形式语义》读书内容简介:作语义、公理语义、归纳原理、完备性、域论、信息系统、不确定性和并行性、不完备性和不可判定性等内容。同时,每章都包含了丰富的难度不等的练习。 本书是以作者在剑桥大学和Aarhus大学的讲义为基础编写的,是一本难得的形式语义学方面的经典...详情
经典好书《TOEFLiBT词汇-词以类记》读书内容简介:力、阅读、写作三部分高度契合,是获得TOEFL iBT高分的重要手段。本书对词汇的取舍、词义的选择建立在俐者在新东方讲坛高强度授课中培养出的对TOEFL近20年来400多篇阅读文章的透彻把握之上,这些教学经验使作者敏感地体验到TOEFL...详情
辩护词 书籍
经典好书《辩护词》读书内容简介:涉及哲学、政治、艺术、道德各方面,从中我们可以聆听人类文化史上智慧交锋的声音,领略先贤哲人谈吐的气度和技巧,感受语言和思想的力量。作者简介水建馥(1925—2008),著名古希腊文学翻译专家,祖籍江苏阜宁,1925年10月...详情
国剧艺术汇考(全二册) 书籍
经典好书《国剧艺术汇考(全二册)》读书内容简介:北高阳县人,童年时代就养成看戏习惯,后毕业于同文书馆,曾两次去过欧洲,一九一三年回到北京后,开始研究戏剧,著有《说戏》一书,为汪伯唐(时任北洋政府教育总长)所赏识,并在'正乐育化会'为京剧艺人做过演讲,引起会长谭鑫培、田际云(艺名几霄),以及梨园中人...详情
Python自然语言处理 书籍
经典好书《Python自然语言处理》读书内容简介:非常易学的自然语言处理入门介绍,该领域涵盖从文本和电子邮件预测过滤,到自动总结和翻译等多种语言处理技术。在《Python自然语言处理(影印版)》中,你将学会编写Python程序处理大量非结构化文本。你还将通过使用综合语言数据结构访问含有丰富注释的数据...详情
Go 语言程序设计 书籍
经典好书《Go 语言程序设计》读书内容简介:公司创始人,独立的培训讲师、顾问、技术编辑,Go、Python、C++、Qt和PyQt方面的技术作家。他的著作包括Rapid GUI Programming with Python and Qt、C++ GUI Programming with Qt...详情
俄耳甫斯教辑语 书籍
经典好书《俄耳甫斯教辑语》读书内容简介:中的一个古老的教派:“俄耳甫斯诗教”,它是与荷马—赫西俄德教派相并列,甚至更幽古的教派(一般研究者倾向于认定,荷马—赫西俄德的诗教是政制性的宗教,俄耳甫斯秘教则似乎是如今所谓“民间”宗教),集诗歌和宗教教义与宗教生活实践为一体。译著者搜集整理了各种文...详情
中国大百科全书·语言文字 书籍
经典好书《中国大百科全书·语言文字》读书内容简介: 作者简介详情
Go语言学习笔记 书籍
经典好书《Go语言学习笔记》读书内容简介:学,性能很好,且支持各类主流平台。已有大量项目采用 Go 编写,这其中就包括 Docker 等明星作品,其开发和执行效率早已被证明。本书经四年多逐步完善,内容覆盖了语言、运行时、性能优化、工具链等各层面知识。且内容经大量读者反馈和校对,没有明显的缺陷...详情
经典好书《牛津高阶英汉双解词典(第8版)》读书内容简介:惠及世界各地一代又一代学子,其英文版全球销量迄今已超3500万册。第8版较之前版多有突破,更为实用和准确,充分满足听、说、读、写、译各方面的需要,是案头必备的英语工具书。■ 184500单词、短语和释义:英美并重■ 100...详情