关于原始码 首先欢迎大家或者我的mobx解读系列之mobx ！ 断断续续花了一些时间，才把整个脉络理理清楚，并且对于某些细节而言有注释的讲解，第一次解读了多个复杂的源码，很多地方参考其他人的描述，因为我觉得描述得比自己清晰。 看原始码是前端进阶的必走之路，首先能知道其中的原理，在写业务代码时能驾轻就熟，并且能扩展出更高阶的功能；其次明白原理后能帮助您快速排障以及避免bug的出现；最后解读原始码元能量学习到优秀的编程范式，使自己的编程思维和习惯发生微妙的改变，这种改变才是最重要的。 mobx的版本是5.15.4 ， 5.15.4中我删除了v4版本的老代码，讲解基于v5版本。 主要概念 observable可观察对象 在mobx中，我们需要一个值或一个对象被改变时，触发相应的动作或响应，这种模式就是典型的观察者模式（或发布订阅模式），那么这里一个值或一个对象就是被观察者，动作或者响应视网膜观

Programming Languages Application and Interpretation 中文版

IKOS IKOS（开放静态分析器的推理内核）是基于抽象解释理论的C / C ++静态分析器。 介绍 IKOS最初是一个C ++库，旨在促进基于的声音静态分析器的开发。 对于一个应用程序或一系列应用程序，静态分析仪的专业化对于实现精度和可扩展性都至关重要。 开发这样的分析器是艰巨的，并且需要在抽象解释方面的大量专业知识。 IKOS提供了最先进的抽象解释数据结构和算法的通用且有效的实现，例如控制流图，定点迭代器，数字抽象域等。IKOS独立于特定的编程语言。 IKOS还提供了基于的C和C ++静态分析器。 它实现了可伸缩的分析，以检测和证明C和C ++程序中没有运行时错误。 执照 IKOS已根据NASA开源协议1.3版发布，请参阅 接触 发行说明 见 故障排除 请参阅 安装 依存关系 要构建和运行分析器，您将需要以下依赖项： 支持C ++ 14的C ++编译器（gcc> = 4.9.2

CS61A 教材 Structure and Interpretation of Computer Programs (2nd) 高清英文原版

国外教材，非常好的信号处理参考书，英文版

本书是Delft大学Hanssen的经典，详细介绍了合成孔径雷达雷达干涉的原理好误差分析，是雷达干涉的入门必看之书

计算机程序语言界著名的魔法书《计算机程序的构造和解释》（又称SICP）正是利用Scheme来解释程序设计。中文第二版

由kHanssen所写的insar 原理、数据解释及误差分析经典书籍，是入门insar的很好的一本工具书。