计算机科学丛书（黑皮书）阿里云盘资源_网盘资源_阿里云盘资源搜索_全盘搜

• file:《高级编译器设计与实现》[赵克佳译制][机械工业出版社][978-7-111-16429-6][2005.7][P646].pdf
• file:《高性能并行珠玑：多核和众核编程方法》[张云泉译制][机械工业出版社][978-7-111-58080-5][2017.9][P404].pdf
• file:《面向计算机科学的数理逻辑：系统建模与推理》[第2版][何伟译制][机械工业出版社][978-7-111-21397-0][2007.7][P291].pdf