面向计算机科学的数理逻辑系统建模与推理（哈斯）（机械工业出版社 2007）

大家都喜欢

• 
  Learning Android（Marko Gargenta）（2011）
• 
  数学分析新讲（全三册））（张筑生）（北京大学出版社 1990）
• 
  歌德诗选（（德）歌德著）（2000）
• 
  电子技术基础 数字部分 第六版（康华光， 华中科技大学. 电子技术课程组）（高等教育出版社 2014）
• 
  数据结构与算法之美（王争）（人民邮电出版社）
• 
  机器人技术实践教程.pdf（俞建荣，王殿君，王振华，陈亚，杨德宇）（机械工业出版社 2016）
• 
  Python灰帽子-黑客与逆向工程师的Python编程之道（Justin.Seitz）（电子工业出版社）
• 
  机器学习实践指南：案例应用解析（第2版）（麦好）（机械工业出版社 2016）
• 
  算法通关之路（路志鹏等）
• 
  最优控制理论与应用（张洪钺，王青）（高等教育出版社 2006）
• 
  微服务设计 (图灵程序设计丛书)（纽曼(Sam Newman) [纽曼(Sam Newman)]）（人民邮电出版社 2016）
• 
  零基礎也不怕，史丹佛給你最好懂的經濟學：總體經濟篇（提摩太・泰勒 (Timothy Taylor)）（城邦文化 2019）
• 
  编译系统透视：图解GCC编译器工作机制与实现原理（新设计团队）（机械工业出版社 2018）
• 
  Data Structures and Algorithms Using Python（Rance D. Necaise）（Wiley 2010）
• 
  Java Programming for Engineers (Mechanical Engineering Series (Boca Raton， Fla.).)（Julio Sanchez Maria P. Canton）（2002）
• 
  语文 第3册（人民教育出版社语文一室编， 人民教育出版社语文一室编， 人民教育出版社）（北京：人民教育出版社 1987）
• 
  Certified Kubernetes Administrator (CKA) Study Guide (Third Early Release) (Benjamin Muschko)
• 
  JavaFX 1.2 Application Development Cookbook（Vladimir Vivien）（Packt Publishing 2010）
• 
  Learning Python（Mark Lutz）（O’Reilly Media 2007）
• 
  Osgi in Action： Creating Modular Applications in Java (Unedited Draft)（Richard Hall， Karl Pauls， Stuart McCulloch， David Savage）（Manning Publications 2011）