编译器优化技术：什么是SSA（静态单赋值）
Tags
11 个页面
Computer-Science
CAP定理与PACELC定理：分布式数据库面临的困境
动态规划（DP）与贝尔曼方程
正则表达式引擎与有限自动机
芭芭拉·利斯科夫：开创抽象数据类型与分布式系统的计算机科学家
莱斯利·兰波特：赋予分布式系统“时间”与“共识”的巨人
Xerox PARC：在发明未来计算机的同时错失市场的研究所
阿达·洛芙莱斯：预见计算机未来的"世界首位程序员"全貌
艾伦·图灵：AI之父与悲剧性的结局
恶魔的大脑：约翰·冯·诺伊曼与现代社会基础的缔造
日本IT教育的现状与挑战：编程必修化之后
