下载频道 >  Alan_hust 的资源
  • 《类型和程序设计语言》 pdf

    类型理论在程序设计语言的发展中起着举足轻重的作用,成熟的类型系统可以帮助完善程序设计本身,帮助运行系统检查程序中的语义错误。 要理解类型系统在程序设计语言中发挥的作用,本书将是首选读物。本书内容覆盖基本操作语义及其相关证明技巧、无类型lambda演算、简单类型系统、全称多态和存在多态、类型重构、子

    程序设计

    2018-11-14
    3
  • 《并行程序设计 (第二版)》

    本书系统介绍并行程序设计原理及应用。除介绍常用的一些算法范例,包括分治、流水、同步计算、主从及工作池,还介绍了一些常用的经典数值和非数值算法,如排序、矩阵相乘、线性方程组求解、图像处理中的预处理和相应的变换、搜索和优化等。第2版新增了机群计算等使用机群的内容,对如何打造专用和通用的机群以及设置相应的

    程序设计

    2018-11-01
    7
  • 《编码隐匿在计算机软硬件背后的语言》

    这是一本讲述计算机工作原理的书。不过,你千万不要因为“工作原理”之类的字眼就武断地认为,它是晦涩而难懂的。作者用丰富的想象和清晰的笔墨将看似繁杂的理论阐述得通俗易懂,你丝毫不会感到枯燥和生硬。更重要的是,你会因此而获得对计算机工作原理较深刻的理解。这种理解不是抽象层面上的,而是具有一定深度的,这种深

    计算机

    2018-11-01
    17
  • 《计算机组成与体系结构:性能设计 第8版》

    本书是介绍当代计算机体系主流技术和最新技术的优秀教材,以Intel x86和ARM两个处理器系列为例,深入讨论了计算机组成与体系结构的基本原理和概念,并将它们运用到当代计算机系统设计的问题中。 自第7版出版以来,计算机组成与体系结构领域又有了不少革新和进展。第8版坚持全面覆盖整个领域,并在此基础上尽

    计算机

    2018-11-01
    5
  • 机械精度设计与检测技术基础 第二版 [杨沿平 主编]

    机械精度设计与检测技术基础 第二版 作者:杨沿平 主编 出版时间:2013年 内容简介   《机械精度设计与检测技术基础(第2版)》主要介绍几何精度设计与检测技术的基本知识,包括绪论、尺寸精度设计、测量技术基础、几何精度设计、表面粗糙度、光滑工件尺寸的检验、滚动轴承配合的互换性及精度设计、键与花键联

    机械 检测技术

    2018-07-16
    3
  • 串口调试示波器

    自己写的软件,支持接收和发送串口数据,并绘制图形显示,支持4路通道

    串口调试

    2018-04-13
    3