《交互式定理证明与程序开发》
作者：YvesBertot等
清华大学出版社 2010
下載：https://libgen.is/book/index.php?md5=7A292045AF87DC3980CC4A5E53716E15

《数据挖掘算法原理与实现》
作者：王振武
清华大学大学出版社 2015
下載：https://libgen.is/book/index.php?md5=90B7C5F4E8FC181A3F6EFBE1AB6D92D6

《千门秘典》
作者：未知
未知出版社
下載：https://libgen.is/book/index.php?md5=1373A217D3DC82D7CFDBDD608BC83780

《ASP.NET Web应用开发实践》
作者：高艳萍
清华大学出版社 2011
下載：https://libgen.is/book/index.php?md5=78358DFF0571D08F4DB8BCC6C99E7862