程序设计语言的形式语义 书籍
经典好书《程序设计语言的形式语义》读书内容简介:作语义、公理语义、归纳原理、完备性、域论、信息系统、不确定性和并行性、不完备性和不可判定性等内容。同时,每章都包含了丰富的难度不等的练习。 本书是以作者在剑桥大学和Aarhus大学的讲义为基础编写的,是一本难得的形式语义学方面的经典...详情
经典好书《嵌入式Linux基础教程(第2版•英文版)》读书内容简介:)》是嵌入式Linux的经典教程,介绍了引导装入程序、系统初始化、文件系统、闪存和内核、应用程序调试技巧等,还讲述了构建Linux系统的工作原理,用于驱动不同体系结构的配置,Linux内核源码树的特性,如何根据需求配制内核运行时的行为,如何扩展系统功...详情
松本行弘的程式世界 书籍
经典好书《松本行弘的程式世界》读书内容简介:>本書以松本行弘先生對程式本質的深層認知、各種技術之優缺點的掌握,闡述Ruby這套程式語言的設計理念,並由此延伸讓您一窺程式設計的奧妙之處。本書內含許多以Ruby、Lisp、Smalltalk、Erlang、JavaScript等動態語言所寫成...详情
無瑕的程式碼 书籍
经典好书《無瑕的程式碼》读书内容简介: Handbook of Agile Software Craftsmanship》,根據作者的說法,《無瑕的程式碼》為Jolt得獎著作《敏捷軟體開發:原則、樣式及實務》的前傳。在台灣另一本銷售極佳的書籍《重構─改善既有程式的設計》,根...详情
一站式学习C编程 书籍
经典好书《一站式学习C编程》读书内容简介:linux平台为载体全面深入地介绍c语言的语法和程序的工作原理,另一条线索是介绍程序设计的基本思想和开发调试方法。本书分为两部分:第一部分讲解编程语言和程序设计的基本思想方法,让读者从概念上认识c语言;第二部分结合操作系统和体系结构的知识讲解程序的工...详情
经典好书《Windows 程式設計-使用 MFC (第二版)》读书内容简介:p>繼Petzold大師的Windows程式設計一書後,又一本學Windows 程式設計不可錯過的經典好書。「Windows程式設計-使用MFC」第二版,是一本教導使用者使用MFC來撰寫Windows程式的好書。新二版的內容中,除了延續...详情
盛夏方程式 书籍
经典好书《盛夏方程式》读书内容简介:的代价是牺牲一切,你有没有信心抵达终点?《嫌疑人X的献身》中,“神探伽利略”汤川学追求的唯有真相,而这次,他没有止步于简单的是非善恶。如何在不让警方触及真相的情况下,让凶手得到应有的惩罚、无辜者尽量少受伤害、逝者安息?对他来 说,这是一...详情
版式设计基础教程 书籍
经典好书《版式设计基础教程》读书内容简介:讲解为什么要进行版式设计,版式设计的基本要素、分类以及文字排列的基本方式。除此之外,作者针对如何吸引读者注意以及如何引导读者视线做了比较详细的阐述。《版式设计基础教程》还有一个最大的特点,就是作者不断提醒设计师“版式设计要从读者角度出发,为读者着想”...详情
星座方程式第一季 电视剧
电视剧【星座方程式第一季】剧情介绍:季播剧《星座方程式》(1、2季)在海滨城市秦皇岛隆重开机。这部由金英马影视股份有限公司旗下金云涌文化传播有限公司倾力打造的时尚网络季播剧,共计12季144集,以时下热门的星座爱情为故事主线,以每集剧情相对独立的形式,展开12星座或唯美、浪漫,或悬疑、...详情
真夏方程式 书籍
经典好书《真夏方程式》读书内容简介:一切,那麼,不顧一切的極大值會是什麼?★東野圭吾紀念作者生涯25週年震撼新作★中文版特別收錄!東野圭吾親撰 誕生祕話★日本佳評不斷!東野圭吾最大粉絲Blog全作品綜合推薦TOP2(...详情