-
-
东野圭吾著；张智渊译2010 年出版267 页ISBN：9573326243
-
严智渊，孙磊编著1989 年出版99 页ISBN：7534507308
-
王兴华，蒋桂玲，魏智，邓定宇，阮祖启译；中国科学院计划局编1981 年出版152 页ISBN：
-
强伯涵，魏智编著1985 年出版433 页ISBN：15034·2784
-
李智渊编著1991 年出版245 页ISBN：7810160354
暂缺《C语言》简介
-
山本兼一著；张智渊译2010 年出版449 页ISBN：9570525118
-
李智渊，汤岳清2222 年出版238 页ISBN：
-
深圳市网通软件有限公司编著；李智渊，汤岳清主审1996 年出版258 页ISBN：7810432826
-
李智渊，汤岳清编著1996 年出版238 页ISBN：7505332635
