资源列表
《8086 汇编语言》 学习笔记
- 《8086 汇编语言》 学习笔记
《A Generic Deriving Mechanism for Haskell》
- 《A Generic Deriving Mechanism for Haskell》
《A History of Haskell》
- 《A History of Haskell》
《A retrospective on Haskell》
- 《A retrospective on Haskell》
《Accuracy and Stability of Numerical Algorithms》
- 《Accuracy and Stability of Numerical Algorithms》
SAE J1939-71-2020
- 最新版SAE J1939-71-2020
X-MIAD编辑软件
- 可以打开X-MIAD文件,编辑思维导图,不用安装直接解压就可以用,有模板,非常好用
eMMC电气标准4.5.1
- JDEDC JESD84-B451-eMMC电气标准4.5.1
vxworks 6.6
- vxworks6.6 BSP使用文档,
《6502 汇编大奥秘》
- 《6502 汇编大奥秘》
《6502 微处理器 中文参考手册》
- 《6502 微处理器 中文参考手册》
《A tutorial implementation of a dependently typed Lambda Calculus》
- 《A tutorial implementation of a dependently typed Lambda Calculus》