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

大家都喜欢

• 
  翻译辨误2(图文版)（陈德彰）（外语教学与研究出版社 2011）
• 
  数字信号处理 基于计算机的方法 原书第4版 英文改编版（（美）桑吉特·米特拉著；阔永红改编）（北京：电子工业出版社 2011）
• 
  Learning Android（Marko Gargenta）（2011）
• 
  数学分析新讲（全三册））（张筑生）（北京大学出版社 1990）
• 
  歌德诗选（（德）歌德著）（2000）
• 
  万里无云 行走的群山（李锐著）（北京：中国青年出版社 1997）
• 
  语文读本 北师大版 八年级 上（宋峰涛，李凌云本册主编）（兰州：甘肃教育出版社 2006）
• 
  梦溪笔谈（张富祥译， 沈括， 1031-1095， Fuxiang Zhang）（北京：中华书局 2009）
• 
  电子技术基础 数字部分 第六版（康华光， 华中科技大学. 电子技术课程组）（高等教育出版社 2014）
• 
  数据结构与算法之美（王争）（人民邮电出版社）
• 
  机器人技术实践教程.pdf（俞建荣，王殿君，王振华，陈亚，杨德宇）（机械工业出版社 2016）
• 
  赵元任全集 第11卷 音乐著作卷（赵元任）（商务印书馆 2005）
• 
  Mastering Ubuntu Server（Jay LaCroix）（Packt Publishing 2018）
• 
  远行译丛：山旅书札（在以持家为尚的年代，一位奇女子勇闯欧洲男人也罕至的地带）（伊莎贝拉·博德 [伊莎贝拉·博德]）（2016）
• 
  阜新蒙古族自治县 资料本 1（民间文学三套集成领导小组编）（阜新蒙古族自治县机关印刷厂 1986）
• 
  Python灰帽子-黑客与逆向工程师的Python编程之道（Justin.Seitz）（电子工业出版社）
• 
  机器学习实践指南：案例应用解析（第2版）（麦好）（机械工业出版社 2016）
• 
  吸血鬼国王（（英）理查德·伯顿著；夜暗黑译）（海口：南海出版公司 2013）
• 
  算法通关之路（路志鹏等）
• 
  Data structures and program design in C（Robert L. Kruse， Robert Leroy）（Prentice Hall 1991）