MIT 6.033 计算机系统工程讲义
✍ it-ebooks
📂 Library
🏛 iBooker it-ebooks
🌐 Chinese
✦ LIBER ✦
📁
UCB CS262A 计算机系统的高级话题讲义
✍ Scribed by it-ebooks
- Publisher
- iBooker it-ebooks
- Tongue
- Chinese
- Leaves
- 105
- Series
- it-ebooks-extra
- Category
- Library
⬇ Acquire This Volume
No coin nor oath required. For personal study only.
📜 SIMILAR VOLUMES
计算系统的形式语义
✍ 陆汝钤
📂 Library
📅 2017
🏛 清华大学出版社
🌐 Chinese
<p>计算系统的形式语义是目前计算机科学理论研究的两大方向之一，其研究成果对程序设计语言、编译技术、应用软件、分布式系统等分支领域有重大的实际意义。本书大体上分为三个部分。第一部分是数学基础，为第一章。第二部分包括第二到第五章，概述了形式语义中的操作语义、指称语义、公理语义和代数语义四大经典流派。第三部分包括第六到第九章，概述了形式语义学的现代应用， 分别介绍分布式系统、移动计算和移动通信系统、非规范进程代数和微观生命系统，以及量子程序设计语言的形式语义。</p> <p>全书内容丰富，结构严谨，集形式语义学理论及其应用的有关分支之大成，系统地反映了这个领域各方面的研究成果，特别是它的近代发展
计算系统的形式语义
✍ 陆汝钤
📂 Library
📅 2017
🏛 清华大学出版社
🌐 Chinese
<p>计算系统的形式语义是目前计算机科学理论研究的两大方向之一，其研究成果对程序设计语言、编译技术、应用软件、分布式系统等分支领域有重大的实际意义。本书大体上分为三个部分。第一部分是数学基础，为第一章。第二部分包括第二到第五章，概述了形式语义中的操作语义、指称语义、公理语义和代数语义四大经典流派。第三部分包括第六到第九章，概述了形式语义学的现代应用， 分别介绍分布式系统、移动计算和移动通信系统、非规范进程代数和微观生命系统，以及量子程序设计语言的形式语义。</p> <p>全书内容丰富，结构严谨，集形式语义学理论及其应用的有关分支之大成，系统地反映了这个领域各方面的研究成果，特别是它的近代发展
计算机系统设计：片上系统
✍ 迈克尔 J.弗林
📂 Library
📅 2015
🏛 机械工业出版社
🌐 Chinese
<p>本书由计算机工程领域资深学者编著，涵盖了计算机系统/SoC设计的许多重要研究内容，着眼于以系统为中心的设计空间理念，从基本概念和分析技术着手，对各种应用和架构设计、开发予以重点阐述。书中除了讲解计算机体系结构中处理器、内存、互联等要素外，重点介绍了系统的定制化设计技术与可重构性设计技术，更关注系统级开发时关于面积、速度、功耗和可配置性等权衡技术发展，并指出计算机系统/SoC设计面临的挑战。</p> <p>本书不仅可供计算机系统设计专业人员、SoC设计师及计算机学者阅读，也可作为计算机科学、计算机工程及电子工程等专业研究生的参考书。</p>
计算机代数系统的数学原理
✍ 李超 / 阮威 / 张龙 / 张翔
📂 Library
📅 2010
🏛 清华大学出版社
🌐 Chinese
书签已装载， 书签制作方法请找 [email protected] 完全免费 （若有印刷不清等问题也请发送相关邮件，会尽快更新的） 《计算机代数系统的数学原理》主要介绍了计算机代数系统的数学理论、经典结果和著名算法。全书包含高精度运算、数论、数学常数、精确线性代数、多项式、方程求解、符号极限、符号求和、符号积分、微分方程符号解等10个部分，涵盖了构建计算机代数系统的最基础也是最重要的内容。书中的许多内容是第一次被系统地整理后出现在中文文献中，并在一些领域体现了本方向的最新进展。
计算机系统结构
✍ Rob williams
📂 Library
📅 2008
🏛 机械工业
🌐 Chinese
书签已装载， 书签制作方法请找 [email protected] 完全免费 本教材与时俱进、自底向上的方式，依次介绍计算机系统结构的基本概念和基本内容，首先是数字逻辑短路和计算机硬件，接下来是运行于硬件之上的软件层，最后讲述通信和操作系统领域的基础知识。本书紧密联系实际，注重动手实践，利用学生感兴趣和亲生体验过的技术（如因特网、图形用户界面、移动通信等）来提高学生的学习积极性。贯穿全书，在分析系统的性能时注意将软硬件结合起来讨论，练习题充分展示出硬件和软件之间这种相互影影响、相互依赖的基本关系。 本书适合作为高等院校计算机及相关专业计算机系统结构课程的导论性教材。