数理逻辑初步（莫绍揆）（上海人民出版社 1980）

大家都喜欢

• 
  Learning Android（Marko Gargenta）（2011）
• 
  数学分析新讲（全三册））（张筑生）（北京大学出版社 1990）
• 
  歌德诗选（（德）歌德著）（2000）
• 
  电子技术基础 数字部分 第六版（康华光， 华中科技大学. 电子技术课程组）（高等教育出版社 2014）
• 
  数据结构与算法之美（王争）（人民邮电出版社）
• 
  机器人技术实践教程.pdf（俞建荣，王殿君，王振华，陈亚，杨德宇）（机械工业出版社 2016）
• 
  Python灰帽子-黑客与逆向工程师的Python编程之道（Justin.Seitz）（电子工业出版社）
• 
  机器学习实践指南：案例应用解析（第2版）（麦好）（机械工业出版社 2016）
• 
  算法通关之路（路志鹏等）
• 
  最优控制理论与应用（张洪钺，王青）（高等教育出版社 2006）
• 
  微服务设计 (图灵程序设计丛书)（纽曼(Sam Newman) [纽曼(Sam Newman)]）（人民邮电出版社 2016）
• 
  编译系统透视：图解GCC编译器工作机制与实现原理（新设计团队）（机械工业出版社 2018）
• 
  Certified Kubernetes Administrator (CKA) Study Guide (Third Early Release) (Benjamin Muschko)
• 
  民间文学资料 第61集 苗族祭鼓词、贾理词（贵州省民族事务委员会，中国民间文艺研究会贵州分会编）（贵州省民族事务委员会 1983）
• 
  Handbook of Peer-to-Peer Networking（John F. Buford， Heather Yu (auth.)， Xuemin Shen， Heather Yu， John Buford， Mursalin Akon (eds.)）（Springer US 2010）
• 
  讲练课堂 初三语文（蒋念祖，丁翌平主编）（长春：东北师范大学出版社 2003）
• 
  深入解析IPv6（第3版）（Joseph Davies）（人民邮电出版社 2014）
• 
  Adventures of a Computational Explorer（Stephen Wolfram）（Wolfram Media 2019）
• 
  Prometheus监控实战 (云计算与虚拟化技术丛书)（詹姆斯·特恩布尔（James Turnbull））（北京华章图文信息有限公司 2019）
• 
  C#灰帽子：设计安全测试工具（（美）布兰德·佩里（Brandon Perry）， 王自亮;侯敬宜;李伟）（机械工业出版社 2018）