几何定理机器证明的基本原理（吴文俊）（科学出版社 1984）

大家都喜欢

• 
  把碎片化时间用起来（野口悠纪雄）（文化发展出版社 2017）
• 
  超好用的宫殿记忆法：从入门到精通（石伟华）（中国纺织出版社 2017）
• 
  FreeRTOS 内核实现与应用开发实战—基于i.MX RT（野火）
• 
  Mastering OpenCV with Python： Use NumPy， Scikit， TensorFlow， and Matplotlib to learn Advanced algorithms for Machine Learning through a set of Practical Projects（Ayush Vaishya）（Orange Education Pvt Ltd， AVA™ 2023）
• 
  美国学生历史（上下册英汉双语版） (西方原版教材之文史经典)（爱德华·钱宁）（天津社会科学院出版社 2011）
• 
  新概念模拟电路3-运算放大器的频率特性和滤波器【文字版】（杨建国）（iBooker it-ebooks 2020）
• 
  自由（freedom）（(美)乔纳森·弗兰岑）（南海出版公司 2012）
• 
  大教堂与集市（（美）Eric S. Raymond 著 [著 （美）Eric S. Raymond]）（2014）
• 
  240 Vocabulary Words Kids Need to Know： Grade 3： 24 Ready-to-reproduce Packets That Make Vocabulary Building Fun & Effective（Beech， Linda）（Scholastic Teaching Resources (Teaching 2012）
• 
  Re-Reading Families： The Literate Lives of Urban Children， Four Years Later (Practitioner Inquiry)（Catherine Compton-Lilly）（Teachers College Press 2007）
• 
  拿破仑大帝（全2册) [= Napoleon – A Life (2014)]（[英]安德鲁·罗伯茨(Andrew Roberts)）（社会科学文献出版社 2014）
• 
  你不知道的JavaScript（上中下合集）（作者[美] Kyle Simpson 译者赵望野 姜南）（人民邮电出版社 2015）
• 
  Python Linux系统管理与自动化运维（赖明星）（机械工业出版社 2017）
• 
  VOA慢速英语随身听 听力语法双突破（金利）（机械工业出版社 2015）
• 
  Beginning OpenGL Game Programming（Dave Astle， Kevin Hawkins）（Course Technology PTR 2004）
• 
  沉石与火舌：特朗斯特罗姆诗全集（托马斯·特朗斯特罗姆 [托马斯·特朗斯特罗姆]）（2020）
• 
  具身认知：身体如何影响思维和行为（Sian Beilock）（机械工业出版社 2016）
• 
  從封閉世界到無限宇宙（亞歷山大‧夸黑 (Alexandre Koyre)　）（商周出版 2005）
• 
  民间文学资料 第61集 苗族祭鼓词、贾理词（贵州省民族事务委员会，中国民间文艺研究会贵州分会编）（贵州省民族事务委员会 1983）
• 
  圣女的救济（东野圭吾 [东野圭吾]）（epub掌上书苑 2011）