— (美) 杰弗里·蒂蒙斯, (美) 小斯蒂芬·斯皮内利著 JEF

索 书 号 ：F270/605-6

标准编码： 7-115-13877-X

出版信息：人民邮电出版社  2005  北京

中文图书

收藏

— （美） GEORGE S. BOOLOS， JOHN P. BURGESS， RICHAR

索 书 号 ：O141/18-4

标准编码： 7-121-00779-7

出版信息：电子工业出版社  2005  北京

主 题 词 ： 可计算性   数理逻辑  

中文图书

收藏

— 李敏,刘欣亮主编

索 书 号 ：TP3/228

标准编码： 7-313-04062-8

出版信息：上海交通大学出版社  2005.7  上海

中文图书

收藏

— 吴昊,陈珊编著

索 书 号 ：TU238/157

标准编码： 7-112-07638-2

出版信息：中国建筑工业出版社  2005.8  北京

中文图书

收藏

— 魏汝尧,董益坤主编

索 书 号 ：H31/597

标准编码： 7-301-08321-1

出版信息：北京大学出版社  2005.5  北京

中文图书

收藏

— 高达飞,唐颂超主编

索 书 号 ：TQ316/3-2

标准编码： 7-5019-4951-4

出版信息：轻工业出版社  2005.8  北京

中文图书

收藏

— 李树,贾毅编

索 书 号 ：TQ320.66/42

标准编码： 7-5025-7588-X

出版信息：化学工业出版社  2006  北京

中文图书

收藏

— 中共河南省委高校工委思想政治工作处,河南省教育委员

索 书 号 ：38.821/14-2

标准编码： 7-215-03762-2

出版信息：河南人民出版社  1997  郑州

中文图书

收藏

— （美） 约翰·卡多著 JOHN KADOR

索 书 号 ：F279.1/73

标准编码： 7-111-17378-3

出版信息：机械工业出版社  2006  北京

中文图书

收藏

— （美）托尼·亚力山德拉原著，（美）米歇尔·杰欧康纳

索 书 号 ：C912.1-49/19

标准编码： 7-5044-5041-3

出版信息：中国商业出版社  2004  北京

中文图书

收藏