起底 BAT 最喜欢什么样的程序员?
CSDN
0+阅读 · 2018年8月27日
Thinking Above Code:TLA+ 思维概述
InfoQ
0+阅读 · 2021年12月9日
大规模均衡分割与层次聚类
谷歌开发者
4+阅读 · 2018年7月31日
形式化验证工具TLA+:程序员视角的入门之道
阿里技术
0+阅读 · 2021年10月22日
无人机区块链应用沙龙
无人机
1+阅读 · 2018年1月23日
【斯坦福】分布式算法与优化,118页pdf
专知
2+阅读 · 2020年12月22日
斯坦福2020硬课《分布式算法与优化》
专知
3+阅读 · 2020年5月6日
以数据库思维理解区块链
DBAplus社群
0+阅读 · 2018年4月16日
参考链接
微信扫码咨询专知VIP会员