麦兜·微小小说 书籍
经典好书《麦兜·微小小说》读书内容简介:家碧,以麦兜、麦唛两个可爱的主角创作的丛书。书中叙述了两只快乐小猪的生活故事。最初在香港的儿童杂志上刊载,后来,却逐渐在院校以及知识界流行起来,成为一种时尚。大人和小朋友都喜爱麦兜、麦唛,他们都被麦兜、麦唛那既深奥又幼稚,既忧郁又乐观的故事感染,也触...详情
一本纯粹的设计师手稿 书籍
经典好书《一本纯粹的设计师手稿》读书内容简介:”之一种。书中展现的是一名服装设计师在法国巴黎留学期间,在经历了思维的撞击、融合后,以不同以往的思维方式建构自我风格Collection的全过程。非常细致地表现了设计师从获得灵感到选择主题,从框架到结构,从感性来源到理性推敲的设计演变,将设计思维的全...详情
黑麦奇案 书籍
经典好书《黑麦奇案》读书内容简介:女王。她的著作英文版销售量逾10亿册,而且还被译成百余种文字,销售量亦逾10亿册。她一生创作了80部侦探小说和短篇故事集,19部剧本,以及6部以玛丽·维斯特麦考特的笔名出版的小说。著作数量之丰仅次于莎士比亚。阿加莎·克里斯蒂的第一部小说...详情
设计的善意 书籍
经典好书《设计的善意》读书内容简介:出来提醒“被设计”的“原罪”。从辨析Design 中译的含义到回应霍金《大设计》的思想超越。一位艺术史家逆流行价值的思考之作。本文集汇总了他自2006年以来最重要的有关于设计的文章,其中既有作为教育工作者对设...详情
数字设计和计算机体系结构 书籍
经典好书《数字设计和计算机体系结构》读书内容简介:,从计算机组成和设计向下至更精细的层次,详细展示了如何用Verilog和VHDL构建MIPS微处理器。本书为学生提供了一个很好的机会,使他们可以在现代FPGA上进行大型的数字设计,既能增长学生的专业知识,又能启发学生运用所学知识去解决实际问题。书中通...详情
计算机算法设计与分析 书籍
经典好书《计算机算法设计与分析》读书内容简介: 计算机算法设计与分析,ISBN:9787505363915,作者:王晓东编著作者简介详情
经典好书《面向计算机科学的数理逻辑系统建模与推理》读书内容简介:,涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题,反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、L6wenheim—Skolem定理等,并介绍了Allo...详情
程序设计语言的形式语义 书籍
经典好书《程序设计语言的形式语义》读书内容简介:作语义、公理语义、归纳原理、完备性、域论、信息系统、不确定性和并行性、不完备性和不可判定性等内容。同时,每章都包含了丰富的难度不等的练习。 本书是以作者在剑桥大学和Aarhus大学的讲义为基础编写的,是一本难得的形式语义学方面的经典...详情
穿越计算机的迷雾 书籍
经典好书《穿越计算机的迷雾》读书内容简介:带领读者一步一步、从无到有地制造一台能全自动工作的计算机。在这个过程中,读者可以学习到大量有趣的电学、数学和逻辑学知识,了解到它们是如何为电子计算机的产生创造条件,并促使它不断向着更快、更小、更强的方向发展。通过阅读《穿越计算机的迷雾》,读者可以很容...详情