未尽的路

2012年7月2日星期一

Fwd: From the library catalog

---------- 转发的消息 ----------
发件人："Circulation" <exporter@innopac.lib.xjtu.edu.cn>
日期：2012-7-2 下午3:35
主题：From the library catalog
收件人： <ron.huafeng@gmail.com>

绗�¤褰� 鍏�鏉�
館藏地交大图书馆总馆
作者列维京, lie wei jing A. (Levitin, Anany) 著
题名算法设计与分析基础 suan fa she ji yu fen xi ji
chu / (美) Anany Levitin著; 潘彦译
出版发行北京 : 清华大学出版社, 2007.
载体形态 409页 : 图 ; 26cm.
丛编国外经典敎材 guo wai jing dian jiao cai.
计算机科学与技术
丛编 2001 国外经典敎材
丛编 2001 计算机科学与技术
附註由Pearson Education授权清华大学出版社出版
附註据2007年英文版第2版译出
附註原文题名取自封面
附註责任者规范汉译姓 : 列维京
附註有书目 (第400-409页)
附註夲书讲杩傲耸裁词撬惴�算法问题求解基础,
算法效率分析基础,蛮力法,分治法,减治法,变治法,时空权衡,
动态规划,贪婪技术,迭代改进,算法能力的极限,
超越算法能力的极限等内容。
主题电子计算机 dian zi ji suan ji -- 算法设计敎材
主题电子计算机 dian zi ji suan ji -- 算法分析敎材
其它作者潘彦 pan yan 译
其它题名 Introduction to the design and analysis of
algorithms eng.
国际标准號码 978-7-302-14283-6 CNY49.00.
館藏 261020 1546143-47 TP301.6 50-1.
1 > 中文科技图书阅览室 TP301.6 /50-1 在架上
2 > 中文科技书库 TP301.6 /50-1 到期 12-09-05
3 > 中文科技书库 TP301.6 /50-1 到期 12-09-05
4 > 中文科技书库 TP301.6 /50-1 在架上

绗�¤褰� 鍏�鏉�
館藏地交大图书馆总馆
作者斯通, si tong D. (Stone, Douglas) 著
题名哈佛沟通书 ha fu gou tong shu = Difficult conversations
/ (美) 道格拉斯斯通, 布鲁斯佩顿, 希拉汉著; 张立芬译 eng.
题名 Difficult conversations Chinese.
出版发行北京 : 中国友谊出版公司, 2005.
载体形态 244页 : 图, 肖像 ; 23cm.
附註
本书讲述了如何从进退两难的局面中另避出路，敎人如何在高效率低
焦虑的情况下处理艰难的对谈。作者试图回答：当人们碰到令人担心
害怕的对谈时，什么是最有效的处理方法。
主题人间交往 ren jian jiao wang.
其它作者张立芬 zhang li fen 译
国际标准號码 7-5057-2076-7 CNY25.00.
館藏 261020 1493855-59 C912.1 234.
1 > 中文社科图书阅览室 C912.1 /234 在架上
2 > 社科文艺书库 C912.1 /234 在架上
3 > 社科文艺书库 C912.1 /234 到期 12-09-05
4 > 西区社科书库 C912.1 /234 在架上
5 > 西区社科书库 C912.1 /234 在架上

绗�¤褰� 鍏�鏉�
館藏地交大图书馆总馆
作者王晓东 wang xiao dong 编著
题名数据结构 shu ju jie gou : C语言版 / 王晓东编著
出版发行北京 : 电子工业出版社, 2007.
载体形态 10, 257页 ; 26cm.
附註中国计算机学会敎育专业委员会
全国高等学校计算机敎育硏究会推荐出版
附註有书目 (第257页)
附註
本书内容包括引论、表、栈、队列、排序与选择、树、图、集合、符
号表、字典、优先队列、并查集等。
附註高等学校规划敎材
主题 C语言 C yu yan -- 数据结构 -- 高等学校敎材
国际标准號码 978-7-121-04629-2 CNY23.00.
館藏 261020 1590888-92 TP311.12 177.
1 > 中文科技图书阅览室 TP311.12 /177 在架上
2 > 中文科技书库 TP311.12 /177 在架上
3 > 中文科技书库 TP311.12 /177 在架上
4 > 中文科技书库 TP311.12 /177 在架上

绗�¤褰� 鍏�鏉�
館藏地交大图书馆总馆
作者韩雪涛 han xue tao 著
题名从惊讶到思考 cong jing ya dao si kao :
数学悖论奇景 / 韩雪涛著
出版发行长沙 : 湖南科学技术出版社, 2007.
载体形态 258页 : 图 ; 21cm.
附註有书目 (第257-258页)
附註
本书将从代数、几何、微积分、集合论、槪率、统计、博奕论、逻辑
学这些数学领域中采撷出众多的三种类型的悖论，并以这些引人入胜
的悖论之花编织成一幅瑰丽的悖论奇景。
主题悖论 bei lun 普及读物
其它题名数学悖论奇景 shu xue bei lun qi jing.
国际标准號码 978-7-5357-4880-5 CNY20.00.
国际标准號码 7535748805.
館藏 261020 1580648-51 O144.2 502.
1 > 中文科技图书阅览室 O144.2 /502 在架上
2 > 中文科技书库 O144.2 /502 在架上
3 > 中文科技书库 O144.2 /502 在架上

绗�¤褰� 鍏�鏉�
館藏地交大图书馆总馆
作者巴克兰, ba ke lan M. (Buckland, Mat) 著
题名游戏编程中的人工智能技术 you xi bian cheng zhong de ren
gong zhi neng ji shu = AI techniques for game programming /
(美) Mat Buckland著; 吴祖增, 沙鹰翻译 eng.
出版发行北京 : 清华大学出版社, 2006.
载体形态 296页 : 图 ; 26cm 光盘1片
丛编游戏开发经典丛书 you xi kai fa jing dian cong shu.
丛编 2001 游戏开发经典丛书
附註由汤姆森学习出版集团授权清华大学出版社出版
附註据Premier Press, a division of Thomson Learning
2004年英文版译出
附註责任者规范汉译姓: 巴克兰
附註有书目 (第291-294页)
主题人工智能 ren gong zhi neng -- 应用 -- 游戏 -- 软件设计
其它作者吴祖增 wu zu zeng 译
其它作者沙鹰 sha ying 译
其它题名 AI techniques for game programming eng.
国际标准號码 7-302-12599-6 CNY39.00 (含光盘)
国际标准號码 7-89494-959-0 光盘
館藏 261020 1475256-60/DH41722-26 TP319 16.
1 > 中文科技图书阅览室 TP319 /16 在架上
2 > 中文科技书库 TP319 /16 在架上
3 > 中文科技书库 TP319 /16 在架上
4 > 中文科技书库 TP319 /16 在架上
5 > 科技资料阅览室(东侧) TP319 /16 /CD-ROM 在架上
6 > 科技资料阅览室(东侧) TP319 /16 /CD-ROM 在架上
7 > 科技资料阅览室(东侧) TP319 /16 /CD-ROM 在架上
8 > 科技资料阅览室(东侧) TP319 /16 /CD-ROM 在架上
9 > 科技资料阅览室(东侧) TP319 /16 /CD-ROM 在架上
鍙戦€佺储涔﹀彿鑷砪dload@mail.lib.xjtu.edu.cn鑾峰彇鍏夌洏FTP鏈嶅姟 mailto:cdload@mail.lib.xjtu.edu.cn

绗�¤褰� 鍏�鏉�
館藏地交大图书馆总馆
作者福格勒 fu ge le S.F. (scott Fogler, H.) 著
题名创造性问题求解的策略 chuang zao xing wen ti qiu jie de
ce lue / (美)H. 斯科特.福格勒, 史蒂文.E.勒布朗 = Strategies for
creative problem-sloving / H.scott Fogler, Steven
E.LeBlanc著; 欧阳绛译 eng.
出版发行北京 : 中央编译出版社, 2005.
载体形态 236页 : 图 ; 23cm.
丛编经世文库 jing shi wen ku. 智慧树书系
丛编 2001 经世文库
丛编 2001 智慧树书系
附註据1999年英文原版译出
附註
本书讲杩傲艘恍┙饩鑫侍獾姆椒ǎ蛘呤悄芷舴⑽颐墙饩鑫侍獾募记�
，使读者熟悉解题方法，增強创造力。
主题问题解决 (心理学) wen ti jie jue ( xin li xue)
其它作者欧阳绛 ou yang jiang 译
其它题名 Strategies for creative problem-sloving eng.
国际标准號码 7-80211-100-5 CNY28.00.
館藏 261020 1414313-16 B842.5 45.
1 > 中文社科图书阅览室 B842.5 /45 在架上
2 > 社科文艺书库 B842.5 /45 到期 12-09-05
3 > 社科文艺书库 B842.5 /45 刚归还
4 > 西区社科书库 B842.5 /45 在架上
5 > 就业中心 B842.5 /PX1 在架上

绗�¤褰� 鍏�鏉�
館藏地交大图书馆总馆
题名创新辉煌 Chuang Xin Hui Huang : 科学大师的青年时代 /
路甬祥主编
出版发行北京 : 科学出版社, 2001.
载体形态 513页 : 图, 肖像 ; 21cm.
附註有书目
主题科学家 -- 生平事迹 -- 世界
其它题名科学大师的靑年时代 Ke Xue Da Shi De Qing Nian
Shi Dai.
国际标准號码 7-03-008432-2 CNY27.50.
1 > 中文社科图书阅览室 K816.1 /21 /C.1 在架上
2 > 社科文艺书库 K816.1 /21 /C.1 在架上
3 > 社科文艺书库 K816.1 /21 /C.1 在架上
4 > 社科文艺书库 K816.1 /21 /C.1 在架上

绗�¤褰� 鍏�鏉�
館藏地交大图书馆总馆
作者路甬祥 Lu Yong Xiang 主编
题名创新辉煌 Chuang Xin Hui Huang : 科学大师的青年时代 /
路甬祥主编
出版发行北京 : 科学出版社, 2001.
载体形态 [515]-1064页 : 图, 肖像 ; 21cm.
附註有书目
主题科学家 -- 生平事迹 -- 世界
其它题名科学大师的靑年时代 Ke Xue Da Shi De Qing Nian
Shi Dai.
国际标准號码 7-03-008432-2 CNY27.50.
1 > 中文社科图书阅览室 K816.1 /21 /C.2 在架上
2 > 社科文艺书库 K816.1 /21 /C.2 在架上
3 > 社科文艺书库 K816.1 /21 /C.2 c.2 在架上
4 > 社科文艺书库 K816.1 /21 /C.2 c.3 在架上

绗�¤褰� 鍏�鏉�
館藏地交大图书馆总馆
作者常, chang L. (Chang, Laura) 编
题名纽约时报50位科学家 niu yue shi bao 50 wei ke xue
jia / (美) 劳拉常编 = The new York Times scientists at work /
Laura Chang; 赵伯炜, 于明, 冯速等译 eng.
出版发行海口 : 海南出版社, 2003.
载体形态 499页 : 图 ; 24cm.
附註本书中文简体字翻译版由海南出版社和美国麦克劳-
希尔教育(亚洲)出版公司合作出版
主题科学家 ke xue jia -- 简介 -- 世界
其它作者赵伯炜 zhao bo wei 译
其它作者于明 yu ming 译
其它作者冯速 feng su 译
其它题名 New York Times scientists at work eng.
国际标准號码 7-5443-0756-5 CNY48.00.
館藏 261020 1261556-60 K816.1 28.
1 > 中文社科图书阅览室 K816.1 /28 在架上
2 > 社科文艺书库 K816.1 /28 在架上
3 > 社科文艺书库 K816.1 /28 在架上
4 > 西区提存书库 K816.1 /28 在架上
5 > 西区保种库 K816.1 /28 在架上

绗�潯璁板綍, 鍏�鏉�
館藏地交大图书馆总馆
作者梅热 mei re (Mazur, Joseph) 著
题名雨林中的欧几里德 yu lin zhong de ou ji li de = Euclid
in the rainforest : 一部故事化的数学简史 / (美)
约瑟夫马祖尔著 / = Joseph Mazur; 吴飞译 eng.
题名 Euclid in the rainforest : discovering universal truth
in logic and math Chinese.
出版发行重庆 : 重庆出版社, 2006.
载体形态 246, 22页 : 图 ; 24cm.
丛编现代图书馆 Xian Dai Tu Shu Guan.
丛编 2001 现代图书馆
附註责任者规范汉译姓：梅热
附註有书目
主题数学史 shu xue shi.
其它作者吴飞 wu fei 译
其它题名一部故事化的数学简史 yi bu gu shi hua de shu
xue jian shi.
其它题名数学简史 shu xue jian shi.
国际标准號码 7-5366-8260-3 CNY26.00.
館藏 261020 1552287-89 O11 520.
1 > 中文科技图书阅览室 O11 /520 在架上
2 > 中文科技书库 O11 /520 在架上

绗�潯璁板綍, 鍏�鏉�
館藏地交大图书馆总馆
作者杨树靑 yang shu qing 编著
题名 Linux环境下C编程指南 Linux huan jing xia C bian cheng
zhi nan / 杨树青, 王欢编著
出版发行北京 : 清华大学出版社, 2007.
载体形态 380页 : 图 ; 26cm.
附註本书共13章,介绍的内容包括:
Linux平鍙跋翪语言及其编程环境的介绍,
C语言编译器.调试工具和自动维护工具的使用方法,
进程.文件的相关操作,输入输出操作和内存管理,C语言网络编程方法等
主题 C语言 c yu yan -- 程序设计
主题 LINUX操作系统 linux cao zuo xi tong.
国际标准號码 978-7-302-15102-9 CNY42.00.
館藏 261020 1568735-39 TP312C 1246.
1 > 中文科技图书阅览室 TP312C /1246 在架上
2 > 中文科技书库 TP312C /1246 到期 12-07-11
3 > 中文科技书库 TP312C /1246 在架上
4 > 中文科技书库 TP312C /1246 在架上

绗�潯璁板綍, 鍏�鏉�
館藏地交大图书馆总馆
作者孟道骥 MENG DAO JI 编著
题名代数学基础 DAI SHU XUE JI CHU Basic algebra eng /
孟道骥编著 MENG DAO JI BIAN ZHU.
出版发行天津 : 南开大学出版社, 1992.11.
载体形态 279页 ; 20cm.
附註孟道骥,南开大学任敎
附註包括基础槪念、环、域、群、模及Galois理论等6部分L
主题代数
主题抽象代数
其它题名 Basic algebra eng.
其它题名代数学 DAI SHU XUE.
国际标准號码 7-310-00372-1 $6.10.
1 > 提存书库 O153 /504 在架上
2 > 典藏中文 O153 /504 馆内阅览
3 > 中文提存书库 O153 /504 报剔除
4 > 中文科技书库 O153 /504 赔偿
5 > 中文提存书库 O153 /504 报剔除
6 > 中文提存书库 O153 /504 报剔除
7 > 提存书库 O153 /504 在架上

绗�潯璁板綍, 鍏�鏉�
館藏地交大图书馆总馆
作者熊全淹编著
题名近世代数 / 熊全淹编著
出版发行武汉 : 武汉大学, 1984.06.
载体形态 378页 ; 大32开
国际标准號码平装 1.85元
1 > 提存书库 O153 /501(84) 在架上
2 > 提存书库 O153 /501(84) 在架上
3 > 典藏中文 O153 /501(84) 馆内阅览
4 > 中文提存书库 O153 /501(84) 报剔除
5 > 中文提存书库 O153 /501(84) 报剔除
6 > 中文科技书库 O153 /501(84) 赔偿
7 > 中文提存书库 O153 /501(84) 报剔除
8 > 中文提存书库 O153 /501(84) 报剔除
9 > 中文提存书库 O153 /501(84) 报剔除

绗�潯璁板綍, 鍏�鏉�
館藏地交大图书馆总馆
作者霍斯特曼, huo si te man C. (Horstmann, Cay) 著
题名 Big Java中文版 Big Java zhong wen ban = Big Java / (美)
Cay Horstmann著; 李健利, 张国印, 姚爱红译 eng.
出版发行北京 : 电子工业出版社, 2007.
载体形态 861页 : 图 ; 26cm.
丛编国外计算机科学敎材系列 guo wai ji suan ji ke xue jiao
cai xi lie.
丛编 2001 国外计算机科学敎材系列
附註由电子工业出版社和John Wiley & Sons合作出版
附註据John Wiley & Sons, Inc.2006年英文版第2版译出
附註有索引
主题 JAVA语言 java yu yan -- 程序设计敎材
其它作者李健利 li jian li 译
其它作者张国印 zhang guo yin 译
其它作者姚爱红 yao ai hong 译
其它题名 Big Java eng.
国际标准號码 978-7-121-02654-6 CNY89.00.
館藏 261020 1574445-49 TP312JA 766.
1 > 中文科技图书阅览室 TP312JA /766 在架上
2 > 中文科技书库 TP312JA /766 在架上
3 > 中文科技书库 TP312JA /766 在架上
4 > 中文科技书库 TP312JA /766 在架上

绗�潯璁板綍, 鍏�鏉�
館藏地交大图书馆总馆
作者林信良 lin xin liang 编著
题名 Java JDK 6学习笔记 Java JDK 6 xue xi bi ji / 林信良编著
出版发行北京 : 清华大学出版社, 2007.
载体形态 572页 : 图 ; 26cm 光盘1片
附註本书结构按照作者的学习脉络依次展开,从什么是Java,
如何配置Java开发环境,基本的Java语法到程序流程控制,管理类文件,
异常处理,枚举类型,泛型,J2SE中标准的API等均进行了详细介绍
主题 JAVA语言 java yu yan -- 程序设计
国际标准號码 978-7-302-14995-8 CNY59.90 (含光盘)
国际标准號码 978-7-89486-383-6 光盘
館藏 261020 1571544-48/DH50896-97/1760883/dh64896 TP312JA
764.
1 > 中文科技图书阅览室 TP312JA /764 在架上
2 > 中文科技书库 TP312JA /764 在架上
3 > 中文科技书库 TP312JA /764 到期 12-09-05
4 > 中文科技书库 TP312JA /764 到期 12-05-28BILLE
5 > 科技资料阅览室(东侧) TP312JA /764 /CD-ROM 在架上
6 > 科技资料阅览室(东侧) TP312JA /764 /CD-ROM 在架上
7 > 中文科技书库 TP312JA /764 在架上
8 > 科技资料阅览室(东侧) TP312JA /764 /CD-ROM 在架上
鍙戦€佺储涔﹀彿鑷砪dload@mail.lib.xjtu.edu.cn鑾峰彇鍏夌洏FTP鏈嶅姟 mailto:cdload@mail.lib.xjtu.edu.cn

绗�潯璁板綍, 鍏�鏉�
館藏地交大图书馆总馆
作者孙博文 Sun Bo Wen 编著
题名分形算法与程序设计 Fen Xing Suan Fa Yu Cheng Xu She
Ji : Java实现 / 孙博文编著
出版发行北京 : 科学出版社, 2004.
载体形态 319页, [2]页图版 : 图 (部分彩图) ; 26cm
光盘1片
主题电子计算机 dian zi ji suan ji -- 分形理论 -- 算法分析
主题分形理论 Fen Xing Li Lun -- 算法分析
主题 Java语言 Java Yu Yan -- 程序设计
其它题名 Java实现 Java Shi Xian.
国际标准號码 7-03-014541-0 CNY39.00 (含光盘)
国际标准號码 7-900146-86-5 光盘
1 > 中文科技图书阅览室 TP301.6 /57 /C.3 在架上
2 > 中文科技书库 TP301.6 /57 /C.3 在架上
3 > 中文科技书库 TP301.6 /57 /C.3 在架上
4 > 中文科技书库 TP301.6 /57 /C.3 在架上
5 > 科技资料阅览室(东侧) TP301.6 /57 /C.3 /CD-ROM 在架上
6 > 科技资料阅览室(东侧) TP301.6 /57 /C.3 /CD-ROM 在架上
7 > 科技资料阅览室(东侧) TP301.6 /57 /C.3 /CD-ROM 在架上
8 > 科技资料阅览室(东侧) TP301.6 /57 /C.3 /CD-ROM 在架上
9 > 科技资料阅览室(东侧) TP301.6 /57 /C.3 /CD-ROM 在架上
鍙戦€佺储涔﹀彿鑷砪dload@mail.lib.xjtu.edu.cn鑾峰彇鍏夌洏FTP鏈嶅姟 mailto:cdload@mail.lib.xjtu.edu.cn

绗�潯璁板綍, 鍏�鏉�
館藏地交大图书馆总馆
作者施瓦茨 shi wa ci (Schwartz, Randal L.) 著
题名 Perl语言入门 perl yu yan ru men / Randal L. Schwartz,
Tom Phoenix, Brian d Foy著; O'Reilly Taiwan公司编译
题名 Learning Perl Chinese.
出版发行南京 : 东南大学出版社, 2007.
载体形态 306页 ; 24cm.
附註据原著第4版翻译
附註简体中文版由O'Reilly Media, Inc.授权东南大学出版社出版
附註英文并列题名取自封面
附註责任者Schwartz、Phoenix、Foy规范汉译姓分别为 :
施瓦茨、菲尼克斯、福伊
附註有索引
附註
本书内容涵盖Perl的变量类型、文字的处理、子例程、字符串与排序
、文件的操作、进程的管理、正则表达式、模块的使用等。
主题 PERL语言 perl yu yan -- 程序设计
其它作者 O'Reilly Taiwan公司 o'reilly taiwan gong si
编译
国际标准號码 978-7-5641-0636-2 CNY42.00.
館藏 26102 1568911-15 TP312PE 35.
1 > 中文科技图书阅览室 TP312PE /35 在架上
2 > 中文科技书库 TP312PE /35 在架上
3 > 中文科技书库 TP312PE /35 在架上
4 > 中文科技书库 TP312PE /35 刚归还

绗�潯璁板綍, 鍏�鏉�
館藏地交大图书馆总馆
作者富尔顿 fu er du (Fulton, Hal Edwin), 1961- 著
题名 The Ruby Way中文版 The Ruby Way zhong wen ban / (美)
Hal Fulton著; 陈秋萍, 赵子鹏译
题名 Ruby way : solutions and techniques in ruby programming
Chinese.
出版发行北京 : 人民邮电出版社, 2007.
载体形态 532页 : 图 ; 24cm.
附註据Pearson Education, Inc.2007年英文版第2版译出
主题程序语言 cheng xu yu yan -- 程序设计
其它作者陈秋萍 chen qiu ping 译
其它作者赵子鹏 zhao zi peng 译
国际标准號码 978-7-115-16669-2 CNY79.00.
館藏 261020 1635212-16 TP312RU 3.
1 > 中文科技图书阅览室 TP312RU /3 在架上
2 > 中文科技书库 TP312RU /3 在架上
3 > 中文科技书库 TP312RU /3 在架上
4 > 中文科技书库 TP312RU /3 到期 12-09-05

绗�潯璁板綍, 鍏�鏉�
館藏地交大图书馆总馆
题名 The Chipmakers / by the editors of Time-Life Books.
出版发行 Alexandria, Va. : Time-Life Books, c1988.
载体形态 128 p. : col. ill. ; 29 cm.
丛编 Understanding computers.
附註 Includes bibliographical references (p. 121-124) and
index.
主题 Integrated circuits -- Very large scale integration.
主题 Microelectronics.
其它作者 Time-Life Books.
国际标准號码 0809457377 : CNY154.00.
国际标准號码 0809457385 (lib. bdg.)
館藏 261020 TP3/U55/v.5 7190299 2.
1 > 外文书库 TP3 /U55 /v.5 在架上

绗�潯璁板綍, 鍏�鏉�
館藏地交大图书馆总馆
作者李红艳 li hong yan 编著
题名计算机组装与维护宝典 ji suan ji zu zhuang yu wei hu bao
dian / 李红艳, 胡红宇编著
出版发行北京 : 中国铁道出版社, 2007.
载体形态 15, 491页 : 图 ; 26cm.
主题电子计算机 dian zi ji suan ji -- 组装
主题电子计算机 dian zi ji suan ji -- 维修
国际标准號码 978-7-113-08013-6 CNY46.00.
館藏 261020 1593805-07 TP305 16.
1 > 中文科技图书阅览室 TP305 /16 在架上
2 > 中文科技书库 TP305 /16 在架上

绗�潯璁板綍, 鍏�鏉�
館藏地交大图书馆总馆
作者孙博文 Sun Bo Wen 编著
题名分形算法与程序设计 Fen Xing Suan Fa Yu Cheng Xu She
Ji : Visual C++实现 / 孙博文编著
出版发行北京 : 科学出版社, 2004.
载体形态 310页, [4] 页图版 : 图 (部分彩图) ; 26cm
光盘1片
附註有书目 (第309-310页)
附註
夲书从实用的角度出发，论杩傲朔中瓮夹蔚纳伤惴ㄓ氤绦蛏杓啤Ｄ�
容包括分形图的递归算法、文字构图算法、迭代函数绯煌乘惴ā⑻�
时间算法等。
附註高等院校学生。
主题电子计算机 dian zi ji suan ji -- 分形理论 -- 算法分析
主题 C语言 c yu yan -- 程序设计
其它题名 Visual C++实现 Visual C++ Shi Xian.
国际标准號码 7-03-014542-9 CNY38.00 (含光盘)
国际标准號码 7-900146-87-3 光盘
館藏 261020 1370092-96/DH29134-38 TP301.6 57.
1 > 中文科技图书阅览室 TP301.6 /57 在架上
2 > 中文科技书库 TP301.6 /57 在架上
3 > 中文科技书库 TP301.6 /57 在架上
4 > 中文科技书库 TP301.6 /57 在架上
5 > 科技资料阅览室(东侧) TP301.6 /57 /CD-ROM 在架上
6 > 科技资料阅览室(东侧) TP301.6 /57 /CD-ROM 在架上
7 > 科技资料阅览室(东侧) TP301.6 /57 /CD-ROM 在架上
8 > 科技资料阅览室(东侧) TP301.6 /57 /CD-ROM 在架上
9 > 科技资料阅览室(东侧) TP301.6 /57 /CD-ROM 在架上
鍙戦€佺储涔﹀彿鑷砪dload@mail.lib.xjtu.edu.cn鑾峰彇鍏夌洏FTP鏈嶅姟 mailto:cdload@mail.lib.xjtu.edu.cn

绗�潯璁板綍, 鍏�鏉�
館藏地交大图书馆总馆
作者伊德 yi de (Hyde, Randall) 著
题名编程卓越之道 Bian Cheng Zhuo Yue Zhi Dao. 第一卷. ,
深入理解计算机 = Write great code. Volume 1. , understanding
the machine / (美) Randall Hyde著; 韩东海译 eng.
题名 Write great code. Volume 1, Understanding the machine
Chinese.
出版发行北京 : 电子工业出版社, 2006.
载体形态 XIV, 445页 : 图 ; 23cm.
附註责任者Hyde规范汉译姓伊德
附註有书目和索引
主题程序设计 Cheng Xu She Ji.
其它作者韩东海 Han Dong Hai 译
其它题名深入理解计算机 Shen Ru Li Jie Ji Suan Ji.
国际标准號码 7-121-02404-7 CNY49.80.
館藏 261020 1474043-47 TP311.1 58/C.1.
1 > 中文科技图书阅览室 TP311.1 /58 /C.1 在架上
2 > 中文科技书库 TP311.1 /58 /C.1 在架上
3 > 中文科技书库 TP311.1 /58 /C.1 到期 12-09-05
4 > 中文科技书库 TP311.1 /58 /C.1 在架上

绗�潯璁板綍, 鍏�鏉�
館藏地交大图书馆总馆
题名编程之美 bian cheng zhi mei : 微软技术面试心得 /
《编程之美》小组著
出版发行北京 : 电子工业出版社, 2008.
载体形态 XXX, 327, [16] 页 : 图 ; 23cm.
附註有索引
主题程序设计 cheng xu she ji.
其它题名微软技术面试心得 wei ruan ji shu mian shi xin
de.
国际标准號码 978-7-121-06074-8 CNY40.00.
館藏 261020 1637568-72 TP311.1 83.
1 > 中文科技图书阅览室 TP311.1 /83 在架上
2 > 中文科技书库 TP311.1 /83 到期 12-09-05
3 > 中文科技书库 TP311.1 /83 到期 12-09-05
4 > 中文科技书库 TP311.1 /83 到期 12-09-05

绗�潯璁板綍, 鍏�鏉�
館藏地交大图书馆总馆
作者郭嵩山 Guo Song Shan 编著
题名国际大学生程序设计竞赛例题解 Guo Ji Da Xue Sheng Cheng
Xu She Ji Jing Sai Li Ti Jie. 三 :
图论、动态规划算法、综合题专集 / 郭嵩山 ... [等] 编著
出版发行北京 : 电子工业出版社, 2007.
载体形态 xi, 283页 : 图 ; 26cm 光盘1片
附註题名页题其余责任者：关沛勇, 蔡文志, 梁锋
附註有书目 (第281页)
主题程序设计 Cheng Xu She Ji -- 竞赛 -- 高等学校题解
主题图论算法 Tu Lun Suan Fa -- 竞赛 -- 高等学校题解
国际标准號码 978-7-121-04643-8 三 CNY32.00
(含光盘)
国际标准號码 978-7-89485-313-4 光盘
館藏 261020 1591351-55/DH52854-55 TP311.1 59/C.3.
1 > 中文科技图书阅览室 TP311.1 /59 /C.3 在架上
2 > 中文科技书库 TP311.1 /59 /C.3 到期 12-06-28
3 > 中文科技书库 TP311.1 /59 /C.3 在架上
4 > 中文科技书库 TP311.1 /59 /C.3 到期 12-07-09
5 > 科技资料阅览室(东侧) TP311.1 /59 /C.3 /CD-ROM 在架上
6 > 科技资料阅览室(东侧) TP311.1 /59 /C.3 /CD-ROM 在架上
鍙戦€佺储涔﹀彿鑷砪dload@mail.lib.xjtu.edu.cn鑾峰彇鍏夌洏FTP鏈嶅姟 mailto:cdload@mail.lib.xjtu.edu.cn

绗�潯璁板綍, 鍏�鏉�
館藏地交大图书馆总馆
作者沙特朗 sha te lang (Chartrand, Gary) 著
题名图论导引 tu lun dao yin = Introduction to graph
theory / (美) Gary Chartrand, Ping Zhang著; 范益政 ... [等] 译
eng.
题名 Introduction to graph theory Chinese.
出版发行北京 : 人民邮电出版社, 2007.
载体形态 400页 : 图 ; 24cm.
丛编图灵数学统计学丛书 tu ling shu xue tong ji xue
cong shu; 13.
丛编 2001 图灵数学统计学丛书 13.
附註据The McGraw-Hill Companies, Inc., 2005年英文版译。
附註本书简体中文版由人民邮电出版社和麦格劳-希尔敎育出版
(亚洲) 公司合作出版
附註责任者规范汉译姓为：沙特朗。
附註有书目 (第380-387页) 和索引
主题图论 tu lun -- 高等学校敎材
其它作者范益政 fan yi zheng 译
国际标准號码 978-7-115-16153-6 CNY49.00.
館藏 261020 1593001-05 O157.5 524.
1 > 中文科技图书阅览室 O157.5 /524 在架上
2 > 中文科技书库 O157.5 /524 到期 12-09-05
3 > 中文科技书库 O157.5 /524 到期 12-07-10
4 > 中文科技书库 O157.5 /524 到期 12-09-05

绗�潯璁板綍, 鍏�鏉�
館藏地交大图书馆总馆
作者刘绍学 liu shao xue 编著
题名近世代数基础 jin shi dai shu ji chu / 刘绍学[编著]
出版发行北京 : 高等敎育出版社, 1999.
载体形态 202页 ; 23cm.
附註面向21世纪课程敎材
附註普通高等敎育「九五」国家级重点敎材
主题抽象代数 -- 高等学校 -- 敎材
其它题名 An introduction to modern algebra eng.
国际标准號码 7-04-007450-8 CNY14.60.
館藏 261020 1076983-87/1095750 O153 506.
1 > 典藏中文 O153 /506 馆内阅览
2 > 提存书库 O153 /506 在架上
3 > 提存书库 O153 /506 在架上
4 > 提存书库 O153 /506 在架上
5 > 中文科技书库 O153 /506 到期 12-07-18

绗�潯璁板綍, 鍏�鏉�
館藏地交大图书馆总馆
作者许宁 Xu Ning 编著
题名近世代数辅导及习题精解 Jin Shi Dai Shu Fu Dao Ji Xi Ti
Jing Jie / 许宁编著
出版发行西安 : 陕西师范大学出版社, 2006.
载体形态 176页 ; 23cm.
丛编高等学校经典敎材配套辅导丛书 Gao Deng Xue Xiao Jing
Dian Jiao Cai Pei Tao Fu Dao Cong Shu.
丛编 2001 高等学校经典敎材配套辅导丛书 Gao Deng Xue Xiao
Jing Dian Jiao Cai Pei Tao Fu Dao Cong Shu
高等学校经典敎材配套辅导丛书
附註有书目 (第176页)
主题抽象代数 chou xiang dai shu -- 高等学校敎材
国际标准號码 7-56133-537-7 CNY15.80.
館藏 261020 1538963-66 O153 522.
1 > 中文科技图书阅览室 O153 /522 在架上
2 > 中文科技书库 O153 /522 在架上
3 > 中文科技书库 O153 /522 在架上

绗�潯璁板綍, 鍏�鏉�
館藏地交大图书馆总馆
作者赵淼清 zhao miao qing 编著
题名近世代数 jin shi dai shu / 赵淼清编著
出版发行杭州 : 浙江大学出版社, 2005.
载体形态 268页 : 图 ; 21cm.
附註
本书主要介绍了近世代数课程的基本内容和思想方法，全书共分五章
，分别对群、环、域这三个最基本的代数系统进行了一些讨论。
主题抽象代数 chou xiang dai shu.
国际标准號码 7-308-04428-9 CNY12.00.
館藏 261020 1427114-18 O153 518.
1 > 中文科技图书阅览室 O153 /518 在架上
2 > 中文科技书库 O153 /518 在架上
3 > 中文科技书库 O153 /518 在架上
4 > 中文科技书库 O153 /518 在架上

绗�潯璁板綍, 鍏�鏉�
館藏地交大图书馆总馆
作者东山魁夷 Dong Shan Kui Yi (Higashiyama Kaii), 1908-1999
著
题名美的情愫 Mei De Qing Su / (日) 东山魁夷著; 唐月眉译
出版发行上海 : 复旦大学出版社, 2008.
载体形态 265页, [2] 叶页图版 : 图 ; 24cm.
附註
本书通过东山魁夷的散文集，作者向读者展示作者艺术世界之美，日
本艺术和东方艺术世界之美。
主题散文集 San Wen Ji -- 日本 -- 现代
其它作者唐月眉 Tang Yue Mei 译
国际标准號码 978-7-309-05323-4 CNY35.00.
館藏 261020 1646301-03 I313.6 31.
1 > 社科文艺书库 I313.6 /31 在架上
2 > 社科文艺书库 I313.6 /31 在架上
3 > 西区社科书库 I313.6 /31 在架上

绗�潯璁板綍, 鍏�鏉�
館藏地交大图书馆总馆
作者施托姆, shi tuo mu T. (Storm, Theodor), 1817-1888 著
题名茵梦湖 yin meng hu / (德) 施笃姆著; 杨武能译
出版发行桂林 : 广西师范大学出版社, 2003.
载体形态 399页 ; 23cm.
丛编杨武能译文集 yang wu neng yi wen ji.
丛编 2001 杨武能译文集
附註责任者规范汉译姓：施托姆
附註
本书收集了被称为德语文学奇葩的施笃姆的众多名篇，如《一片绿叶
》、《玛尔特和她的钟》等诗情小说，也有如《木偶戏子波勒》、《
双影人》等情节感人的诗意故事。
主题小说 xiao shuo -- 德国 -- 近代作品集
主题诗歌 shi ge -- 德国 -- 近代作品集
其它作者杨武能, yang wu neng , 1938- 译
国际标准號码 7-5633-3933-7 CNY28.80.
館藏 261020 1257260-62 I516.4 52.
1 > 社科文艺书库 I516.4 /52 在架上
2 > 社科文艺书库 I516.4 /52 在架上
3 > 西区保种库 I516.4 /52 在架上

绗�潯璁板綍, 鍏�鏉�
館藏地交大图书馆总馆 & 人文学院资料室 & 其他院系资料室
作者格拉斯, ge la si G. (Grass, Gunter) 著
题名铁皮鼓 tie pi gu : 但泽三部曲之一 /
(德)君特格拉斯(Gunter Grass)著; 胡其鼎译
出版发行桂林 : 漓江出版社, 1998.
载体形态 645页 ; 20 cm.
附註 Steidl出版社授权出版版权中介:
国际媒介版权代理公司，德国法兰克福
主题长篇小说 -- 三部曲(作品) chang pian xiao shuo - san bu
qu ( zuo pin ) -- 德国 -- 现代
主题三部曲(作品) -- 长篇小说 san bu qu ( zuo pin )- chang
pian xiao shuo -- 德国 -- 现代
其它作者胡其鼎 hu qi ding 译
其它题名 Die Blechtrommel ger.
其它题名但泽三部曲 dan ze san bu qu.
国际标准號码 7-5407-2179-0 CNY25.00.
館藏 261020 1132976 I516.4 43/C.1.
1 > 提存书库 I516.4 /43 /C.1 在架上
2 > 经金学院资料室 I516.4 /43 /C.1 在架上
3 > 人文学院资料室 I516.45/PR4 在架上

绗�潯璁板綍, 鍏�鏉�
館藏地交大图书馆总馆
作者法莱蒂, fa lai di G. (Faletti, Giorgio) 著
题名非人 fei ren / (意) 乔治法莱蒂著 = Io uccido /
Giorgio Faletti; 殷杲, 周晓阳译 ita.
出版发行上海 : 上海三联书店 : 上海译文出版社, 2005.
载体形态 433页 ; 21cm.
主题长篇小说 chang pian xiao shuo -- 意大利 -- 现代
主题惊险小说 Jing Xian Xiao Shuo -- 意大利 -- 现代
其它作者殷杲 yin gao 译
其它作者周晓阳 zhou xiao yang 译
其它题名 Io uccido ita.
国际标准號码 7-5327-3780-2 CNY26.00.
館藏 261020 1529842-44 I546.4 35.
1 > 社科文艺书库 I546.4 /35 在架上
2 > 社科文艺书库 I546.4 /35 在架上
3 > 西区社科书库 I546.4 /35 在架上

绗�潯璁板綍, 鍏�鏉�
館藏地交大图书馆总馆
作者索罗, suo luo H. D. (Thoreau, Henry David) 著
题名瓦尔登湖 wa er deng hu = Waiden / (美)
亨利戴维梭罗著; 徐迟译 eng.
出版发行上海 : 上海译文出版社, 2004.
载体形态 309页 : 图 ; 26cm.
丛编译文经典 yi wen jing dian.
丛编 2001 译文经典
附註著者标准汉译姓：索罗
主题散文 san wen -- 美国 -- 现代作品集
其它作者徐迟 xu chi 译
其它题名 Waiden eng.
国际标准號码 7-5327-3360-2 CNY15.00.
館藏 261020 1326886-88 I712.6 51.
1 > 社科文艺书库 I712.6 /51 在架上
2 > 社科文艺书库 I712.6 /51 在架上
3 > 西区社科书库 I712.6 /51 在架上

绗�潯璁板綍, 鍏�鏉�
館藏地交大图书馆总馆
作者王尔德, wang er de, O. (Wilde, Oscar), 1854-1900 著
题名道连格雷的画象 dao lian ge lei de hua xiang /
(爱尔兰) 王尔德著; 黄源深译
出版发行北京 : 人民文学出版社, 2004.
载体形态 185页 : 图 ; 21cm.
丛编名著名译插图本 ming zhu ming yi cha tu ben.
丛编 2001 名著名译插图本
附註英文并列题名取自封面
主题小说 xiao shuo -- 爱尔兰 -- 近代
其它作者黄源深 huang yuan shen 译
其它题名 Picture of dorian gray eng.
国际标准號码 7-02-004341-0 CNY10.00.
館藏 261020 1302414-17 I561.4 98-1.
1 > 社科文艺书库 I561.4 /98-1 到期 12-06-18
2 > 社科文艺书库 I561.4 /98-1 在架上
3 > 社科文艺书库 I561.4 /98-1 在架上
4 > 西区保种库 I561.4 /98-1 在架上

绗�潯璁板綍, 鍏�鏉�
館藏地交大图书馆总馆
作者昆德拉 Kun de la (Kundera, Milan), 1929- 著 CAL
n2004361037#
题名不能承受的生命之轻 Bu Neng Cheng Shou De Sheng Ming Zhi
Qing / 米兰昆德拉 = L'insoutenable legerete de l'etre / Milan
Kundera; 许钧译 fre.
出版发行上海 : 上海译文出版社, 2003.
载体形态 394页, [1] 叶图版 : 肖像 ; 21cm.
丛编米兰昆德拉作品系列 mi lan kun de la zuo pin xi
lie.
丛编 2001 米兰昆德拉作品系列
附註本书根据伽里玛出版社2002年1月法文版译出
附註有书目
主题长篇小说 chang pian xiao shuo -- 捷克斯洛伐克 -- 现代
其它作者许钧, Xu Jun 1954- 译 CAL n2004239607#
其它题名 L'insoutenable legerete de l'etre fre.
国际标准號码 7-5327-3107-3 CNY23.00.
館藏 261020 1261664-67/1641812-14/1760894 I514.15 1/C.6.
1 > 社科文艺书库 I514.15 /1 /C.6 到期 12-09-05
2 > 社科文艺书库 I514.15 /1 /C.6 到期 12-09-05
3 > 社科文艺书库 I514.15 /1 /C.6 到期 12-09-05
4 > 西区保种库 I514.15 /1 /C.6 在架上
5 > 社科文艺书库 I514.15 /1 /C.6 到期 12-09-05
6 > 社科文艺书库 I514.15 /1 /C.6 在架上
7 > 西区社科书库 I514.15 /1 /C.6 在架上
8 > 社科文艺书库 I514.15 /1 /C.6 到期 12-09-05

绗�潯璁板綍, 鍏�鏉�
館藏地交大图书馆总馆
作者谢拜什陶 Xi Bei Si Ta (Sebesta, Robert W.) 著
题名程序设计语言概念 Cheng Xu She Ji Yu Yan Gai Nian =
Concepts of programming language / (美) Robert W. Sebesta著;
林琪, 侯姸译 eng.
题名 Concepts of programming language Chinese.
出版发行北京 : 中国电力出版社, 2006.
载体形态 504页 : 图 ; 24cm.
丛编国外经典计算机科学敎材 Guo Wai Jing Dian Ji Suan Ji Ke
Xue Jiao Cai.
丛编 2001 国外经典计算机科学敎材
附註本书据原文第6版译出
附註本书翻译版由Pearson Education授权
附註责任者规范汉译姓: 谢拜什陶 (Sebesta)
附註有书目 (第495-504页)
附註
本书描述了程序设计语言的基本槪念，在此讨论了不同语言构造的设
计问题，分析了采用某些最常用的语言来设计这些构造的选择方法，
并对诸多设计方案进行了仔细比较。
主题程序语言 Cheng Xu Yu Yan.
其它作者林琪 Lin Qi 译
其它作者侯姸 Hou Yan 译
国际标准號码 7-5083-2490-0 CNY49.80.
館藏 261020 1651596-99 TP312 66-2.
1 > 中文科技图书阅览室 TP312 /66-2 在架上
2 > 中文科技书库 TP312 /66-2 在架上
3 > 中文科技书库 TP312 /66-2 在架上

绗�潯璁板綍, 鍏�鏉�
館藏地交大图书馆总馆
作者戴特尔 dai te er (Deitel, Paul James) 著
作者戴特尔 dai te er (Deitel, Harvey M.), 1945- 著
题名 C大学教程 C da xue jiao cheng = C how to program / (美)
P. J. Deitel, H. M. Deitel著; 苏小红, 李东, 王甜甜等译 eng.
题名 C how to program Chinese.
出版发行北京 : 电子工业出版社, 2008.
载体形态 874页 : 图 ; 26cm 光盘1片
丛编国外计算机科学教材系列 guo wai ji suan ji ke xue jiao
cai xi lie.
丛编 2001 国外计算机科学教材系列
附註据Pearson Education, Inc. 2007年英文版第5版译出
附註由Pearson Education授权电子工业出版社出版
附註责任者中译姓取自版权页: 戴特尔
附註有索引
主题 C语言 c yu yan -- 程序设计 -- 高等学校教材
其它作者苏小红 su xiao hong 译
其它作者李东 li dong 译
其它作者王甜甜 wang tian tian 译
国际标准號码 978-7-121-05662-8 CNY98.00 (含光盘)
国际标准號码 978-7-89485-610-4 光盘
館藏 261020 1647769-73/DH57567-68 TP312C 542-1.
1 > 中文科技图书阅览室 TP312C /542-1 在架上
2 > 中文科技书库 TP312C /542-1 到期 12-07-23
3 > 中文科技书库 TP312C /542-1 在架上
4 > 中文科技书库 TP312C /542-1 到期 12-09-05
5 > 科技资料阅览室(东侧) TP312C /542-1 /CD-ROM 在架上
6 > 科技资料阅览室(东侧) TP312C /542-1 /CD-ROM 在架上
鍙戦€佺储涔﹀彿鑷砪dload@mail.lib.xjtu.edu.cn鑾峰彇鍏夌洏FTP鏈嶅姟 mailto:cdload@mail.lib.xjtu.edu.cn

绗�潯璁板綍, 鍏�鏉�
館藏地交大图书馆总馆
作者马瑞克 ma rui ke (Marick, Brian) 著
题名 Everyday Scripting with Ruby中文版 Everydan Scripting
with Ruby zhong wen ban = Everyday Scripting with Ruby : for
teams, testers, and you / (美) Brian Marick著; 廖志刚,
李琳骁, 诸鸿君译 eng.
题名 Everyday Scripting with Ruby : for teams, testers, and
you Chinese.
出版发行北京 : 电子工业出版社, 2008.
载体形态 301页 : 图 ; 23cm.
附註由The Pragmatic Programmers, LLC.授权电子工业出版社出版
附註据原书英文版译出
附註责任者汉译姓取自在版编目: 马瑞克
附註有书目 (第291页) 和索引
主题程序设计 cheng xu she ji.
主题软件测试 ruan jian ce shi.
其它作者廖志刚 liao zhi gang 译
其它作者李琳骁 li lin xiao 译
其它作者诸鸿君 zhu hong jun 译
国际标准號码 978-7-121-06457-9 CNY49.80.
館藏 261020 1659867-71 TP311.1 84.
1 > 中文科技图书阅览室 TP311.1 /84 在架上
2 > 中文科技书库 TP311.1 /84 在架上
3 > 中文科技书库 TP311.1 /84 在架上
4 > 中文科技书库 TP311.1 /84 在架上

绗�潯璁板綍, 鍏�鏉�
館藏地交大图书馆总馆 & 其他院系资料室
作者迪亚库 Di Ya Ku F. (Diacu,Florin), 著
题名天遇 Tian Yu : 混沌与稳定性的起源 / (罗)弗洛林迪亚库,
(美)菲利普霍尔姆斯著; 王兰宇译
出版发行上海 : 上海科技敎育出版社, 2001.
载体形态 318页 : 图, 肖像 ; 18cm.
丛编普林斯顿科学文库 Pu Lin Si Dun Ke Xue Wen Ku; 2.
丛编 2001 普林斯顿科学文库
附註书名原文: Celestial Encounters: The Origins of Chaos
and Stability.
附註有参考书目(第296-318页)
主题混沌学 Hun Dun Xue 普及读物
主题天体力学 Tian Ti Li Xue 普及读物
主题动力系统(数学) Dong Li Xi Tong ( Shu Xue ) 普及读物
其它作者王兰宇 Wang Lan Yu 译
其它题名 Celestial Encounters : The Origins of Chaos
and Stability eng.
其它题名混沌与稳定性的起源 Hun Dun Yu Wen Ding Xing
De Qi Yuan.
国际标准號码 7-5428-2729-4 CNY19.00.
館藏 261020 1162965-67 N49 590/C.2.
1 > 中文科技书库 N49 /590 /C.2 在架上
2 > 中文科技书库 N49 /590 /C.2 在架上
3 > 中文科技书库 N49 /590 /C.2 在架上
4 > 理学院数学资料室 O0/PL15 在架上

绗�潯璁板綍, 鍏�鏉�
館藏地交大图书馆总馆
作者赫夫特, he fu te N. (Hallford, Neal) 著
题名剑与电 jian yu dian : 角色扮演游戏设计艺术 / (美) Neal
Hallford, Jana Hallford著; 陈洪等译
出版发行北京 : 清华大学出版社, 2006.
载体形态 263页 : 图 ; 26cm.
丛编游戏开发经典丛书 you xi kai fa jing dian cong shu.
丛编 2001 游戏开发经典丛书
附註由汤姆森学习出版集团授权清华大学出版社出版
附註据Premier Press, a division of Thomson Learning
2003年英文版译出
附註责任者汉译姓取自在版编目: 赫夫特
主题游戏 you xi -- 程序设计
其它作者陈洪 chen hong 译
其它题名 Swords & circuitry : a designer's guide to
computer role-playing games eng.
其它题名角色扮演游戏设计艺术 jue se ban yan you xi
she ji yi shu.
国际标准號码 7-302-12562-7 CNY34.00.
館藏 261020 1475319-23 TP319 17.
1 > 中文科技图书阅览室 TP319 /17 在架上
2 > 中文科技书库 TP319 /17 在架上
3 > 中文科技书库 TP319 /17 在架上
4 > 中文科技书库 TP319 /17 在架上

绗�潯璁板綍, 鍏�鏉�
館藏地交大图书馆总馆
作者电脑黑手 Dian Nao Hei Shou 编著
题名硬盘分区、救援与系统规划 Ying Pan Fen Qu 、jiu Yuan Yu
Xi Tong Gui Hua / 电脑黑手编著
出版发行北京 : 中国铁道出版社, 2005.
载体形态 294页 ; 21cm.
丛编精彩DIY Jing Cai Diy.
丛编 2001 精彩DIY.
附註
本书详细介绍了硬件的工作原理、基本操作以及在硬盘操作系统的运
行机制。通过对本书的学习，读者可以从硬盘的基本知识入手，逐步
深入，掌握硬盘档案系统、硬盘格式化分区、数据备份与修复，各类
操作系统的安装与使用。
主题硬磁盘 Ying Ci Pan -- 基本知识
国际标准號码 7-113-06652-6 CNY15.00.
館藏 261020 1447884-88 TP333.3 13.
1 > 中文科技图书阅览室 TP333.3 /13 在架上
2 > 中文科技书库 TP333.3 /13 在架上
3 > 中文科技书库 TP333.3 /13 在架上
4 > 中文科技书库 TP333.3 /13 在架上

绗�潯璁板綍, 鍏�鏉�
館藏地交大图书馆总馆
作者王少葵 wang shao kui 著
题名深入解析WPF编程 shen ru jie xi WPF bian cheng /
王少葵著
出版发行北京 : 电子工业出版社, 2008.
载体形态 312页 : 图 ; 24cm 光盘2片
丛编微软MVP作品系列 wei ruan MVP zuo pin xi lie.
丛编 2001 微软MVP作品系列
主题网络操作系统 wang luo cao zuo xi tong.
国际标准號码 978-7-121-05859-2 CNY55.00 (含光盘)
国际标准號码 978-7-89485-659-3 光盘
館藏 261020 1653206-10/DH57892-95 TP316.86 186.
1 > 中文科技图书阅览室 TP316.86 /186 在架上
2 > 中文科技书库 TP316.86 /186 在架上
3 > 中文科技书库 TP316.86 /186 在架上
4 > 中文科技书库 TP316.86 /186 在架上
5 > 科技资料阅览室(东侧) TP316.86 /186 /CD-ROM1 在架上
6 > 科技资料阅览室(东侧) TP316.86 /186 /CD-ROM1 在架上
7 > 科技资料阅览室(东侧) TP316.86 /186 /CD-ROM2 c.2 在架上
8 > 科技资料阅览室(东侧) TP316.86 /186 /CD-ROM2 c.3 在架上
鍙戦€佺储涔﹀彿鑷砪dload@mail.lib.xjtu.edu.cn鑾峰彇鍏夌洏FTP鏈嶅姟 mailto:cdload@mail.lib.xjtu.edu.cn

绗�潯璁板綍, 鍏�鏉�
館藏地交大图书馆总馆
作者李文新 li wen xin 编著
题名程序设计导引及在线实践 cheng xu she ji dao yin ji zai
xian shi jian / 李文新, 郭炜, 余华山编著
出版发行北京 : 清华大学出版社, 2007.
载体形态 xiv, 290页 : 图 ; 23cm.
丛编 21世纪大学本科计算机专业系列敎材 21 shi ji da xue ben
ke ji suan ji zhuan ye xi lie jiao cai.
丛编 2001 21世纪大学本科计算机专业系列敎材
附註普通高等敎育「十一五」国家级规划敎材
附註本书共12章,主要内容包括C/C++语言槪述,简单计算题,
数制转換问题,字符串处理,日期和时间处理,模拟,高度计算,枚举,
递归,动态规划,链表,二叉树。
主题程序设计 cheng xu she ji -- 高等学校敎材
国际标准號码 978-7-302-15833-2 CNY26.00.
館藏 261020 1617280-84 TP311.1 79.
1 > 中文科技图书阅览室 TP311.1 /79 在架上
2 > 中文科技书库 TP311.1 /79 在架上
3 > 中文科技书库 TP311.1 /79 在架上
4 > 中文科技书库 TP311.1 /79 在架上

绗�潯璁板綍, 鍏�鏉�
館藏地交大图书馆总馆
作者罗守信主编
题名电工学. II. , 电子技术 / 罗守信主编
版本 3版
出版发行北京 : 高等敎育出版社, 1993.10.
载体形态 366页 ; 大32开
附註高等学校敎材原版索书号：T6/117.
主题电工技术
主题电子电路
国际标准號码 7-04-004550-8 平装 5.50元
1 > 中文提存书库 TM /19(93)/C.2 报剔除
2 > 中文提存书库 TM /19(93)/C.2 报剔除
3 > 提存书库 TM /19(93)/C.2 在架上
4 > 中文提存书库 TM /19(93)/C.2 处理中
5 > 典藏中文 TM /19(93)/C.2 馆内阅览
6 > 中文提存书库 TM /19(93)/C.2 报剔除
7 > 中文提存书库 TM /19(93)/C.2 报剔除
8 > 中文提存书库 TM /19(93)/C.2 报剔除
9 > 提存书库 TM /19(93)/C.2 在架上

绗�潯璁板綍, 鍏�鏉�
館藏地交大图书馆总馆
作者陆明达 Lu Ming Da 主编
题名新编电工电子技术 Xin Bian Dian Gong Dian Zi Ji Shu.
上册 / 陆明达主编
出版发行上海 : 同济大学出版社, 2003.
载体形态 [10], 618页 : 图 ; 23cm.
丛编面向新世纪机电类重点系列教材 Mian Xiang Xin Shi Ji Ji
Dian Lei Zhong Dian Xi Lie Jiao Cai.
丛编 2001 面向新世纪机电类重点系列教材
附註有书目 (第618页)
主题电工技术 Dian Gong Ji Shu -- 高等学校教材
主题电子技术 Dian Zi Ji Shu -- 高等学校教材
其它题名电工电子技术 Dian Gong Dian Zi Ji Shu.
国际标准號码 7-5608-2680-6 CNY42.00.
館藏 261020 1284004-08 TM 68/C.1.
1 > 中文科技图书阅览室 TM /68 /C.1 在架上
2 > 中文科技书库 TM /68 /C.1 在架上
3 > 中文科技书库 TM /68 /C.1 在架上
4 > 中文科技书库 TM /68 /C.1 到期 12-09-05

绗�潯璁板綍, 鍏�鏉�
館藏地交大图书馆总馆
作者王乃成 wang nai cheng 主编
题名电子技术 dian zi ji shu : 电工学II / 王乃成主编
出版发行北京 : 国防工业出版社, 2003.
载体形态 209页 : 图 ; 26cm.
附註有书目
附註高等学校教材
主题电子技术 Dian Zi Ji Shu -- 高等学校 -- 技术学校教材
主题电工学 Dian Gong Xue -- 高等学校 -- 技术学校教材
其它题名电工学II dian gong xue II.
国际标准號码 7-118-03191-7 CNY19.00.
1 > 中文科技图书阅览室 TM /66 /C.2 在架上
2 > 中文科技书库 TM /66 /C.2 在架上
3 > 中文科技书库 TM /66 /C.2 在架上

绗�潯璁板綍, 鍏�鏉�
館藏地交大图书馆总馆
作者塞吉维克, sai ji wei ke R. (Sedgewick, Robert)
1946- 著
题名 C++算法 C++ suan fa. 图算法 / (美) Robert
Sedgewick著; 林琪译
出版发行北京 : 清华大学出版社, 2003.
载体形态 xii, 399页 : 图 ; 26cm.
丛编国外经典敎材 guo wai jing dian jiao cai.
丛编 2001 国外经典敎材
附註据2002年英文版第3版译出。
附註由Pearson Education授权清华大学出版社出版。
附註英文并列题名取自封面
附註编目员自译责任者 (Sedgewick) 汉译姓: 塞吉维克
主题 C语言 c yu yan -- 程序设计 -- 数值计算
其它作者林琪 lin qi 译
其它题名 Algorithms in C++. Part 5, graph algorithms
eng.
其它题名图算法 Tu Suan Fa.
国际标准號码 7-302-07251-5 CNY49.00.
1 > 中文科技图书阅览室 TP301.6 /42 /C.2 在架上
2 > 中文科技书库 TP301.6 /42 /C.2 到期 12-09-05
3 > 中文科技书库 TP301.6 /42 /C.2 在架上

绗�潯璁板綍, 鍏�鏉�
館藏地交大图书馆总馆
作者秦瑛 QIN YING 编著
题名电工与电子题解精选 DIAN GONG YU DIAN ZI TI JIE JING
XUAN / 秦瑛等编著 QIN YING DENG BIAN ZHU.
出版发行北京 : 机械工业出版社, 1992.6.
载体形态 462页 ; 26cm.
主题电工 -- 解题 -- 高等学校
主题电子技术 -- 解题 -- 高等学校
其它题名电工电子题解 DIAN GONG DIAN ZI TI JIE.
国际标准號码 7-111-02884-8 $19.60.
01 > 中文提存书库 TM-44 /2 报剔除
02 > 中文提存书库 TM-44 /2 报剔除
03 > 提存书库 TM-44 /2 在架上
04 > 中文提存书库 TM-44 /2 报剔除
05 > 中文提存书库 TM-44 /2 报剔除
06 > 中文提存书库 TM-44 /2 报剔除
07 > 中文提存书库 TM-44 /2 报剔除
08 > 中文提存书库 TM-44 /2 报剔除
09 > 中文科技书库 TM-44 /2 赔偿
10 > 中文提存书库 TM-44 /2 报剔除
11 > 中文提存书库 TM-44 /2 报剔除
12 > 中文提存书库 TM-44 /2 报剔除
13 > 中文提存书库 TM-44 /2 报剔除
14 > 中文提存书库 TM-44 /2 报剔除
15 > 典藏中文 TM-44 /2 馆内阅览
16 > 中文科技书库 TM-44 /2 赔偿
17 > 提存书库 TM-44 /2 在架上
18 > 中文提存书库 TM-44 /2 赔偿
19 > 中文提存书库 TM-44 /2 报剔除

绗�潯璁板綍, 鍏�鏉�
館藏地交大图书馆总馆
作者贾春福 Jia Chun Fu 主编
题名信息安全数学基础 Xin Xi An Quan Shu Xue Ji Chu /
贾春福主编
出版发行天津 : 南开大学出版社, 2006.
载体形态 197页 : 图 ; 26cm.
丛编高等院校信息安全专业系列敎材 Gao Deng Yuan Xiao Xin Xi
An Quan Zhuan Ye Xi Lie Jiao Cai.
丛编 2001 高等院校信息安全专业系列敎材
附註有书目
附註
本书系统地介绍了信息安全理论与技术所涉及的数论、代数、椭圆曲
线等数学理论基础。全书共分5章：第1章是预备知识，介绍了书中内
容所涉及的基础知识；第2章是数论基础，包括整数的因子分解、同余
式、原根、二次剩余?
主题信息系统 Xin Xi Xi Tong -- 安全技术 -- 应用数学 --
高等学校敎材
国际标准號码 7-310-02530-X CNY24.00.
1 > 中文科技图书阅览室 TP301.6 /74 在架上
2 > 中文科技书库 TP301.6 /74 在架上
3 > 中文科技书库 TP301.6 /74 在架上
4 > 中文科技书库 TP301.6 /74 在架上

绗�潯璁板綍, 鍏�鏉�
館藏地交大图书馆总馆
作者佩措尔德, pei cuo er de , C. (Petzold, Charles),
1953- 著
题名编码的奥秘 bian ma de ao mi / (美)Charles Petzold著;
伍卫国 ... [等] 译
出版发行北京 : 机械工业出版社, 2000.
载体形态 273页 : 图, 肖像 ; 26cm.
丛编计算机科学丛书 ji suan ji ke xue cong shu.
丛编 2001 计算机科学丛书
附註本书中文简体字版由美国微软出版社授权机械工业出版社出版
附註著者规范中译姓：佩措尔德
附註
本书讲杩傲擞爰扑慊硐喙氐母髦直嗦敕椒ǎ⑼ü致呒缏�
以及存储器、微处理器的形成、组织及发展阐杩傲吮嗦氲氖迪�
主题电子计算机 dian zi ji suan ji -- 编码 -- 基本知识
主题编码 bian ma -- 电子计算机 -- 基本知识
其它作者伍卫国, wu wei guo , 1964- 译
国际标准號码 7-111-08078-5 CNY24.00.
1 > 中文科技书库 TP301 /18 到期 12-09-05
2 > 典藏中文 TP301 /18 馆内阅览
3 > 中文科技书库 TP301 /18 在架上
4 > 中文科技书库 TP301 /18 到期 12-09-05
5 > 中文科技书库 TP301 /18 到期 12-09-05

绗�潯璁板綍, 鍏�鏉�
館藏地交大图书馆总馆
作者叔本华, shu ben hua A. 著
题名人性的得失与智慧 ren xing de dei shi yu zhi hui = Gain
and loss of humanity and wisdom / (德) 叔本华著; 文良文化编译
eng.
出版发行北京 : 华文出版社, 2003.
载体形态 378页 : 图，肖像 ; 21cm.
丛编大师智慧书系 da shi zhi hui shu xi.
丛编 2001 大师智慧书系
主题叔本华 shu ben hua A. (Schopenhaur, Arthur), 1788
-1860 -- 哲学思想
其它作者文良文化 wen liang wen hua 编译
其它题名 Gain and loss of humanity and wisdom eng.
国际标准號码 7-5075-1614-8 CNY20.00.
館藏 261020 1317491-93 B516.41 10.
1 > 西区社科书库 B516.41 /10 到期 12-07-09
2 > 中文社科图书阅览室 B516.41 /10 在架上
3 > 社科文艺书库 B516.41 /10 在架上

绗�潯璁板綍, 鍏�鏉�
館藏地交大图书馆总馆
作者叔本华, shu ben hua A. (Schopenhauer, Arthur), 1788-
1860 著
题名叔本华人生哲学 shu ben hua ren sheng zhe xue / (德)
叔本华著; 李成铭等译
出版发行北京 : 九州出版社, 2003.
载体形态 423页 ; 23dcm.
丛编哲人咖啡厅 zhe ren ka fei ting. 第一辑; 1.
丛编 2001 哲人咖啡厅
附註有书目
主题哲学思想 zhe xue si xiang -- 德国 -- 近代选集
其它作者李成铭 li cheng ming 编译
国际标准號码 7-80114-916-5 CNY26.00.
館藏 261020 1265292-95 B516.41 9.
1 > 中文社科图书阅览室 B516.41 /9 在架上
2 > 社科文艺书库 B516.41 /9 在架上
3 > 社科文艺书库 B516.41 /9 到期 12-09-05
4 > 西区社科书库 B516.41 /9 ON SEARCH

绗�潯璁板綍, 鍏�鏉�
館藏地交大图书馆总馆
作者达斯古普塔, da si gu pu ta S. (Dasgupta, Sanjoy) 著
题名算法概论 suan fa gai lun / (美) Sanjoy Dasgupta, (美)
Christos Papadimitriou, (美) Umesh Vazirani著; 王沛, 唐扬斌,
刘齐军译 eng.
出版发行北京 : 清华大学出版社, 2008.
载体形态 XIII, 345页 : 图 ; 23cm.
丛编国外经典敎材 guo wai jing dian jiao cai.
计算机科学与技术
丛编 2001 国外经典敎材计算机科学与技术
附註本书中文简体字翻译版由美国麦格劳-
格尔敎育出版公司授权清华大学出版社在中华人民共和国境内独家出
版发行。
附註英文并列题名取自封面。
附註责任者Dasgupta, Papadimitriou,
Vazirani规范汉译姓分别为: 达斯古普塔, 帕帕季米特里乌, 瓦齐尔尼
附註本书内容包括:序言,数字的算法,分治算法,图的分解,
图中的路径,贪心算法,动态规划,线性规划与归约,NP-
完全问题及其处理,量子算法等。
主题电子计算机 dian zi ji suan ji -- 算法理论敎材
其它作者王沛 wang pei 译
其它作者唐扬斌 tang yang bin 译
其它作者刘齐军 liu qi jun 译
其它题名 Algorithms eng.
国际标准號码 978-7-302-17939-9 CNY39.99.
館藏 261020 1664728-32 TP301.6 99.
1 > 中文科技图书阅览室 TP301.6 /99 在架上
2 > 中文科技书库 TP301.6 /99 在架上
3 > 中文科技书库 TP301.6 /99 到期 12-09-05
4 > 中文科技书库 TP301.6 /99 在架上

绗�潯璁板綍, 鍏�鏉�
館藏地交大图书馆总馆
作者孙广磊 sun guang lei 编著
题名征服Python zheng fu Python : 语言基础与典型应用 /
孙广磊编著
出版发行北京 : 人民邮电出版社, 2007.
载体形态 [15], 476页 : 图 ; 24cm 光盘1片
主题 PYTHON语言 python yu yan -- 程序设计
其它题名语言基础与典型应用 yu yan ji chu yu dian xing
ying yong.
国际标准號码 978-7-115-16657-9 CNY59.00 (含光盘)
国际标准號码 978-7-89488-765-8 光盘
館藏 261020 1634036-40/dh56717-18 TP312PY 9.
1 > 中文科技图书阅览室 TP312PY /9 在架上
2 > 中文科技书库 TP312PY /9 到期 12-07-06
3 > 中文科技书库 TP312PY /9 到期 12-09-05
4 > 中文科技书库 TP312PY /9 到期 12-09-05
5 > 科技资料阅览室(东侧) TP312PY /9 /CD-ROM 在架上
6 > 科技资料阅览室(东侧) TP312PY /9 /CD-ROM 在架上
鍙戦€佺储涔﹀彿鑷砪dload@mail.lib.xjtu.edu.cn鑾峰彇鍏夌洏FTP鏈嶅姟 mailto:cdload@mail.lib.xjtu.edu.cn

绗�潯璁板綍, 鍏�鏉�
館藏地交大图书馆总馆
作者张基温 zhang ji wen 编著
题名计算机网络基础 ji suan ji wang luo ji chu / 张基温编著
版本第2版
出版发行北京 : 中国人民大学出版社, 2008.
载体形态 402页 : 图 ; 23cm.
丛编面向21世纪课程敎材 mian xiang 21 shi ji ke cheng jiao
cai.
丛编敎育部面向21世纪信息管理与信息系统系列敎材 jiao yu bu
mian xiang 21 shi ji xin xi guan li yu xin xi xi tong xi lie
jiao cai.
丛编 2001 面向21世纪课程敎材
丛编 2001 敎育部面向21世纪信息管理与信息系统系列敎材
附註有书目
附註
本书以计算机网络的核心技术是数据传输、数据交換、体系结构、应
用层模式和安全
主题计算机网络 ji suan ji wang luo -- 高等学校敎材
国际标准號码 978-7-300-09483-0 CNY38.00.
館藏 261020 1681590-94 TP393 1070(2008)
1 > 中文科技图书阅览室 TP393 /1070(2008) 在架上
2 > 中文科技书库 TP393 /1070(2008) 在架上
3 > 中文科技书库 TP393 /1070(2008) 在架上
4 > 中文科技书库 TP393 /1070(2008) 在架上

绗�潯璁板綍, 鍏�鏉�
館藏地交大图书馆总馆
作者阿姆斯特朗 A Mu Si Te Lang (Armstrong, Joe) 著
题名 Erlang程序设计 Erlang Cheng Xu She Ji = Programming
Erlang: Software for a Concurren World / (瑞典) Joe
Armstrong著; 赵东炜，金尹译 eng.
题名 Programming Erlang: Software for a Concurren World Chi.
出版发行北京 : 人民邮电出版社, 2008.
载体形态 427页 ; 24cm.
丛编图灵程序设计丛书 Tu Ling Cheng Xu She Ji Cong Shu.
丛编 2001 图灵程序设计丛书
附註责任者Armstrong规范汉译姓: 阿姆斯特朗
附註有索引
主题程序语言 Cheng Xu Yu Yan -- 程序设计
其它作者赵东炜 Zhao Dong Wei 译
其它作者金尹 Jin Yin 译
国际标准號码 978-7-115-18869-4 CNY79.00.
館藏 261020 1697744-48 TP312ER 1.
1 > 中文科技图书阅览室 TP312ER /1 在架上
2 > 中文科技书库 TP312ER /1 在架上
3 > 中文科技书库 TP312ER /1 在架上
4 > 中文科技书库 TP312ER /1 在架上

绗�潯璁板綍, 鍏�鏉�
館藏地交大图书馆总馆
作者周爱民 zhou ai min 著
题名大道至简 da dao zhi jian : 软件工程实践者的思想 /
周爱民著
出版发行北京 : 电子工业出版社, 2007.
载体形态 168页 : 图 ; 25cm.
主题软件工程 ruan jian gong cheng.
其它题名软件工程实践者的思想 ruan jian gong cheng shi
jian zhe de si xiang.
国际标准號码 978-7-121-03869-3 CNY25.00.
館藏 261020 1570330-32 TP311.5 240.
1 > 中文科技图书阅览室 TP311.5 /240 在架上
2 > 中文科技书库 TP311.5 /240 在架上

绗�潯璁板綍, 鍏�鏉�
館藏地交大图书馆总馆
作者拉希姆扎德 la xi mu zha de (Rahimzadeh, Auri) 著
题名揭秘PSP jie mi PSP / (美) Auri Rahimzadeh著; 董启雄,
费玮, 王天祥译
题名 Hacking the PSP Chinese.
出版发行北京 : 科学出版社, 2007.
载体形态 XV, 260页 : 图 ; 24cm.
附註据John Wiley & Sons Ltd.2006年英文译出
附註编目员自译责任者汉译姓: 拉希姆扎德
主题游戏机 you xi ji -- 应用软件 -- 技术
其它作者董启雄 dong qi xiong 译
其它作者费玮 fei wei 译
其它作者王天祥 wang tian xiang 译
国际标准號码 978-7-03-018269-2 CNY38.00.
館藏 261020 1568270-74 TP311.5 237.
1 > 中文科技图书阅览室 TP311.5 /237 在架上
2 > 中文科技书库 TP311.5 /237 在架上
3 > 中文科技书库 TP311.5 /237 在架上
4 > 中文科技书库 TP311.5 /237 在架上

绗�潯璁板綍, 鍏�鏉�
館藏地交大图书馆总馆
作者 Gookin Dan 著
题名进一步深入 DOS 傻瓜书 / (美)Dan Gookin著; 钱培德等译
出版发行北京 : 清华大学出版社, 1995.
载体形态 294页 ; 16开
丛编电脑神通傻瓜丛书
主题微型计算机-操作系统,DOSL
主题操作系统,DOSL
其它作者钱培德译
国际标准號码 7-302-01910-X 平装 29.80元
01 > 典藏中文 TP316 /146 馆内阅览
02 > 中文科技图书阅览室 TP316 /146 在架上
03 > 中文提存书库 TP316 /146 报剔除
04 > 提存书库 TP316 /146 在架上
05 > 中文提存书库 TP316 /146 报剔除
06 > 中文提存书库 TP316 /146 处理中
07 > 提存书库 TP316 /146 在架上
08 > 中文提存书库 TP316 /146 报剔除
09 > 中文提存书库 TP316 /146 报剔除
10 > 中文提存书库 TP316 /146 报剔除

绗�潯璁板綍, 鍏�鏉�
館藏地交大图书馆总馆
作者丁小鹏 DING XIAO PENG 编著
题名 DOS5.0使用详解 DOS5.0 SHI YONG XIANG JIE / 丁小鹏等编著
DING XIAO PENG DENG BIAN ZHU.
出版发行合肥 : 中国科学技术大学出版社, 1993.8.
载体形态 207页 ; 26cm.
附註本书包括:MS-
DOS5.0的特点、文件操作、目录的操作、建立硬盘、配制系统和设备
驱动程序、DOS命令使用详解等10章L
主题磁盘-操作系统,MS-DOS5.0.
主题操作系统,MS-DOS5.0-磁盘
其它题名 DOS5.0.
国际标准號码 7-312-00554-3 $8.60.
1 > 提存书库 TP316 /106 在架上
2 > 中文科技图书阅览室 TP316 /106 在架上
3 > 中文提存书库 TP316 /106 报剔除
4 > 中文提存书库 TP316 /106 报剔除
5 > 中文提存书库 TP316 /106 报剔除
6 > 典藏中文 TP316 /106 馆内阅览
7 > 中文科技书库 TP316 /106 在架上

绗�潯璁板綍, 鍏�鏉�
館藏地交大图书馆总馆
作者索利斯 Suo Li Si (Solis, Daniel) 著
题名 C#图解教程 C# Tu Jie Jiao Cheng = Illustrated C# 2008 /
(美) Daniel Solis著; 苏林, 朱晔等译 eng.
题名 Illustrated C# 2008 Chinese.
出版发行北京 : 人民邮电出版社, 2009.
载体形态 445页 : 图 ; 24cm.
丛编图灵程序设计丛书 Tu Ling Cheng Xu She Ji Cong Shu.
微软技术系列
丛编 2001 图灵程序设计丛书微软技术系列
附註著者Solis规范汉译姓为：索利斯。
附註
本书是一本广受赞誉的C#教程。它以图文并茂的形式，用朴实简洁的
文字，并辅之以大量表格和代码示例，炼而全面地阐述了最新版C#
语言的各种特性，使读者能够快速理解、学习和使用C#。同时，
本书还讲解了C#与VB、C++等主流语言的不同点和相似之处。
主题 C语言 C Yu Yan -- 程序设计教材
其它作者苏林 Su Lin 译
其它作者朱晔 Zhu Ye 译
国际标准號码 978-7-115-18773-4 CNY65.00.
館藏 261020 1701499-503 TP312C 1524.
1 > 中文科技图书阅览室 TP312C /1524 在架上
2 > 中文科技书库 TP312C /1524 在架上
3 > 中文科技书库 TP312C /1524 到期 12-07-09
4 > 中文科技书库 TP312C /1524 刚归还

绗�潯璁板綍, 鍏�鏉�
館藏地交大图书馆总馆
作者舒尔茨 shu er ci (Schultz, David) 著
题名深入浅出HTML shen ru qian chu HTML = Beginning HTML
with CSS and XHTML / (美) David Schultz, Craig Cook著; 谢廷晟译
eng.
题名 Beginning HTML with CSS and XHTML Chinese.
出版发行北京 : 人民邮电出版社, 2008.
载体形态 311页 : 图 ; 24cm.
丛编图灵程序设计丛书 tu ling cheng xu she ji cong shu.
Web开发系列
丛编 2001 图灵程序设计丛书 Web开发系列
附註由Apress L. P.授权人民邮电出版社出版
附註据原书2007年英文版译出
主题超文本标记语言, HTML chao wen ben biao ji yu yan , html
-- 程序设计
其它作者谢廷晟 xie ting sheng 译
国际标准號码 978-7-115-17736-0 CNY39.00.
館藏 261020 1638906-10 TP312HT 33.
1 > 中文科技图书阅览室 TP312HT /33 在架上
2 > 中文科技书库 TP312HT /33 在架上
3 > 中文科技书库 TP312HT /33 在架上
4 > 中文科技书库 TP312HT /33 在架上

绗�潯璁板綍, 鍏�鏉�
館藏地交大图书馆总馆
作者模特瓦尼 mo te wa ni (Motwani, Rajeev) 著
题名随机算法 sui ji suan fa = Randomized algorithms /
Rajeev Motwani, Prabhakar Raghavan著; 孙广中, 黄宇, 李世胜译
eng.
题名 Randomized algorithms Chinese.
出版发行北京 : 高等敎育出版社, 2008.
载体形态 452页 : 图 ; 24cm.
附註据原书1995年版译出
附註 Rajeev
Motwani，男，斯坦福大学计算机科学系敎授，1988年于加州大学伯克
利分校获计算机科学博士学位。
附註 Prabhakar
Raghavan，现供职于Yahoo硏究院，同时担任斯坦福大学计算机科学系
讲座敎授。出版图书两本。Raghavan规范汉译姓：拉加万
附註有书目 (第[413]-440页) 和索引
附註
本书的第一部分介绍了槪率论的基本工具，以及在算法应用中经常使
用的槪率分析。第二部分为算法的应用，共包括七章，每一章集中在
随机算法应用的一个重要领域，如数据结构、几何算法、图算法、数
论等。
主题随机规划 sui ji gui hua -- 算法理论
其它作者孙广中 sun guang zhong 译
其它作者黄宇 huang yu 译
其它作者李世胜 li shi sheng 译
国际标准號码 978-7-04-023723-8 CNY48.00.
館藏 261020 1703484-88 O221.5 502.
1 > 中文科技图书阅览室 O221.5 /502 在架上
2 > 中文科技书库 O221.5 /502 在架上
3 > 中文科技书库 O221.5 /502 到期 12-09-05
4 > 中文科技书库 O221.5 /502 到期 12-07-02

绗�潯璁板綍, 鍏�鏉�
館藏地交大图书馆总馆
作者戴尔, dai er N. (Dale, Nell) 著
题名计算机科学概论 ji suan ji ke xue gai lun = Computer
science illuminated / (美) Nell Dale, John Lewis著; 张欣等译
eng.
出版发行北京 : 机械工业出版社, 2005.
载体形态 432页 : 图, 肖像 ; 26cm.
丛编计算机科学丛书 ji suan ji ke xue cong shu.
丛编 2001 计算机科学丛书
附註据Jones and Bartlett Publishers, Inc.
2004年英文版第2版译出
附註由Jones and Bartlett Publishers,
Inc.授权机械工业出版社出版
附註责任者 (Dale)、(Lewis) 规范汉译姓: 戴尔, 刘易斯
附註有书目 (第428-432页)
主题计算机科学 ji suan ji ke xue.
其它作者张欣 zhang xin 译
其它题名 Computer science illuminated eng.
国际标准號码 7-111-17016-4 CNY48.00.
館藏 261020 1429600-04 TP3 440.
1 > 中文科技图书阅览室 TP3 /440 在架上
2 > 中文科技书库 TP3 /440 在架上
3 > 中文科技书库 TP3 /440 到期 12-09-05
4 > 中文科技书库 TP3 /440 到期 12-09-05

绗�潯璁板綍, 鍏�鏉�
館藏地交大图书馆总馆
作者 Pfaffenberger B. (Pfaffenberger,B.) 著 Pfaffenberger.
题名韦伯斯特新世界英汉计算机词典 : 英汉对照 Weibosite xin
shi jie ying han ji suan ji ci dian / (美)Bryan
Pfaffenberger著; 钱世德等译
出版发行上海 : 上海科学普及出版社, 2000.
载体形态 572页 ; 20cm.
主题电子计算机 -- 词典,英汉 Dianzijisuanji.
其它作者钱世德等译 Jianshidedeng.
国际标准號码 7-5427-1582-8 CNY25.00.
館藏 261020 1107528-30 TP3-61 31.
1 > 中文科技书库 TP3-61 /31 在架上
2 > 中文科技图书阅览室 TP3-61 /31 在架上
3 > 中文科技书库 TP3-61 /31 到期 12-09-05

绗�潯璁板綍, 鍏�鏉�
館藏地交大图书馆总馆
作者阿苏外耶, A Su Wai Ye M. H. (Alsuwaiyel, M. H.) 著
题名算法设计技巧与分析 Suan Fa She Ji Ji Qiao Yu Fen Xi =
Algorithms design techniques and analysis / (沙特)
M.H.Alsuwaiyel著; 吴伟昶, 方世昌等译 eng.
出版发行北京 : 电子工业出版社, 2004.
载体形态 318页 : 图 ; 26cm.
丛编国外计算机科学教材系列 Guo Wai Ji Suan Ji Ke Xue Jiao
Cai Xi Lie.
丛编 2001 国外计算机科学教材系列
附註本书简体中文专有翻译出版权由World Scientific Publishing
C0. Pte. Ltd.授予电子工业出版社。
附註责任者Alsuwaiyel规范汉译姓: 阿苏外耶
附註有书目 (第311-318页)
附註本书从算法设计和算法分析的基本概念和方法入手,
先后介绍了递归技术, 分治, 动态规划, 贪心算法,
图的遍历等技术, 对NP完全问题进行了基本但清楚的讨论。
主题电子计算机 dian zi ji suan ji -- 算法设计 --
算法分析教材
其它作者吴伟昶 Wu Wei Chang 译
其它作者方世昌 Yang Xi Quan 译
其它题名 Algorithms design techniques and analysis eng.
国际标准號码 7-121-00108-X CNY33.00.
館藏 261020 1337491-95 TP301.6 52.
1 > 中文科技图书阅览室 TP301.6 /52 在架上
2 > 中文科技书库 TP301.6 /52 到期 12-09-05
3 > 中文科技书库 TP301.6 /52 到期 12-09-05
4 > 中文科技书库 TP301.6 /52 在架上

绗�潯璁板綍, 鍏�鏉�
館藏地交大图书馆总馆
作者戴维斯, Dai Wei Si M. (Davis, Martin) 著
题名逻辑的引擎 Luo Ji De Yin Qing / (美) 马丁戴维斯著;
张卜天译
出版发行长沙 : 湖南科学技术出版社, 2005.
载体形态 293页 : 图, 肖像 ; 21cm.
丛编第一推动丛书 Di Yi Tui Dong Cong Shu. 第四辑
丛编 2001 第一推动丛书第四辑
附註本书根据W. W. Norton公司2000年版本译出
附註本书中文简体版由英国牛津大学出版社授权
附註英文并列题名取自版权页
附註有书目和索引
附註
本书讲述的是我们的现代计算机背后的那些基本槪念和发展出这些槪
念的人。包括莱布尼茨之梦、布尔把逻辑变成代数、硏制第一批通用
计算机等共九章内容。
主题电子计算机 Dian Zi Ji Suan Ji 普及读物
其它作者张卜天 Zhang Pu Tian 译
其它题名 Engines of logic eng.
国际标准號码 7-5357-4239-4 CNY20.00.
館藏 261020 1497971-73 TP3-49 4.
1 > 中文科技书库 TP3-49 /4 在架上
2 > 中文科技书库 TP3-49 /4 在架上
3 > 西区科技书库 TP3-49 /4 在架上

绗�潯璁板綍, 鍏�鏉�
館藏地交大图书馆总馆 & 公共管理学院资料室
作者薛毅 xue yi 编著
题名运筹学与实验 yun chou xue yu shi yan / 薛毅, 耿美英编著
出版发行北京 : 电子工业出版社, 2008.
载体形态 585页 : 图 ; 26cm.
附註有书目
主题运筹学 yun chou xue.
国际标准號码 978-7-121-07383-0 CNY48.00.
館藏 261020 1687217-21 O22 597.
1 > 中文科技图书阅览室 O22 /597 在架上
2 > 中文科技书库 O22 /597 在架上
3 > 中文科技书库 O22 /597 在架上
4 > 中文科技书库 O22 /597 在架上
5 > 公共管理学院资料室 O22 /PG1 编目中

绗�潯璁板綍, 鍏�鏉�
館藏地交大图书馆总馆
作者刘顺忠 liu shun zhong 编著
题名非参数统计和SPSS软件应用 fei can shu tong ji he spss
ruan jian ying yong / 刘顺忠, 荣丽敏, 景丽芳编著
出版发行武汉 : 武汉大学出版社, 2008.
载体形态 245页 : 图 ; 24cm.
丛编数学软件应用系列敎材 shu xue ruan jian ying
yong xi lie jiao cai.
丛编 2001 数学软件应用系列敎材
附註有书目 (第244-245页)
主题非参数统计 fei can shu tong ji -- 高等学校敎材
主题统计分析 tong ji fen xi -- 应用软件 -- 高等学校敎材
国际标准號码 978-7-307-06213-9 CNY25.00.
館藏 261020 1664549-53 O212.7 507.
1 > 中文科技图书阅览室 O212.7 /507 在架上
2 > 中文科技书库 O212.7 /507 到期 12-09-05
3 > 中文科技书库 O212.7 /507 到期 12-07-09
4 > 中文科技书库 O212.7 /507 在架上

绗�潯璁板綍, 鍏�鏉�
館藏地交大图书馆总馆
作者谭文 tan wen 著
题名天书夜读 tian shu ye du : 从汇编语言到Windows内核编程 /
谭文, 邵坚磊著
出版发行北京 : 电子工业出版社, 2008.
载体形态 269页 : 图 ; 24cm.
丛编驱网核心技术丛书 qu wang he xin ji shu cong shu.
丛编 2001 驱网核心技术丛书
附註有书目
附註
本书从基本的Windows程序与汇编指令出发，深入浅出地讲解
了Windows内核的编程、调试、阅读，以及自行探索的方法。读者在使用
C/C++
开发Windows程序的基础上，将熟练掌握汇编和C语言的应用，深入了解
Windows底层，并掌握阅读Windows内核的基本方法，以及Windows内核
的基本编程方法。
主题汇编语言 hui bian yu yan -- 程序设计
主题窗口软件 chuang kou ruan jian -- 程序设计
主题 Windows.
其它题名从汇编语言到Windows内核编程 cong hui bian yu
yan daowindows nei he bian cheng.
国际标准號码 978-7-121-07339-7 CNY45.00.
1 > 中文科技图书阅览室 TP316.7 /184 在架上
2 > 中文科技书库 TP316.7 /184 在架上
3 > 中文科技书库 TP316.7 /184 在架上
4 > 中文科技书库 TP316.7 /184 在架上

绗�潯璁板綍, 鍏�鏉�
館藏地交大图书馆总馆
作者夏皮罗 xia pi luo (Shapiro, Stewart) 著
题名数学哲学 shu xue zhe xue : 对数学的思考 = Thinking
about mathematics / (美) 斯图尔特夏皮罗著; 郝兆宽, 杨睿之译
eng.
题名 Thinking about mathematics: the philosophy of
mathematics chi.
出版发行上海 : 复旦大学出版社, 2009.
载体形态 318页 : 图 ; 22cm.
丛编西方数学文化理论传播译丛 xi fang shu xue wen hua li lun
chuan bo yi cong / 丛书主编汪宇
丛编 2001 西方数学文化理论传播译丛
附註本书经牛津大学出版社授权在中国内地出版和销售中文版
附註有书目 (第282-299页)和索引
主题数学哲学 shu xue zhe xue -- 硏究
其它作者郝兆宽 hao zhao kuan 译
其它作者杨睿之 yang rui zhi 译
国际标准號码 978-7-309-06460-5 CNY26.00.
館藏 261020 1726229-31 O1-0 551.
1 > 中文科技图书阅览室 O1-0 /551 在架上
2 > 中文科技书库 O1-0 /551 到期 12-07-09
3 > 中文科技书库 O1-0 /551 到期 12-06-22

绗�潯璁板綍, 鍏�鏉�
館藏地交大图书馆总馆
作者弗莱格 fu lai ge (Pfleeger, Charles P.), 1948- 著
题名信息安全原理与应用 xin xi an quan yuan li yu ying
yong = Security in computing / (美) Charles P. Pfleeger, Shari
Lawrence Pfleeger著; 李毅超, 蔡洪斌, 谭浩等译 eng.
题名 Security in computing Chinese.
出版发行北京 : 电子工业出版社, 2007.
载体形态 599页 : 图 ; 26cm.
丛编国外计算机科学敎材系列 guo wai ji suan ji ke xue jiao
cai xi lie.
丛编 2001 国外计算机科学敎材系列
附註由电子工业出版社和Pearson
Education培生敎育出版亚洲有限公司合作出版
附註据Pearson Education, Inc.2007年英文版第4版译出
附註责任者CIP数据汉译姓：弗莱格
附註有书目 (第570-599页)
主题信息系统 xin xi xi tong -- 安全技术敎材
其它作者李毅超 li yi chao 译
其它作者蔡洪斌 cai hong bin 译
其它作者谭浩 tan hao 译
国际标准號码 978-7-121-05240-8 CNY59.00.
館藏 261020 1636737-41 TP309 113-1.
1 > 中文科技图书阅览室 TP309 /113-1 在架上
2 > 中文科技书库 TP309 /113-1 在架上
3 > 中文科技书库 TP309 /113-1 在架上
4 > 中文科技书库 TP309 /113-1 在架上

绗�潯璁板綍, 鍏�鏉�
館藏地交大图书馆总馆
作者毕晓普, bi xiao pu M. (Bishop, Matt) 著
题名计算机安全学导论 ji suan ji an quan xue dao lun =
Introduction to computer security / (美) Matt Bishop著; 王立斌,
黄征等译 eng.
出版发行北京 : 电子工业出版社, 2005.
载体形态 19, 476页 : 图 ; 26cm.
丛编国外计算机科学敎材系列 guo wai ji suan ji ke xue jiao
cai xi lie.
丛编 2001 国外计算机科学敎材系列
附註据原书2005年英文版译出
附註由电子工业出版社和Pearson
Education培生敎育出版亚洲有限公司合作出版
附註责任者规范汉译姓: 毕晓普
附註有书目 (第434-476页)
主题电子计算机 dian zi ji suan ji -- 安全技术敎材
其它作者王立斌 wang li bin 译
其它作者黄征 huang zheng 译
其它题名 Introduction to computer security eng.
国际标准號码 7-121-01851-9 CNY48.00.
館藏 261020 1446614-18 TP309 115.
1 > 中文科技图书阅览室 TP309 /115 在架上
2 > 中文科技书库 TP309 /115 在架上
3 > 中文科技书库 TP309 /115 到期 12-09-05
4 > 中文科技书库 TP309 /115 在架上

绗�潯璁板綍, 鍏�鏉�
館藏地交大图书馆总馆
作者德博特 de bo te (DeBolt, Virginia) 著
题名 HTML和CSS从入门到精通 HTML he CSS cong ru men dao jing
tong = Mastering integrated HTML and CSS / (美) Virginia
DeBolt著; 王昕, 王小芹, 孔亮译 eng.
题名 Mastering integrated HTML and CSS Chinese.
出版发行北京 : 电子工业出版社, 2008.
载体形态 xix, 497页 : 图 ; 26cm.
附註
由美国Wiley公司授权中国电子工业出版社及北京美迪亚电子信息有限
公司出版本书实际出版日期为2007年
附註据Wiley Publishing, Inc.2007年英文版译出
附註责任者汉译姓取自在版编目: 德博特
附註有书目
主题超文本标记语言 chao wen ben biao ji yu yan -- 程序设计
主题网页制作工具 wang ye zhi zuo gong ju -- CSS.
其它作者王昕 wang xin 译
其它作者王小芹 wang xiao qin 译
其它作者孔亮 kong liang 译
国际标准號码 978-7-121-05080-0 CNY55.00.
館藏 261020 1674345-49 TP312HT 36.
1 > 中文科技图书阅览室 TP312HT /36 在架上
2 > 中文科技书库 TP312HT /36 到期 12-09-05
3 > 中文科技书库 TP312HT /36 到期 12-09-05
4 > 中文科技书库 TP312HT /36 在架上

绗�潯璁板綍, 鍏�鏉�
館藏地交大图书馆总馆
作者陈仲才 Chen Zhongcai (Chun, Wesley J.) 著 CAL
n2004506950#
题名 Python核心编程 Python he xin bian cheng / (美) Wesley
J. Chun著; 宋吉广译
题名 Core Python programming Chinese.
出版发行北京 : 人民邮电出版社, 2008.
载体形态 654页 : 图 ; 26cm.
附註据原书第2版译出
附註 CIP题责任者汉译姓: 丘恩
附註
全书分为两个部分：第1部分占据了大约三分之二的篇幅，阐释
Python核心编程语言的「核心」内容，包括基本的槪念和语句、语法
和风格、Python对象、数字类型、序列类型、映射和集合类型、条件
和循环、文件和输入/
输出、错误和异常、函数和函数式编程、模块、面向对象编程、执行
环境等内容：第2部分则提供了各种高级主题来展示可以使用Python做
些什么，包括正则表达式、网络编程、网络客戶端编程、多线程编程
、图形用戶界面编程、Web编程、数据库编程、扩展Python和一些其他
材料。
主题面向对象语言 mian xiang dui xiang yu yan -- 程序设计
主题软件工具 ruan jian gong ju -- 程序设计
其它作者宋吉广 song ji guang 译
国际标准號码 978-7-115-17850-3 CNY89.00.
館藏 261020 1738724-28 TP312PY 10.
1 > 中文科技图书阅览室 TP312PY /10 在架上
2 > 中文科技书库 TP312PY /10 在架上
3 > 中文科技书库 TP312PY /10 到期 12-09-05
4 > 中文科技书库 TP312PY /10 到期 12-07-09
5 > 中文科技书库 TP312PY /10 到期 12-09-05

绗�潯璁板綍, 鍏�鏉�
館藏地交大图书馆总馆
作者尼采 Nicai (Nietzsche, Fredrich Willhelm), 1844-1900 著
题名论道德的谱系善恶之彼岸 lun dao de de pu xi shan e
zhi bi an = Yenseits vom gutund bose Zur genealogie der moral /
(德) 尼采著; 谢地坤, 宋祖良, 程志民译 ger.
题名 Yenseits vom gutund bose Zur genealogie der moral
Chinese.
版本第2版
出版发行桂林 : 漓江出版社, 2007.
载体形态 308页, [4] 页图版 : 肖像 ; 24cm.
丛编尼采文集 ni cai wen ji.
丛编 2001 尼采文集
主题唯意志论 wei yi zhi lun.
其它作者谢地坤 xie di kun 译
其它作者宋祖良, song zu liang , 1946-1995 译
其它作者程志民, 1945- 译
国际标准號码 978-7-5407-2508-2 CNY22.80.
館藏 261020 1565725-27 B516.47 39(2007)/C.1.
1 > 中文社科图书阅览室 B516.47 /39(2007) /C.1 在架上
2 > 社科文艺书库 B516.47 /39(2007) /C.1 到期 12-07-13
3 > 西区社科书库 B516.47 /39(2007) /C.1 到期 12-06-25

绗�潯璁板綍, 鍏�鏉�
館藏地交大图书馆总馆
作者尼采, ni cai F. W. (Nietzsche, Fredrich Willhelm),
1844-1900 著
题名查拉斯图拉如是说 cha la si tu la ru shi shuo / (德)
尼采著; 楚图南译
出版发行贵阳 : 贵州人民出版社, 2004.
载体形态 351页 : 彩图 ; 23cm 光盘1片
附註彩色插图本
附註英文并列题名取自书内
主题超人哲学 chao ren zhe xue -- 德国 -- 近代
其它作者楚图南 chu tu nan 译
其它题名 Also sprach Zarathustra eng.
国际标准號码 7-221-06455-5 CNY49.80 (含光盘)
館藏 261020 1346838-40/DH25779-81 B516.47 2-2.
1 > 中文社科图书阅览室 B516.47 /2-2 在架上
2 > 社科文艺书库 B516.47 /2-2 到期 12-09-05
3 > 西区社科书库 B516.47 /2-2 在架上
4 > 科技资料阅览室(东侧) B516.47 /2-2 /CD-ROM 在架上
5 > 科技资料阅览室(东侧) B516.47 /2-2 /CD-ROM 在架上
6 > 西区论文资料阅览室 B516.47 /2-2 /CD-ROM 在架上
闅忎功鍏夌洏 ftp://202.117.24.209/pub/200409/DH25779

绗�潯璁板綍, 鍏�鏉�
館藏地交大图书馆总馆
作者叔本华 Shu Ben Hua (Schopenhauer, Arthur), 1788-1860 著
题名爱与生的苦恼 Ai Yu Sheng De Ku Nao / (德) 叔本华著;
金铃译
题名 Worried about love and life Chinese.
出版发行北京 : 光明日报出版社, 2006.
载体形态 226页 ; 20cm.
丛编西凤译丛 Xi Feng Yi Cong.
丛编 2001 西凤译丛
附註封面页丛编名: 西风译丛
附註并列题名取自封面
主题哲学思想 Zhe Xue Si Xiang -- 德国 -- 近代
其它作者金铃 Jin Ling 译
国际标准號码 7-80206-275-6 CNY16.00.
館藏 261020 1485608-11 B516.41 17.
1 > 中文社科图书阅览室 B516.41 /17 在架上
2 > 社科文艺书库 B516.41 /17 到期 12-09-05
3 > 社科文艺书库 B516.41 /17 在架上
4 > 西区社科书库 B516.41 /17 到期 12-06-25

绗�潯璁板綍, 鍏�鏉�
館藏地交大图书馆总馆
作者福雷斯特 Fu Lei Si Te (Forester, Tom) 著
题名计算机伦理学 Ji Suan Ji Lun Li Xue :
计算机学中的警示与伦理困境 = Computer ethics : cautionary tales
and ethical dilemmas in computing / (澳) 汤姆福雷斯特,
佩里莫里森著; 陆成译 eng.
题名 Computer ethics : cautionary tales and ethical dilemmas
in computing Chinese.
出版发行北京 : 北京大学出版社, 2006.
载体形态 284页 : 图 ; 23cm.
丛编同文馆北京大学应用伦理学丛书 Tong Wen Guan bei Jing
Da Xue Ying Yong Lun Li Xue Cong Shu.
丛编 2001 同文馆北京大学应用伦理学丛书
附註据原书1994年版译出
附註有书目 (第284页)
主题计算机科学 Ji Suan Ji Ke Xue -- 伦理学
其它作者陆成 Lu Cheng 译
其它题名计算机学中的警示与伦理困境 Ji Suan Ji Xue
Zhong De Jing Shi Yu Lun Li Kun Jing.
国际标准號码 7-301-11312-9 CNY29.00.
館藏 261020 1554221-25 B82-057 16.
1 > 中文社科图书阅览室 B82-057 /16 在架上
2 > 社科文艺书库 B82-057 /16 在架上
3 > 社科文艺书库 B82-057 /16 在架上
4 > 西区社科书库 B82-057 /16 在架上
5 > 西区社科书库 B82-057 /16 在架上

绗�潯璁板綍, 鍏�鏉�
館藏地交大图书馆总馆
作者邹阿金, zou a jin 1963- 著
题名基函数神经网络及应用 ji han shu shen jing wang luo ji
ying yong / 邹阿金, 张雨浓著
出版发行广州 : 中山大学出版社, 2009.
载体形态 190页, [1] 叶图版 : 图, 肖像 ; 24cm.
丛编中山大学学术丛书 zhong shan da xue xue shu cong shu.
丛编 2001 中山大学学术丛书
附註有书目
附註本书基于神经生物学和函数逼近论的相关知识,
从神经元的激励函数、神经网络的拓扑结构、学习规则和硬件实现四
个方面提出与探讨基函数前向神经网络的建模激励和各种应用。
主题神经网络 shen jing wang luo -- 硏究
国际标准號码 978-7-306-03275-1 CNY28.00.
館藏 261020 1747124-28 TP183 95.
1 > 中文科技图书阅览室 TP183 /95 在架上
2 > 中文科技书库 TP183 /95 到期 12-10-08
3 > 中文科技书库 TP183 /95 在架上
4 > 中文科技书库 TP183 /95 在架上
5 > 中文科技书库 TP183 /95 在架上

绗�潯璁板綍, 鍏�鏉�
館藏地交大图书馆总馆
作者史忠植 Shi Zhong Zhi 编著
题名神经网络 Shen Jing Wang Luo = Neural networks /
史忠植编著 eng.
出版发行北京 : 高等敎育业出版社, 2009.
载体形态 330页 : 图 ; 26cm.
丛编智能科学与技术 Zhi Neng Ke Xue Yu Ji Shu.
丛编 2001 智能科学与技术
附註有书目 (第298-330页)
主题人工神经元网络 Ren Gong Shen Jing Yuan Wang Luo.
其它题名 Neural networks eng.
国际标准號码 978-7-04-026544-6 CNY37.00.
館藏 261020 1744317-21 TP183 94.
1 > 中文科技图书阅览室 TP183 /94 在架上
2 > 中文科技书库 TP183 /94 到期 12-07-02
3 > 中文科技书库 TP183 /94 到期 12-09-05
4 > 中文科技书库 TP183 /94 到期 12-09-05
5 > 中文科技书库 TP183 /94 在架上

绗�潯璁板綍, 鍏�鏉�
館藏地交大图书馆总馆
作者斯蒂芬斯 Si Di Fen Si (Stephens, Ryan) 编著
题名 SQL入门经典 Sql Ru Men Jing Dian / (美) Ryan Stephens,
Ron Plew, Arie D.Jones著; 井中月译
出版发行北京 : 人民邮电出版社, 2009.
载体形态 327页 : 图 ; 26cm.
附註译自原书第4版
附註
本书中文简体字版由美国Sams出版公司授权人民邮电出版社出版
附註责任者Stephens规范汉译姓:
斯蒂芬斯；责任者Plew规范汉译姓: 普罗；责任者Jones规范汉译姓:
琼斯
附註本书的作者都是数据库敎学与应用的专家,
有着丰富的经验。本书详细介绍了SQL语言的基本语法、基本槪念,
说明了各种SQL实现与ANSI标准之间的差别。书中包含了大量的范例,
直观地说明了如何使用SQL对数据进行处理。每章后面还有针对性很強
的测验与练习,
能够帮助读者更好地理解和掌握学习的内容。在最后的附录里还有关
于安装MySQL的详细介绍、书中用到的关键SQL语句、测验和练习的答
案。
附註本书的内容层次清晰, 针对性強,
非常适合初学者作为入门敎材
主题关系数据库 Guan Xi Shu Ju Ku -- 数据库管理系统
其它作者井中月 Jing Zhong Yue 译
国际标准號码 978-7-115-20430-1 CNY39.00.
館藏 261020 1735699-703 TP311.138SQ 376.
1 > 中文科技图书阅览室 TP311.138SQ /376 在架上
2 > 中文科技书库 TP311.138SQ /376 在架上
3 > 中文科技书库 TP311.138SQ /376 在架上
4 > 中文科技书库 TP311.138SQ /376 在架上
5 > 中文科技书库 TP311.138SQ /376 在架上

绗�潯璁板綍, 鍏�鏉�
館藏地交大图书馆总馆
作者郑阿奇 zheng a qi 主编
题名 SQL Server应用教程 sql server ying yong jiao cheng =
SQL server application course / 郑阿奇, 刘启芬, 顾韵华主编
出版发行北京 : 人民邮电出版社, 2008.
载体形态 351页 : 图 ; 26cm.
附註 21世纪高等学校计算机规划教材
主题关系数据库 Guan Xi Shu Ju Ku -- 数据库管理系统 --
高等学校教材
主题 SQL Server.
其它题名 SQL server application course eng.
国际标准號码 978-7-115-18824-3 CNY38.00.
館藏 261020 1695033-37 TP311.138SQ 358.
1 > 中文科技图书阅览室 TP311.138SQ /358 在架上
2 > 中文科技书库 TP311.138SQ /358 在架上
3 > 中文科技书库 TP311.138SQ /358 在架上
4 > 中文科技书库 TP311.138SQ /358 在架上

绗�潯璁板綍, 鍏�鏉�
館藏地交大图书馆总馆
作者普拉特 pu la te (Platt, David S.) 著
题名大师品软件 da shi pin ruan jian :
软件之痛与应对之道 / (美) David S. Platt著; 杨明军译
题名 Why software sucks ... and what you can do about it
Chinese.
出版发行北京 : 清华大学出版社, 2007.
载体形态 234页 : 图 ; 23cm.
附註据2006年英文版译出
附註本书共9章,主要内容包括:谁是儍瓜,在Web中纠缠,安全问题,
您到底是谁,您看到的是谁,万名奇客痴迷Jolt可乐,
这些疯狂的家伙到底是谁,微软:不能依靠却又离不开,行动起来
主题软件质量 ruan jian zhi liang -- 质量管理
其它作者杨明军 yang ming jun 译
其它题名软件之痛与应对之道 ruan jian zhi tong yu ying
dui zhi dao.
国际标准號码 978-7-302-16216-2 CNY29.80.
館藏 261020 1676208-12 TP311.5 301.
1 > 中文科技图书阅览室 TP311.5 /301 在架上
2 > 中文科技书库 TP311.5 /301 在架上
3 > 中文科技书库 TP311.5 /301 在架上
4 > 中文科技书库 TP311.5 /301 在架上

绗�潯璁板綍, 鍏�鏉�
館藏地交大图书馆总馆
作者格里菲思 (Griffiths, Patrick) 著
题名 HTML之路 Html Zhi Lu : XHTML & CSS最佳实践指南 = HTML
dog : the best-practice guide to XHTML & CSS / (美) Patrick
Griffiths; 雷钧钧, 常可等译 eng.
题名 HTML dog:the best-practice guide to XHTML & CSS Chinese.
出版发行北京 : 机械工业出版社, 2008.
载体形态 208页 : 图 ; 24cm.
丛编 Web开发系列丛书 Web Kai Fa Xi Lie Cong Shu.
丛编 2001 Web开发系列丛书
附註本书中文简体字版由美国Pearson
Education培生敎育出版集团授权机械工业出版社独家出版。
附註责任者Griffiths规范汉译姓: 格里菲思
主题超文本标记语言, XHTML Chao Wen Ben Biao Ji Yu Yan ,
Xhtml -- 程序设计
其它作者雷钧钧 Lei Jun Jun 译
其它作者常可 Chang Ke 译
其它题名 XHTML & CSS最佳实践指南 Xhtml & Css Zui Jia
Shi Jian Zhi Nan.
国际标准號码 978-7-111-23560-6 CNY32.00.
館藏 261020 1649986-90 TP312HT 35.
1 > 中文科技图书阅览室 TP312HT /35 在架上
2 > 中文科技书库 TP312HT /35 在架上
3 > 中文科技书库 TP312HT /35 在架上
4 > 中文科技书库 TP312HT /35 在架上

绗�潯璁板綍, 鍏�鏉�
館藏地交大图书馆总馆
作者东方早报·上海书评编辑部 dong fang zao bao·shang hai
shu ping bian ji bu 编
题名书评的解剖 shu ping de jie pou /
《东方早报·上海书评》编辑部编
出版发行上海 : 上海书店出版社, 2009.
载体形态 255页 : 图, 肖像, 摹真 ; 21cm.
丛编上海书评 dong fang zao bao shang hai shu ping; 第4辑
丛编 2001 上海书评第4辑
附註
本书包括了当期报纸的所有访谈、特稿、书评、随笔、笔记等内容,
主要包括访谈&口述、特稿&书评、笔记&随笔等。
主题社会科学 she hui ke xue 文集
国际标准號码 978-7-5458-0055-5 CNY20.00.
館藏 261020 1747832-84 C53 286/C.4.
1 > 中文社科图书阅览室 C53 /286 /C.4 在架上
2 > 社科文艺书库 C53 /286 /C.4 在架上
3 > 西区社科书库 C53 /286 /C.4 在架上

绗�潯璁板綍, 鍏�鏉�
館藏地交大图书馆总馆
作者妹尾河童, mei wei he tong 1930- 著
题名河童杂记本 he tong za ji ben / (日) 妹尾河童著;
陶振孝译
题名 Kappa no tenouchi makunouchi Chinese.
出版发行北京 : 生活.读书.新知三联书店, 2006.
载体形态 239页 : 图 ; 21cm.
丛编妹尾河童作品 mei wei he tong zuo pin.
丛编 2001 妹尾河童作品
附註题名原文为罗马化日文
主题随笔 sui bi -- 日本 -- 现代作品集
其它作者陶振孝 tao zhen xiao 译
国际标准號码 7-108-02575-2 CNY17.00.
館藏 261020 1511173-75 I313.6 26.
1 > 社科文艺书库 I313.6 /26 在架上
2 > 社科文艺书库 I313.6 /26 在架上
3 > 西区社科书库 I313.6 /26 在架上

绗�潯璁板綍, 鍏�鏉�
館藏地交大图书馆总馆
作者罗伯茨, luo bo ci M. J. (Roberts, Michael J.) 著
题名信号与系统 xin hao yu xi tong = Signals and
systems / (美) Michael J. Roberts著; 胡剑凌等译 eng.
出版发行北京 : 机械工业出版社, 2006.
载体形态 585页 : 图 ; 26cm.
丛编电子与电气工程丛书 dian zi yu dian qi gong cheng cong
shu.
丛编 2001 电子与电气工程丛书
附註据The McGraw-Hill Companies, Inc. 2004年英文版译出
附註由机械工业出版社和美国麦格劳-
希尔敎育(亚洲)出版公司合作出版
附註责任者规范汉译姓: 罗伯茨
附註有书目 (第584-585页)
主题信号系统 xin hao xi tong.
其它作者胡剑凌 hu jian ling 译
其它题名 Signals and systems : analysis using
transform methods and MATLAB eng.
国际标准號码 7-111-17110-1 CNY65.00.
館藏 261020 1442891-95 TN911.6 89.
1 > 中文科技图书阅览室 TN911.6 /89 在架上
2 > 中文科技书库 TN911.6 /89 在架上
3 > 中文科技书库 TN911.6 /89 CLMS RETD
4 > 中文科技书库 TN911.6 /89 在架上

绗�潯璁板綍, 鍏�鏉�
館藏地交大图书馆总馆
作者楚天科技 chu tian ke ji 编著
题名 MATLAB R2008 科学计算实例教程 matlab r2008 ke xue ji
suan shi li jiao cheng / 楚天科技编著
出版发行北京 : 化学工业出版社, 2009.
载体形态 401页 : 图 ; 26cm.
丛编 MATLAB应用丛书 matlab ying yong cong shu.
丛编 2001 MATLAB应用丛书
附註本书主要包括MATLAB
R2008，MATLAB数值计算基础，科学计算可视化，矩阵及相关运算，符
号运算，普通方程和微分方程，概率与数理统计等内容。
主题计算机辅助计算 ji suan ji fu zhu ji suan -- 软件包,
Matlab R2008 教材
国际标准號码 978-7-122-05304-6 CNY48.00.
館藏 261020 1772170-74 TP311.56 1030/C.4.
1 > 中文科技图书阅览室 TP311.56 /1030 /C.4 在架上
2 > 中文科技书库 TP311.56 /1030 /C.4 在架上
3 > 中文科技书库 TP311.56 /1030 /C.4 到期 12-05-21BILLE
4 > 中文科技书库 TP311.56 /1030 /C.4 到期 12-09-05
5 > 中文科技书库 TP311.56 /1030 /C.4 到期 12-07-09

绗�潯璁板綍, 鍏�鏉�
館藏地交大图书馆总馆
作者福特 Fu Te (Ford, Neal) 著
题名卓有成效的程序员 S Zhuo You Cheng Xiao De Cheng Xu Yuan
= The productive programmer / Neal Ford著;
ThoughtWorks中国公司译 eng.
题名 Productive programmer Chinese.
出版发行北京 : 机械工业出版社, 2009.
载体形态 215页 : 图 ; 24cm.
丛编 O'Reilly精品图书系列 O'reilly Jing Pin Tu Shu Xi Lie.
丛编 2001 O'Reilly精品图书系列
附註有书目
主题程序设计 Cheng Xu She Ji.
其它作者 ThoughtWorks中国公司 Thoughtworks Zhong Guo
Gong Si 译
国际标准號码 978-7-111-26406-4 CNY45.00.
館藏 261020 1737243-47 TP311.1 95.
1 > 中文科技图书阅览室 TP311.1 /95 在架上
2 > 中文科技书库 TP311.1 /95 在架上
3 > 中文科技书库 TP311.1 /95 在架上
4 > 中文科技书库 TP311.1 /95 在架上
5 > 中文科技书库 TP311.1 /95 在架上

绗�潯璁板綍, 鍏�鏉�
館藏地交大图书馆总馆
作者张德丰 zhang de feng 编著
题名 MATLAB神经网络仿真与应用 matlab shen jing wang luo fang
zhen yu ying yong / 张德丰编著
出版发行北京 : 电子工业出版社, 2009.
载体形态 XI, 338页 : 图 ; 26cm.
丛编 MATLAB仿真与应用系列丛书 matlab fang zhen yu ying yong
xi lie cong shu.
丛编 2001 MATLAB仿真与应用系列丛书
附註有书目 (第337-338页)
附註
本书共分10章。主要内容包括人工神经网络的分类、MATLAB神经网络
工具箱的对象与属性、BSB模型及其应用、图形用户接口、Simulink仿
真、自定义神经网络、神经网络在工程中的应用等内容
主题算法语言 suan fa yu yan -- 应用 -- 神经网络 --
计算机仿真 -- 应用软件
主题 MATLAB matlab.
国际标准號码 978-7-121-08923-7 CNY39.00.
館藏 261020 1779188-92 TP183 100.
1 > 中文科技图书阅览室 TP183 /100 在架上
2 > 中文科技书库 TP183 /100 到期 12-09-05
3 > 中文科技书库 TP183 /100 到期 12-09-05
4 > 中文科技书库 TP183 /100 到期 12-09-05
5 > 中文科技书库 TP183 /100 到期 12-09-05

绗�潯璁板綍, 鍏�鏉�
館藏地交大图书馆总馆
作者格鲁内, ge lu nei D. (Grune, Dick) 著
题名现代编译程序设计 xian dai bian yi cheng xu she ji /
Dick Grune ... [等] 著; 冯博琴, 傅向华等译
出版发行北京 : 人民邮电出版社, 2003.
载体形态 548页 : 图 ; 26cm.
丛编国外著名高等院校信息科学与技术优秀教材 guo wai zhu ming
gao deng yuan xiao xin xi ke xue yu ji shu you xiu jiao cai.
丛编 2001 国外著名高等院校信息科学与技术优秀教材
附註其他著者：Henri E. Bal, Ceriel J. H. Jacobs, Koen G.
Langendoen.
附註据John Wiley & Sons公司2000年英文版译出
附註由John Wiley & Sons公司授权人民邮电出版社出版
附註并列英文题名取自版权页
附註
责任者Grune规范汉译姓：格鲁内；责任者Bal规范汉译姓：巴尔；责
任者Jacobs规范汉译姓：雅各布斯
附註有书目 (第519-526页)
主题编译程序 bian yi cheng xu -- 程序设计 -- 高等学校教材
其它作者冯博琴 feng bo qin 译
其它作者傅向华 fu xiang hua 译
其它题名 Modern compiler design eng.
国际标准號码 7-115-11149-9 CNY58.00.
館藏 261020 1274775-79 TP314 35.
1 > 中文科技图书阅览室 TP314 /35 在架上
2 > 中文科技书库 TP314 /35 在架上
3 > 中文科技书库 TP314 /35 在架上
4 > 中文科技书库 TP314 /35 在架上

绗�潯璁板綍, 鍏�鏉�
館藏地交大图书馆总馆
作者 Tracton, Ken.
题名 Programmer's guide to LISP / by Ken Tracton.
版本 1st ed.
出版发行 Blue Ridge Summit, PA. : Tab Books, c1980.
载体形态 210 p. : ill. ; 22 cm.
附註 Includes index.
主题 LISP (Computer program language)
国际标准號码 0830697616 : $9.95.
国际标准號码 0830610456 (pbk.) : $5.95.
館藏 261020 X099617-19.
1 > 外文书库 T847.1 /T759p 在架上
2 > 外文书库 T847.1 /T759p 在架上

绗�潯璁板綍, 鍏�鏉�
館藏地交大图书馆总馆
作者迪安, di an T. (Dean, Thomas) 著
题名人工智能 ren gong zhi neng : 理论与实践 = Artificial
intelligence : theory and practice / (美) Thomas Dean, James
Allen, Yiannis Aloimonos著; 顾国昌 ... 等译 eng.
出版发行北京 : 电子工业出版社, 2004.
载体形态 12, 390页 : 图 ; 26cm.
丛编国外计算机科学教材系列 guo wai ji suan ji ke xue jiao
cai xi lie.
丛编 2001 国外计算机科学教材系列
附註据原书1995年英文版译出
附註由电子工业出版社和Pearson
Education培生教育出版亚洲有限公司合作出版
附註责任者 (Dean) 规范汉译姓: 迪安
附註责任者 (Allen) 规范汉译姓: 艾伦
附註编目员自译责任者 (Aloimonos) 汉译姓: 阿洛伊蒙诺什
附註有书目 (第379-390页)
主题人工智能 ren gong zhi neng 教材
其它作者顾国昌 gu guo chang 译
其它题名 Artificial intelligence : theory and
practice eng.
国际标准號码 7-120-00049-7 CNY39.00.
館藏 261020 1357847-51 TP18 81.
1 > 中文科技图书阅览室 TP18 /81 在架上
2 > 中文科技书库 TP18 /81 在架上
3 > 中文科技书库 TP18 /81 在架上
4 > 中文科技书库 TP18 /81 在架上

绗�潯璁板綍, 鍏�鏉�
館藏地交大图书馆总馆
作者普法伊费尔 pu fa yi fei er (Pfeifer, Rolf), 1947- 著
题名身体的智能 shen ti de zhi neng = Body intelligence :
智能科学新视角 / (瑞士) Rolf Pfeifer, (加拿大) Josh
Bongard著; 俞文伟 ... [等] 译 eng.
出版发行北京 : 科学出版社, 2009.
载体形态 xvi, 286页 : 图 ; 24cm.
附註本书由费斯托 (中国) 有限公司资助出版
附註著者Pfeifer规范汉译姓: 普法伊费尔 ;
著者Bongard规范汉译姓: 邦加德
附註有书目 (第266-279页) 和索引
主题人工智能 ren gong zhi neng -- 研究
其它作者俞文伟 yu wen wei 译
其它题名 Body intelligence eng.
其它题名智能科学新视角 zhi neng ke xue xin shi jiao.
国际标准號码 978-7-03-025026-1 CNY58.00.
館藏 261020 1783806-10 TP18 155.
1 > 中文科技图书阅览室 TP18 /155 在架上
2 > 中文科技书库 TP18 /155 到期 12-07-12
3 > 中文科技书库 TP18 /155 在架上
4 > 中文科技书库 TP18 /155 在架上
5 > 中文科技书库 TP18 /155 在架上

绗�潯璁板綍, 鍏�鏉�
館藏地交大图书馆总馆
作者坦嫩鲍姆 Tan Nen Bao Mu (Tanenbaum, Andrew S.),
1944- 著
题名现代操作系统 xian dai cao zuo xi tong = Modern
Operation Systems / (荷) Andrew S. Tanenbaum著; 陈向群,
马洪兵等译 eng.
题名 Modern Operation Systems chinese.
出版发行北京 : 机械工业出版社, 2009.
载体形态 XIII, 582页 : 图 ; 26cm.
丛编计算机科学丛书 ji suan ji ke xue cong shu.
丛编 2001 计算机科学丛书
附註据原书第3版译出
附註有书目 (第563-582页)
主题操作系统 Cao Zuo Xi Tong.
其它作者陈向群 Chen Xiang Qun 译
其它作者马洪兵 Ma Hong Bing 译
国际标准號码 978-7-111-25544-4 CNY75.00.
館藏 261020 1780204-208 TP316 493.
1 > 中文科技图书阅览室 TP316 /493 在架上
2 > 中文科技书库 TP316 /493 到期 12-09-05
3 > 中文科技书库 TP316 /493 到期 12-07-09
4 > 中文科技书库 TP316 /493 到期 12-06-25
5 > 中文科技书库 TP316 /493 到期 12-09-05

绗�潯璁板綍, 鍏�鏉�
館藏地交大图书馆总馆
作者罗森堡 luo sen bao (Rosenberg, Scott) 著
题名梦断代码 meng duan dai ma = Dreaming in code / (美)
Scott Rosenberg著; 韩磊译 eng.
题名 Dreaming in code: two dozen programmers, three years, 4,
732 bugs, and one quest for transcendent software Chinese.
出版发行北京 : 电子工业出版社, 2008.
载体形态 336页 : 图, 肖像 ; 21cm.
附註博文视点
附註据美国Crown Publishers 2007年英文版译出
附註本书中文简体版专有出版权由Stuart Krichevsky Literary
Agency授权出版
附註责任者规范汉译姓: 罗森堡
附註
本书是讲一事，也是讲百千事；是写一软件，也是写百千软件；是写
一群人，也是写百千万人。书中试图借由Chandler的开发过程揭示软
件开发中的一些根本性大问题。
主题软件开发 ruan jian kai fa 通俗读物
其它作者韩磊 han lei 译
国际标准號码 978-7-121-06679-5 CNY49.00.
館藏 261020 1762353-55 TP311.52 225.
1 > 中文科技图书阅览室 TP311.52 /225 在架上
2 > 中文科技书库 TP311.52 /225 到期 12-09-05
3 > 中文科技书库 TP311.52 /225 到期 12-09-05

绗�潯璁板綍, 鍏�鏉�
館藏地交大图书馆总馆
作者齐默, qi mo R. E. (Ziemer, Rodger E.) 著
题名信号与系统 xin hao yu xi tong : 连续与离散 = Signals
and systems : continuous and discrete / (美) Rodger E. Ziemer,
William H. Tranter, D. Ronald Fannin著; 肖志涛等译 eng.
出版发行北京 : 电子工业出版社, 2005.
载体形态 541页 : 图 ; 26cm.
丛编国外电子与通信敎材系列 guo wai dian zi yu tong xin jiao
cai xi lie.
丛编 2001 国外电子与通信敎材系列
附註据1998年英文版译出
附註由电子工业出版社和Pearson
Education培生敎育出版亚洲有限公司合作出版
附註责任者Ziemer规范汉译姓: 齐默;
责任者Tranter曾有汉译姓: 特兰特; 责任者Fannin规范汉译姓: 范宁
主题信号系统 xin hao xi tong 敎材
其它作者肖志涛 xiao zhi tao 译
其它题名 Signals and systems : continuous and
discrete eng.
其它题名连续与离散 lian xu yu li san.
国际标准號码 7-121-00609-X CNY49.00.
館藏 261020 1462564-68 TN911.6 95.
1 > 中文科技图书阅览室 TN911.6 /95 在架上
2 > 中文科技书库 TN911.6 /95 在架上
3 > 中文科技书库 TN911.6 /95 在架上
4 > 中文科技书库 TN911.6 /95 在架上

绗�潯璁板綍, 鍏�鏉�
館藏地交大图书馆总馆
作者菲利普斯 fei li pu si (Phillips, Charles L.) 著
题名信号、系统和变换 xin hao xi tong he bian huan =
Signals, systems, and transforms / (美) Charles L. Phillips,
John M. Parr, Eve A. Riskin著; 陈从颜等译 eng.
出版发行北京 : 机械工业出版社, 2006.
载体形态 520页 : 图 ; 26cm.
丛编电子与电气工程丛书 dian zi yu dian qi gong cheng cong
shu.
丛编 2001 电子与电气工程丛书
附註据2003年英文版第3版译出
附註责任者 (Phillips)、(Parr)、(Riskin) 规范汉译姓:
菲利普斯, 帕尔, 里斯金
附註有书目
主题信号系统 xin hao xi tong -- 通信理论
其它作者陈从颜 chen cong yan 译
其它题名 Signals, systems, and transforms eng.
国际标准號码 7-111-17618-9 CNY68.00.
館藏 261020 1498063-67 TN911.6 103.
1 > 中文科技图书阅览室 TN911.6 /103 在架上
2 > 中文科技书库 TN911.6 /103 在架上
3 > 中文科技书库 TN911.6 /103 在架上
4 > 中文科技书库 TN911.6 /103 CLMS RETD

绗�鏉¤褰� 鍏�鏉�
館藏地交大图书馆总馆
作者郑志恒 zheng zhi heng 编著
题名大学四年要做的101件事 da xue si nian yao zuo de 101
jian shi / 郑志恒编著
出版发行武汉 : 武汉出版社, 2008.
载体形态 215页,[4]页图版 : 图 ; 23cm.
主题大学生 da xue sheng -- 学生生活
国际标准號码 978-7-5430-4061-8 CNY19.80.
館藏 261020 1763924-26 G645.5 103.
1 > 中文社科图书阅览室 G645.5 /103 在架上
2 > 社科文艺书库 G645.5 /103 到期 12-09-05
3 > 西区社科书库 G645.5 /103 在架上

绗�鏉¤褰� 鍏�鏉�
館藏地交大图书馆总馆
作者丁林松 ding lin song 编著
题名 Qt4图形设计与嵌入式开发 Qt4 tu xing she ji yu qian ru
shi kai fa / 丁林松, 黄丽琴编著
出版发行北京 : 人民邮电出版社, 2009.
载体形态 440页 : 图 ; 26cm.
主题图形软件 tu xing ruan jian -- 软件开发 -- 软件工具
国际标准號码 978-7-115-19656-9 CNY49.00.
館藏 261020 1745386-90 TP311.56 1016.
1 > 中文科技图书阅览室 TP311.56 /1016 在架上
2 > 中文科技书库 TP311.56 /1016 在架上
3 > 中文科技书库 TP311.56 /1016 到期 12-07-13
4 > 中文科技书库 TP311.56 /1016 在架上
5 > 中文科技书库 TP311.56 /1016 在架上

绗�鏉¤褰� 鍏�鏉�
館藏地交大图书馆总馆
作者弗雷泽, fu lei ze C. W. (Fraser, Christopher W.) 著
题名可变目标C编译器 ke bian mu biao c bian yi qi :
设计与实现 = A retargetable C compiler : design and
implementation / (美) Christopher W. Fraser, David R. Hanson著;
王挺, 黄春等译 eng.
出版发行北京 : 电子工业出版社, 2005.
载体形态 423页 : 图 ; 26cm.
丛编国外计算机科学敎材系列 guo wai ji suan ji ke xue jiao
cai xi lie.
丛编 2001 国外计算机科学敎材系列
附註据1995年英文版译出
附註由Pearson敎育集团所属的Addison-
Wesley授权电子工业出版社出版
附註责任者 (Fraser)、(Hanson) 规范汉译姓：弗雷泽, 汉森
附註有书目 (第419-423页)
主题 C语言 c yu yan -- 编译码器敎材
其它作者王挺 wang ting 译
其它作者黄春 huang chun 译
其它题名 A retargetable C compiler : design and
implementation eng.
国际标准號码 7-5053-9922-5 CNY43.00.
1 > 中文科技图书阅览室 TP312C /974 在架上
2 > 中文科技书库 TP312C /974 在架上
3 > 中文科技书库 TP312C /974 在架上
4 > 中文科技书库 TP312C /974 在架上

绗�鏉¤褰� 鍏�鏉�
館藏地交大图书馆总馆
作者库珀, ku po K. D. (Cooper, Keith D.) 著
题名编译器工程 bian yi qi gong cheng = Engineering a
compiler / (美) Keith D. Cooper, Linda Torczon著; 冯速译 eng.
出版发行北京 : 机械工业出版社, 2006.
载体形态 492页 : 图 ; 26cm.
丛编计算机科学丛书 ji suan ji ke xue cong shu.
丛编 2001 计算机科学丛书
附註据Elsevier Science(USA)公司2004年英文版译出
附註由美国Elsevier Science公司授权机械工业出版出版
附註责任者 (Cooper) 规范汉译姓: 库珀
附註责任者 (Torczon) 汉译姓取自在版编目: 特克森
附註有书目 (第405-423页) 和索引
主题编译器 bian yi qi.
其它作者冯速 feng su 译
其它题名 Engineering a compiler eng.
国际标准號码 7-111-17962-5 CNY68.00.
1 > 中文科技图书阅览室 TP314 /49 在架上
2 > 中文科技书库 TP314 /49 在架上
3 > 中文科技书库 TP314 /49 在架上
4 > 中文科技书库 TP314 /49 到期 12-09-05

绗�鏉¤褰� 鍏�鏉�
館藏地交大图书馆总馆
作者阿佩尔, a pei er (Appel, Andrew W.) 1960- 著
题名现代编译原理 xian dai bian yi yuan li : C语言描述 =
Modern compiler inplementation in C / (美) Andrew W. Appel,
Maia Ginsburg著; 赵克佳, 黄春, 沈志宇译 eng.
题名 Modern compiler implementation in C Chinese.
出版发行北京 : 人民邮电出版社, 2006.
载体形态 385页 : 图 ; 26cm.
丛编图灵计算机科学丛书 tu ling ji suan ji ke xue cong shu.
附註责任者Appel规范汉译姓: 阿佩尔;
责任者Ginsburg规范汉译姓: 金斯伯格
附註有书目 (第368-375页) 和索引
附註
本书全面讲述了现代编译器的各个组成部分，包括词法分析、语法分
析、抽象语法、语义检查、中间代码表示、数据流分析、寄存器分配
以及运行时系统等。书中还专门为学生提供了一个用语言编写的实
习项目，学生可以在一学期内创建一个功能完整的编译器。
主题编译程序 bian yi cheng xu -- 程序设计
主题 C语言 c yu yan -- 程序设计
其它作者赵克佳 zhao ke jia 译
其它作者黄春 Huang Chun 译
其它作者沈志宇 Shen Zhi Yu 译
其它题名 C语言描述 c yu yan miao shu.
国际标准號码 7-115-14552-0 CNY45.00.
館藏 261020 1585086-90 TP314 58.
1 > 中文科技图书阅览室 TP314 /58 在架上
2 > 中文科技书库 TP314 /58 在架上
3 > 中文科技书库 TP314 /58 在架上
4 > 中文科技书库 TP314 /58 在架上

绗�鏉¤褰� 鍏�鏉�
館藏地交大图书馆总馆
作者阿尔伯, a er bo S. S. (Alhir, Sinan Si) 著
题名 UML技术手册 UML ji shu shou ce = UML in a nutshell /
Sinan Si Alhir著; 常晓波译 eng.
出版发行北京 : 中国电力出版社, 2002.
载体形态 299页 : 图 ; 23cm.
丛编坚果系列 jian guo xi lie.
丛编 2001 坚果系列
附註责任者汉译姓取自在版编目数据
附註据1998年英文版译出
附註由O'Reilly & Associates, Inc.授权中国电力出版社出版出版
附註有书目 (第293-296页)
附註本书以一种清晰明了的参考形式对UML 及其扩展机制和OCL
进行介绍. 引言性章中还阐杩傲薝ML 的用途,
并说明了他对项目的价值和作为一种交流手段的价值
主题建立模型 jian li mo xing -- 面向对象语言,UML.
主题 UML语言 uml yu yan.
其它作者常晓波 chang xiao bo 译
其它题名 UML in a nutshell eng.
国际标准號码 7-5083-1082-9 CNY39.00.
館藏 261020 1232494-97 TP312UM 8.
1 > 中文科技图书阅览室 TP312UM /8 在架上
2 > 中文科技书库 TP312UM /8 在架上
3 > 西区保种库 TP312UM /8 在架上

绗�鏉¤褰� 鍏�鏉�
館藏地交大图书馆总馆
作者李欣 li xin 编著
题名 VHDL数字系统设计 vhdl shu zi xi tong she ji / 李欣,
张海燕编著
出版发行北京 : 科学出版社, 2009.
载体形态 244页 : 图 ; 26cm.
丛编优技丛书 You Ji Cong Shu.
丛编 2001 优技丛书
附註优秀技术实训教程
附註有书目 (第244页)
附註
全书包含5部分内容，第1章从数字集成电路和可编程逻辑器件的基本
知识入手，逐步介绍数字系统的设计工具和设计方法，以及与之相关
的知识产权核（IPCore）和优化设计等概念；第2章至第4章将硬件描
述语言VHDL作为设计手段，介绍基于VHDL的数字系统设计方法；第5章
通过一个具体实例展示了VHDL，描述的硬件实现过程；第6章展示了一
些典型数字单元电路的VHDL描述实例等。
主题硬件描述语言 Ying Jian Miao Shu Yu Yan -- 程序设计
主题 VHDL.
国际标准號码 978-7-03-025497-9 CNY26.00.
館藏 261020 1801189-193 TP312VH 41.
1 > 中文科技图书阅览室 TP312VH /41 在架上
2 > 中文科技书库 TP312VH /41 在架上
3 > 中文科技书库 TP312VH /41 到期 12-09-05
4 > 中文科技书库 TP312VH /41 在架上
5 > 中文科技书库 TP312VH /41 在架上

绗�鏉¤褰� 鍏�鏉�
館藏地交大图书馆总馆
作者阿培丁 a pei ding (Alpaydin, Ethem) 著
题名机器学习导论 ji qi xue xi dao lun = Introduction to
Machine Learning / (土耳其) Ethem Alpaydin著; 范明, 昝红英,
牛常勇译 eng.
题名 Introduction to Machine Learning Chinese.
出版发行北京 : 机械工业出版社, 2009.
载体形态 XIII, 272页 : 图 ; 26cm.
丛编计算机科学丛书 ji suan ji ke xue cong shu.
丛编 2001 计算机科学丛书
附註
本书中文简体字版由美国麻省理工学院授权机械工业出版社出版
附註责任者Alipaydin汉译姓: 阿培丁
附註有书目和索引
主题机器学习 ji qi xue xi.
其它作者范明 fan ming 译
其它作者昝红英 zan hong ying 译
其它作者牛常勇 niu chang yong 译
国际标准號码 978-7-111-26524-5 CNY39.00.
館藏 261020 1782599-603 TP181 22.
1 > 中文科技图书阅览室 TP181 /22 在架上
2 > 中文科技书库 TP181 /22 到期 12-09-05
3 > 中文科技书库 TP181 /22 到期 12-09-05
4 > 中文科技书库 TP181 /22 在架上
5 > 中文科技书库 TP181 /22 在架上

绗�鏉¤褰� 鍏�鏉�
館藏地交大图书馆总馆
作者段钢 duan gang 编著
题名加密与解密 jia mi yu jie mi / 段钢编著
版本第3版
出版发行北京 : 电子工业出版社, 2008.
载体形态 XXII, 543页 : 图 ; 29cm.
丛编安全技术大系 an quan ji shu da xi.
丛编 2001 安全技术大系
附註有书目
附註
本书以加密与解密为切入点，讲述了软件安全领域许多基础知识和技
能，如调试技能、逆向分析、加密保护、外壳开发、虚拟机设计等。
主题电子计算机 dian zi ji suan ji -- 密码术
国际标准號码 978-7-121-06644-3 CNY59.00.
館藏 261020 1759191-95 TP309.7 1(2008)
1 > 中文科技图书阅览室 TP309.7 /1(2008) 在架上
2 > 中文科技书库 TP309.7 /1(2008) 在架上
3 > 中文科技书库 TP309.7 /1(2008) 在架上
4 > 中文科技书库 TP309.7 /1(2008) 到期 12-09-05
5 > 中文科技书库 TP309.7 /1(2008) 在架上

绗�鏉¤褰� 鍏�鏉�
館藏地交大图书馆总馆
作者拉特兹 la te zi (Rattz, Joseph C.) 著
题名 LINQ技术详解 LINQ ji shu xiang jie : C# 2008版 / (美)
Joseph C. Rattz, Jr.著; 程胜, 朱新宁, 杨萍译
题名 Pro LINQ : language integrated query in C# 2008 Chinese.
出版发行北京 : 人民邮电出版社, 2009.
载体形态 606页 ; 24cm.
附註由Apress L. P.授权人民邮电出版社出版
附註据2007年英文版译出
附註责任者汉译姓取自在版编目：拉特兹
主题程序语言 cheng xu yu yan -- 程序设计
主题 C语言 c yu yan -- 程序设计
其它作者程胜 cheng sheng 译
其它作者朱新宁 zhu xin ning 译
其它作者杨萍 yang ping 译
国际标准號码 978-7-115-20790-6 CNY79.00.
館藏 261020 1777429-31 TP312LI 5.
1 > 中文科技图书阅览室 TP312LI /5 在架上
2 > 中文科技书库 TP312LI /5 在架上
3 > 中文科技书库 TP312LI /5 在架上

绗�鏉¤褰� 鍏�鏉�
館藏地交大图书馆总馆
作者周伟 Zhou Wei 编著
题名 Python开发技术祥解 Python Kai Fa Ji Shu Xiang Jie /
周伟, 宗杰等编著
出版发行北京 : 机械工业出版社, 2009.
载体形态 XX, 532页 ; 26cm.
主题软件工具 Ruan Jian Gong Ju -- 程序设计
国际标准號码 978-7-111-27015-7 CNY69.00.
国际标准號码 978-7-89451-082-2 光盘
館藏 261020 1778947-51/DH65813-14 TP312PY 12.
1 > 中文科技图书阅览室 TP312PY /12 在架上
2 > 中文科技书库 TP312PY /12 在架上
3 > 中文科技书库 TP312PY /12 在架上
4 > 中文科技书库 TP312PY /12 在架上
5 > 中文科技书库 TP312PY /12 到期 12-07-13
6 > 科技资料阅览室(东侧) TP312PY /12 /CD-ROM 在架上
7 > 科技资料阅览室(东侧) TP312PY /12 /CD-ROM 在架上
鍙戦€佺储涔﹀彿鑷砪dload@mail.lib.xjtu.edu.cn鑾峰彇鍏夌洏FTP鏈嶅姟 mailto:cdload@mail.lib.xjtu.edu.cn

绗�鏉¤褰� 鍏�鏉�
館藏地交大图书馆总馆
作者巴特勒 ba te le (Butler, Judith) 著
题名权力的精神生活 quan li de jing shen sheng huo :
服从的理论 / (美) 朱迪斯巴特勒著; 张生译
题名 Psychic life of power : theories in subjection Psychic
Life Of Power : Theories In Subjection Chinese.
出版发行南京 : 江苏人民出版社, 2009.
载体形态 200页 ; 23cm.
丛编汉译精品 Han Yi Jing Pin. 思想人文
丛编 2001 汉译精品思想人文
附註英文并列题名取自封面
附註
朱迪斯巴特勒，美国后结构主义哲学家，硏究领域主要集中在女性
主义、酷儿理论等。著有《性别问题》、《欲望的主体》等。
附註张生（1969L±），现任敎于同济大学中文系。
附註
本书对弗洛伊德、福柯等有关服从理论的论述进行了比较硏究。作为
权力的一种形式，服从是自相矛盾的。被一种外在于自身的权力所支
配是权力所采取的一种熟悉的和苦恼的形式。但是，要发现「某人」
是什么，某人作为一个主体的形成，所依赖的权力却完全是另一种权
力。按照福柯的说法，如果我们理解了权力同样形成了主体，它就提
供了它的存在的条件和它的欲望的轨迹。权力不仅仅是我们的存在所
依靠的东西，它也形成了自反性。利用黑格尔、尼采、弗洛伊德、福
柯和阿尔杜塞，这本富于挑战性和明晰的著作提供了主体形成的理沦
，它阐明了矛盾的社会权力的神作用。
附註社会理论、哲学和神分析硏究人员及相关读者。
主题服从行为 Fu Cong Xing Wei -- 硏究
其它作者张生 zhang sheng 译
其它题名服从的理论 fu cong de li lun.
国际标准號码 978-7-214-05366-4 CNY16.00.
館藏 261020 1732833-35 C912.68 16.
1 > 中文社科图书阅览室 C912.68 /16 在架上
2 > 社科文艺书库 C912.68 /16 在架上
3 > 西区社科书库 C912.68 /16 在架上

绗�鏉¤褰� 鍏�鏉�
館藏地交大图书馆总馆
作者米切尔, mi qie er J. C. (Mitchell,John C.) 著
题名程序设计语言概念 cheng xu she ji yu yan gai nian =
Concepts in programming languages / John C. Mitchell著;
冯建华 ... [等] 译 eng.
出版发行北京 : 清华大学出版社, 2005.
载体形态 438页 : 图 ; 26cm.
丛编世界著名计算机敎材精选 shi jie zhu ming ji suan ji jiao
cai jing xuan.
丛编 2001 世界著名计算机敎材精选
附註据Cambridge University Press 2000年英文版译出
附註由Cambridge University Press授权清华大学出版社出版
附註责任者规范汉译姓: 米切尔
附註
本书分为函数与基本原理，过程、类型、内存管理与控制，模块、抽
象与面向对象程序设计，并发性与逻辑编程四部分内容。
主题程序设计语言学 cheng xu she ji yu yan xue 敎材
其它作者冯建华 feng jian hua 译
其它题名 Concepts in programming languages eng.
国际标准號码 7-302-11107-3 CNY56.00.
館藏 261020 1438578-82 TP312 77.
1 > 中文科技图书阅览室 TP312 /77 在架上
2 > 中文科技书库 TP312 /77 在架上
3 > 中文科技书库 T...

2012年6月24日星期日

【外刊IT评论网】坐得越久死得越快

【外刊IT评论网】坐得越久死得越快: 又一项研究显示，久坐对你的健康是真的、真的、真的非常有害。请买一个可站着工作的桌子吧！ [caption id="attachment_4146" align="aligncenter" width="478" caption="可站着编程的电脑桌"]

[/caption]
一项对超过20万个澳大利亚人的研究结果给这样一个事实又增加了一份活体证明：坐得越久的人死得越快。研究同时还发现，锻炼不能改变这种趋势——尽管它能有效降低这种风险。
研究结果清晰的告诉我们这样一个简单的信息：多站立、少坐着，这样能延长你的寿命。

尽管那些每周锻炼超过5个小时的人的死亡风险会大大降低，但当他们坐的过久时，这种风险仍然会升高。

目前，“久坐对身体有害”已经被广泛的认可。最近几年的研究表明，在电脑屏幕前、电视前做得太久，或仅是闲坐太久，都会增加你死亡的风险。
这次的调查采取了一种更直接的方式，观察人们每日坐着的时间总和和他们在之后三年内死亡率之间的关系，希望能给久坐的危害程度标个数字。
结果让人震惊，每天坐着超过11小时的人在未来三年的死亡风险要比每天坐着少于4小时的人的死亡风险高出40%。这是经过了对年龄、体重、物理锻炼、健康水平等所有会影响到死亡风险的因素进行校正后得到的结果。同时得到的一个正比数据是：坐得越久，死亡风险越高。
这个研究是萨克斯研究所（Sax Institute）的45 and Up研究项目的组成部分。45 and Up Study是南半球目前最大的真正进行的关于健康衰老研究项目。研究数据来自222497个超过45岁的澳大利亚人每天自主报告的总计坐的时间。研究者拿这些数据跟他们在之后三年的死亡率进行了对比。
不管他们健康还是有病，喜欢运动还是不爱运动，他们坐得越久，在未来三年里的死亡风险就会越高。锻炼可以大量的降低这种风险：坐的最久的人比坐的很少的人的死亡风险只高出40%，但拿坐的最久且锻炼最少的人和坐的很少但锻炼最多的对比，这个数字会变成100%。尽管每周锻炼超过5小时的人的风险会低很多，但当他们做的太久时，风险度仍是往上走的。
换句话说就是，你需要去锻炼，但同等重要的事是，尽量少坐。
有一篇社论曾建议说，证据已经如此丰富，我们的大夫完全应该在给病人的处方中建议他们减少坐着的时间。但我们自己为什么不能主动行动，给自己开出这样的药方呢。
据粗略统计，人们在休闲时90%以上的时间是坐着的。所以，我们还有很大改善的空间。

本文来自外刊IT评论网(www.aqee.net)，原始地址：坐得越久死得越快

2012年6月18日星期一

初学者程序语言的选择

小小才子通过 Google 阅读器发送给您的内容：

初学者程序语言的选择

于 12-5-24 通过当然我在扯淡作者：王垠

很多人都关心这个问题，来信问我。我一直想总结一下经验，今天终于开始写这篇文章。我的文章一般都会在发表之后有所改动，所以如果转载请只给出链接，以便得到最新的版本。

面向对象语言不适合入门

有的人抱怨很多学校开始教授 Java 而不是以前的 C 或者 Pascal。的确，Java 有很多问题，使得它不适合作为一种入门语言。其实 Java 本质上是把自身的一种古板的设计强加于程序员，使得他们失去了灵活的思维。比如 Java 缺少高阶函数，也就是不能把函数作为参数或者变量传递，这导致了需要使用繁琐的设计模式 (design patterns) 来达到甚至对于 C 语言都直接了当的事情。

Java 在教学中的过度使用，已经开始引起对整个业界的负面作用。很多公司里的程序员喜欢生搬硬套一些不必要的设计模式，其实什么好事情也没干，只是使得程序冗长难懂。我从来不用通常所谓的设计模式，即使我需要实现一些模式比如 visitor pattern 的功能，我也是用的自己的设计。你完全可以在 Java 语言里达到 visitor 的实际效果，却不使用通常所谓的 visitor。这个我以后可能详细说一下。但是我的方法虽然比普通的办法好，也只能算是一个变通方案 (workaround)。在这里，我只是要说，Java 不适合初学者，因为初学者不应该学习变通方案。这些变通并不是在所有语言里都需要的。教会他们这些东西，只会让他们对错误的思想记忆更加深刻，从而在将来的设计中犯同样的错误，导致恶性循环。比如我在某些人写的 Lisp 程序里面居然看到 visitor pattern，真是哭笑不得。本来是因为一个语言有毛病所以我们使用变通方案，但是这种变通居然被用到了本来没有这毛病的语言身上！

那么除了 Java，是否可以考虑具备高阶函数的 Python，JavaScript，Ruby，Scala，Clojure 这些语言呢？我不否认它们的实用价值，但是作为初学编程的人，它们不是很好的选择。因为这些语言的设计者，并不是最好的程序语言专家，他们有时候甚至不明白一些最基本的概念。以至于这些语言里面的很多东西，虽然起着响亮的名字，却并没有"地道"的实现。比如 Python 也有 lambda，但是 Python 的 lambda 是一个被阉割的 lambda，它并没有 lambda 完整的功能，以至于它只能被用于最简单的地方。这就是为什么 Guido van Rossum 曾经扬言要把 lambda 从 Python3 里去掉，因为他自己都不懂得 lambda 是什么。Python 还有别的别的一些明显糟糕的设计，却直到 Python3 才部分的被 Guido 觉悟到。我实现过 Python 的类型推导，所以我知道这些设计的幼稚可笑。不要小看这个类型推导，它是基于一个先进的概念叫"抽象解释"（abstract interpretation），为此我基本上实现了整个 Python 的语义。在摸索 Python 语义的过程中，我很惊讶的发现，有时候我会在某些语义概念上"不小心"做出正确的选择，而到头来我却需要把它们改成错误的，否则我无法准确的符合 Python 的语义。其它几个语言也有类似的问题，但是恐怕只有当你领会到函数式语言的真谛之后才会明白。比如，精通 Haskell 的人都会发现用 Scala 其实非常折腾。

我多次的想写一篇关于面向对象语言的毛病的文章，到头来却发现很难下笔。这就像听惯了巴赫的音乐之后，再让你去评论流行音乐有什么毛病。你根本说不清楚，因为没有体会过真正的杰作的人，他们不会理解你说的任何理由。你只能轻描淡写的让他们去尝试，去体验。到头来如果他们体会到了，听到流行音乐就会恍然大悟的发现，它们原来是如此的苍白无趣，味同嚼蜡！但是如果他们不能体会到，那也只能由他们去了。

底层语言不适合入门

那么是否 C 就会好一些呢？其实也不是。很多人推崇 C，因为它可以让人接近"底层"，也就是接近机器的表示，这样就意味着它速度很快。这里其实有三个问题：

接近"底层"是否对于初学者是好事？
"速度快的语言"是什么意思？
接近底层的语言是否一定速度快？

对于第一个问题，我的答案是否定的。其实编程最重要的思想是高层的语义(semantics)。语义构成了人关心的问题以及解决它们的算法。而具体的实现(implementation)，比如一个整数用几个字节表示，虽然还是重要，但却不是至关重要的。如果把实现作为学习的主要目标，就本末倒置了。因为实现是可以改变的，而它们所表达的本质却不会变。所以很多人发现自己学会的东西，过不了多久就"过时"了。那就是因为他们学习的不是本质，而只是具体的实现。

其次，谈语言的"速度"，其实是一句空话。语言只负责描述一个程序，而程序运行的速度，其实绝大部分不取决于语言。它主要取决于 1)算法和 2)编译器的质量。编译器和语言基本是两码事。同一个语言可以有很多不同的编译器实现，每个编译器生成的代码质量都可能不同，所以你没法说"A 语言比 B 语言快"。你只能说"A 语言的 X 编译器生成的代码，比 B 语言的 Y 编译器生成的代码高效"。这几乎等于什么也没说，因为 B 语言可能会有别的编译器，使得它生成更快的代码。

我举个例子吧。在历史上，Lisp 语言享有"龟速"的美名。有人说"Lisp 程序员知道每个东西的值，却不知道任何事情的代价"，讲的就是这个事情。但这已经是很久远的事情了，现代的 Lisp 系统能编译出非常高效的代码。比如商业的 Chez Scheme 编译器，能在5秒钟之内编译它自己，编译生成的目标代码非常高效。它的实现真的令人惊叹，因为它的作者 R. Kent Dybvig 几乎不依赖于任何已有的软件和设计。这个编译器从最初的 parser，到宏扩展，语义分析，寄存器分配，各种优化，…… 一直到汇编器，函数库，全都是他一个人写的。它可以直接把 Scheme 程序编译到多种处理器的机器指令，而不通过任何第三方软件。它内部的一些算法，其实比开源的 LLVM 之类的先进很多。但是由于是商业软件，这些算法一直被作为机密没有发表。

另外一些函数式语言也能生成高效的代码，比如 OCaml。在一次程序语言暑期班上，Cornell 的 Robert Constable 教授讲了一个故事，说是他们用 OCaml 重新实现了一个系统，结果发现 OCaml 的实现比原来的 C 语言实现快了 50 倍。经过 C 语言的那个小组对算法多次的优化，OCaml 的版本还是快好几倍。这里的原因其实在于两方面。第一是因为函数式语言把程序员从底层细节中解脱出来，让他们能够迅速的实现和修改自己的想法，所以他们能够迅速的找到更好的算法。第二是因为 OCaml 有高效的编译器实现，使得它能生成很好的代码。

从上面的例子，你也许已经可以看出，其实接近底层的语言不一定速度就快。因为编译器这种东西其实可以有很高级的智能，甚至可以超越任何人能做到的底层优化。但是编译器还没有发展到可以代替人来制造算法的地步（虽然有些技术，比如 supercompilation，有可能自动生成新的算法）。所以现在人需要做的，其实只是设计和优化自己的高层算法。

学习 1.5 种函数式语言

那么我推荐什么样的语言呢？虽然我不是函数式语言的狂热分子，但是我觉得相对而言，函数式的语言相对来说更适合入门者。因为它们不但让人专注于算法和对问题的解决，而且没有面向对象语言那些思维的限制。那么现在的问题是，哪一种函数式语言。这是一个很难回答的问题，因为没有一种函数式语言拥有所有的优点，而它们的狂热分子们经常把缺点也说成是优点，结果你还是会被误导。所以我觉得，初学者最好学习两种函数式语言。不要被我吓倒了，你并不需要学习这些语言的所有细枝末节，而只需要学习最精华的部分。所有剩余的细节，会在实际使用中很容易的被填补上。因为你没必要学习它们的全部，所以我称之为"1.5种"函数式语言。我后面会提一下哪些是精华的，哪些是最开头没必要学的。

其实真正严格意义上的函数式语言不多。最可信而又广泛使用的的函数式语言是 Scheme, Haskell, OCaml，SML, Clean 等。就我的观点，首先可以从 Scheme 入门，然后学习一些 Haskell (但不是全部)，之后其它的也就触类旁通了。我不推荐 OCaml 和 SML，因为它们的类型系统里面有很多不成熟的设计，导致你需要记住太多不必要的东西。

从 Scheme（而不是 Haskell）作为入门的第一步，是因为：

Scheme 没有像 Haskell 那样的静态类型系统 (static type system)。并不是说静态类型不好，但是我不得不说，Haskell 那样的静态类型系统，还远远没有发展到可以让人可以完全的写出符合事物本质的程序来。比如，一些重要的概念比如 Y combinator，没法用 Haskell 直接写出来。当然你可以在 Haskell 里面使用作用类似 Y combinator 的东西(比如 fix，或者利用它的 laziness)，但是这些并不揭示递归的本质，你只是在依靠 Haskell 已经实现的递归来进行递归，而不能实际的体会到递归是如何产生的。而用 Scheme，你可以轻松的写出 Y combinator，并且实际的投入使用。
Scheme 不需要 monad。Haskell是一个"纯函数式" (purely functional) 的语言，所有的"副作用"(side-effect)，比如打印字符到屏幕，都得用一种深奥而偏僻的概念叫 monad 实现。这种概念其实并不是本质的，它所有的功能都可以通过"状态传递" (state passing) 来实现。通过写状态传递程序，你可以清楚的看到 monad 的本质。可以说 monad 是 Haskell 的一个"设计模式"。过早的知道这个东西，并不有助于理解函数式程序设计的本质。

那么为什么又要学 Haskell？那是因为 Haskell 含有 Scheme 缺少的一些东西，并且没有 Scheme 设计上的一些问题。比如：

缺少模式匹配：Scheme 没有一个标准的，自然的模式匹配 (pattern matching) 系统，而 Haskell 的模式匹配是一个优美的实现。
类型模糊：比如 Scheme 把所有不是 #f (false）的值都作为 true，这是不对的。Haskell 里面的 Boolean 就只有两个值：True 和 False。Scheme 程序员声称这样可以写出简洁的代码，因为 (or x y z) 可以返回一个具体的值，而不只是一个布尔变量。但是就为了在少数情况下可以写出短一点的代码，是否值得付出如此沉痛的代价？我看到这个设计带来了很多无需有的问题。
宏系统：宏 (macro) 通常被认为是 Lisp 系列语言的一个重要优点。但是我要指出的是，它们并不是必要的，至少对于初学者是这样。其实如果一个语言的语义设计好了，你会几乎不需要宏。因为宏的本质是让程序员可以自己修改语言的设计，添加新的构造。可是宏的主要缺点是，它把改变语言这种极其危险的"权力"给人滥用了。其实只有极少数的人具有改变一个语言所需的智慧和经验。如果让普通程序员都能使用宏，那么程序将变得非常难以理解。所以最开头其实不需要学习宏的使用，也不必为略过这个东西而产生负罪感。等你进步到可以设计自己的程序语言，你自然会明白宏是什么东西。

（注意，这些是我自己的观点，并不代表 Scheme 设计者们的观点。）

推荐的书籍

《The Little Schemer》：我觉得 Dan Friedman 的 The Little Schemer (TLS) 是最好，最精华的编程入门教材。它的前身叫《The Little Lisper》。很多资深的程序语言专家都是从这本书学会了 Lisp。虽然它叫 "The Little Schemer"，但它并不使用 Scheme 所有的功能，而是忽略了上面提到的 Scheme 的毛病，直接进入最关键的主题：递归和它的基本原则。在第九章，你会学到如何从无到有推导出 Y combinator。我做过一个幻灯片，演示的就是这里的推导过程。这本书不但很薄，很精辟，而且相对于其他编程书籍非常便宜（在美国才卖 $23）。

《SICP》：The Little Schemer 其实是比较难的读物，所以我建议把它作为下一步精通的读物。Structure and Interpretation of Computer Programs 比较适合作为第一本教材。但是我需要提醒的是，你最多只需要看完第三章。因为从第四章开始，作者开始实现一个 Scheme 解释器，但是作者的实现并不是最好的方式。你可以从别的地方更好的学到这些东西。具体在哪里学，我还没想好（也许我自己写个教学也说不定）。不过也许你可以看完 SICP 第一章之后就可以开始看 TLS。

《A Gentle Introduction to Haskell》：对于 Haskell，我最开头看的是 A Gentle Introduction to Haskell，因为它特别短小。当时我已经会了 Scheme，所以不需要再学习基本的函数式语言的东西。我从这个文档学到的只不过是 Haskell 对于类型和模式匹配的概念。Real World Haskell 是一本流行的教材，但是它试图包罗万象，所以很多地方过于冗长。最根本的函数式编程概念，还是 TLS 讲的透彻。

过度到面向对象语言

那么如果从函数式语言入门，如何过渡到面向对象语言呢？毕竟大部分的公司用的是面向对象语言。如果你真的学会了函数式语言，你真的会发现面向对象语言已经易如反掌。函数式语言的设计比面向对象语言简单和强大很多，而且几乎所有的函数式语言教材（比如 SICP）都会教你如何实现一个面向对象系统。你会深刻的看到面向对象的本质以及它存在的问题，所以你会很容易的搞清楚怎么写面向对象的程序，并且会发现一些窍门来避开它们的局限。你会发现，即使在实际的工作中必须使用面向对象语言，也可以避免面向对象的思维方式，因为面向对象的思想带来的大部分是混乱和冗余。

深入底层

那么是不是完全不需要学习底层呢？当然不是。但是一开头就学习底层硬件，就会被纷繁复杂的硬件设计蒙蔽头脑，看不清楚本质上简单的原理。

在学会高层的语言之后，可以进行语义学和编译原理的学习。简言之，语义学 (semantics) 就是研究程序的符号表示如何对机器产生"意义"，通常语义学的学习包含 lambda calculus 和各种解释器的实现。编译原理 (compilation) 就是研究如何把高级语言翻译成低级的机器指令。编译原理其实包含了计算机的组成原理，比如二进制的构造和算术，处理器的结构，内存寻址等等。但是结合了语义学和编译原理来学习这些东西，会事半功倍。因为你会直观的看到为什么现在的计算机系统会设计成这个样子：为什么处理器里面有寄存器(register)，为什么需要堆栈(stack)，为什么需要堆(heap)，它们的本质是什么。这些甚至是很多硬件设计者都不明白的问题，所以它们的硬件里经常含有一些没必要的东西。因为他们不理解语义，所以经常不明白他们的硬件到底需要哪些部件和指令。但是从高层语义来解释它们，就会揭示出它们的本质，从而可以让你明白如何设计出更加优雅和高效的硬件。

这就是为什么一些程序语言专家后来也开始设计硬件。比如 Haskell 的创始人之一 Lennart Augustsson，后来设计了 BlueSpec，一种高级的硬件描述语言，可以 100% 的合成 (synthesis) 为硬件电路。Scheme 也被广泛的使用在硬件设计中，比如 Motorola 和 Cisco，它们都是 Chez Scheme 的用户。

这基本上就是我对程序语言入门的建议。我可能还会修改其中一些内容。有问题的话欢迎发邮件到我的信箱：shredderyin@gmail.com。谢谢大家。

青春就应该这样绽放游戏测试：三国时期谁是你最好的兄弟！！你不得不信的星座秘密

可从此处完成的操作：

使用 Google 阅读器订阅当然我在扯淡
开始使用 Google 阅读器，轻松地与您喜爱的所有网站保持同步更新

Dan Friedman 的故事 (3)——miniCoq

小小才子通过 Google 阅读器发送给您的内容：

Dan Friedman 的故事 (3)——miniCoq

于 12-6-11 通过当然我在扯淡作者：王垠

你永远想象不到 Dan Friedman 的思想的极限在哪里。当你认为他是一个函数式语言专家的时候，他发明了 miniKanren，一种逻辑式编程语言 (logic programming language)，并且写出《The Reasoned Schemer》，用于教授逻辑编程。当你认为他不懂类型系统的时候，他开始捣鼓最尖端的 Martin-Löf 类型理论，并且开始设计机器证明系统。而他做这些，完全是出于自己的兴趣。他从来不在乎别人在这个方向已经做到了什么程度，却经常能出乎意料的简化别人的设计。

有一次系里举办教授们的"闪电式演讲"(lightening talk)，每位教授只有5分钟时间上去介绍自己的研究。轮到 Friedman 的时候，他慢条斯理的走上去，说："我不着急。我只有几句话要说。我不知道我能不能拖够5分钟……"大家都笑了。他接着说："我现在最喜欢的东西是 Curry-Howard correspondence 和定理证明。我觉得现在的机器证明系统太复杂了，比如 Coq 有 nnnnn 行代码。我想在 x 年之内，简化 Coq，得到一个 miniCoq……"

miniCoq... 听到这个词全场都笑翻了。为什么呢？自己去联想，往歪处想

从此，"Dan Friedman 的 miniCoq" 成为了 IU 的程序语言学生茶余饭后的笑话。

但是他没有吹牛，他总是说到做到。他已经写出一个简单的定理证明工具叫 JBob（迫于社会舆论压力，不能叫 miniCoq），而且正在写一本书叫《The Little Prover》，用来教授最重要的定理证明思想。他开始在 C311 上给本科生教授这些内容。我看了那本书的初稿，获益至深，那是很多 Coq 的教材都不涉及的最精华的道理。它不仅教会我如何使用定理证明系统，而且教会了我如何设计一个定理证明系统。我对他说："你总是有新的东西教给我们。每隔两年，我们就得重新上一次你的课！"

青春就应该这样绽放游戏测试：三国时期谁是你最好的兄弟！！你不得不信的星座秘密

可从此处完成的操作：

使用 Google 阅读器订阅当然我在扯淡
开始使用 Google 阅读器，轻松地与您喜爱的所有网站保持同步更新

2012年6月3日星期日

Lisp的永恒之道

Lisp的永恒之道:
【感谢 Todd投递本文 – 微博帐号：weidagang 】

Lisp之魅

长久以来，Lisp一直被许多人视为史上最非凡的编程语言。它不仅在50多年前诞生的时候带来了诸多革命性的创新并极大地影响了后来编程语言的发展，即使在一大批现代语言不断涌现的今天，Lisp的诸多特性仍然未被超越。当各式各样的编程语言摆在面前，我们可以从运行效率、学习曲线、社区活跃度、厂商支持等多种不同的角度进行评判和选择，但我特别看中的一点在于语言能否有效地表达编程者的设计思想。学习C意味着学习如何用过程来表达设计思想，学习Java意味着学习如何用对象来表达设计思想，而虽然Lisp与函数式编程有很大的关系，但学习Lisp绝不仅仅是学习如何用函数表达设计思想。实际上，函数式编程并非Lisp的本质，在已经掌握了lambda、高阶函数、闭包、惰性求值等函数式编程概念之后，学习Lisp仍然大大加深了我对编程的理解。学习Lisp所收获的是如何“自由地”表达你的思想，这正是Lisp最大的魅力所在，也是这门古老的语言仍然具有很强的生命力的根本原因。

Lisp之源

Lisp意为表处理(List Processing)，源自设计者John McCarthy于1960年发表的一篇论文《符号表达式的递归函数及其机器计算》。McCarthy在这篇论文中向我们展示了用一种简单的数据结构S表达式(S-expression)来表示代码和数据，并在此基础上构建一种完整的语言。Lisp语言形式简单、内涵深刻，Paul Graham在《Lisp之根源》中将其对编程的贡献与欧几里德对几何的贡献相提并论。

Lisp之形

然而，与数学世界中简单易懂的欧氏几何形成鲜明对比，程序世界中的Lisp却一直是一种古老而又神秘的存在，真正理解其精妙的人还是少数。从表面上看，Lisp最明显的特征是它“古怪”的S表达式语法。S表达式是一个原子(atom)，或者若干S表达式组成的列表(list)，表达式之间用空格分开，放入一对括号中。“列表“这个术语可能会容易让人联想到数据结构中的链表之类的线形结构，实际上，Lisp的列表是一种可嵌套的树形结构。下面是一些S表达式的例子:

foo

()

(a b (c d) e)

(+ (* 2 3) 5)

(defun factorial (N)
    (if (= N 1)
        1
        (* N (factorial (- N 1)))
    )
)

据说，这个古怪的S表达式是McCarthy在发明Lisp时候所采用的一种临时语法，他实际上是准备为Lisp加上一种被称为M表达式(M-expression)的语法，然后再把M表达式编译为S表达式。用一个通俗的类比，S表达式相当于是JVM的字节码，而M表达式相当于Java语言，但是后来Lisp的使用者都熟悉并喜欢上了直接用S表达式编写程序，并且他们发现S表达式有许多独特的优点，所以M表达式的引入也就被无限期延迟了。
许多Lisp的入门文章都比较强调Lisp的函数式特性，而我认为这是一种误导。真正的Lisp之门不在函数式编程，而在S表达式本身，Lisp最大的奥秘就藏在S表达式后面。S表达式是Lisp的语法基础，语法是语义的载体，形式是实质的寄托。“S表达式”是程序的一种形，正如“七言”是诗的一种形，“微博”是信息的一种形。正是形的不同，让微博与博客有了质的差异，同样的道理，正是S表达式让Lisp与C、Java、SQL等语言有了天壤之别。

Lisp之道

一门语言能否有效地表达编程者的设计思想取决于其抽象机制的语义表达能力。根据抽象机制的不同，语言的抽象机制形成了面向过程、面向对象、函数式、并发式等不同的范式。当你采用某一种语言，基本上就表示你已经“面向XXX“了，你的思维方式和解决问题的手段就会依赖于语言所提供的抽象方式。比如，采用Java语言通常意味着采用面向对象分析设计；采用Erlang通常意味着按Actor模型对并发任务进行建模。
有经验的程序员都知道，无论是面向XXX编程，程序设计都有一条“抽象原则“：What与How解耦。但是，普通语言的问题就在于表达What的手段非常有限，无非是过程、类、接口、函数等几种方式，而诸多领域问题是无法直接抽象为函数或接口的。比如，你完全可以在C语言中定义若干函数来做到make file所做的事情，但C代码很难像make file那样声明式地体现出target、depends等语义，它们只会作为实现细节被淹没在一个个的C函数之中。采用OOP或是FP等其它范式也会遇到同样的困难，也就是说make file语言所代表的抽象维度与面向过程、OOP以及FP的抽象维度是正交的，使得各种范式无法直接表达出make file的语义。这就是普通语言的“刚性”特征，它要求我们必须以语言的抽象维度去分析和解决问题，把问题映射到语言的基本语法和语义。
更进一步，如果仔细探究这种刚性的根源，我们会发现正是由于普通语言语法和语义的紧耦合造成了这种刚性。比如，C语言中printf(“hello %s”, name)符合函数调用语法，它表达了函数调用语义，除此之外别无他义；Java中interface IRunnable { … }符合接口定义语法，它表达了接口定义语义，除此之外别无他义。如果你认为“语法和语义紧耦合“是理所当然的，看不出这有什么问题，那么理解Lisp就会让你对此产生更深的认识。
当你看到Lisp的(f a (b c))的时候，你会想到什么？会不会马上联想到函数求值或是宏扩展？就像在C语言里看到gcd(10, 15)马上想到函数调用，或者在Java里看到class A马上想到类定义一样。如果真是这样，那它就是你理解Lisp的一道障碍，因为你已经习惯了顺着语言去思考，总是在想这一句话机器怎么解释执行？那一句话又对应语言的哪个特性？理解Lisp要反过来，让语言顺着你，Lisp的(f a (b c))可以是任何语义，完全由你来定，它可以是函数定义、类定义、数据库查询、文件依赖关系，异步任务的执行关系，业务规则 …
下面我准备先通过几个具体的例子逐步展示Lisp的本质。需要说明的是，由于Lisp的S表达式和XML的语法形式都是一种树形结构，在语义表达方面二者并无本质的差别。所以，为了理解方便，下面我暂且用多数人更为熟悉的XML来写代码，请记住我们可以很轻易地把XML代码和Lisp代码相互转换。
首先，我们可以轻易地用XML来定义一个求两个数最大公约数的函数：

<func name='gcd' return_type='int'>
        <params>
            <a type='int'/>
            <b type='int'/>
        </params>
        <body>
            <if>
               <equals>
                   <a/>
                   <int>0</int>
               </equals>
            </if>
            <then>
                <return><b/></return>
            </then>
            <else>
                <return>
                    <gcd>
                        <modulo><b/><a/></modulo>
                        <a/>
                    </gcd>
                </return>
            </else>
        </body>
    </func>

其次，我们可以用它来定义类：

<class name="Computer">
        <field access="private" type="MainBoard" name="main-board" />
        <field access="private" type="CPU" name="cpu" />
        <field access="private" type="Memory" name="memory" />

        <method access="public" return_type="boolean" name="powerOn" />
            <params>...</params>
            <body>...</body>
        </method>

        <method access="public" return_type="boolean" name="powerOff" />
            <params>...</params>
            <body>...</body>
        </method>
    </class>

还可以轻易地用它来编写关系查询：

<sql>
    <select>
        <column name="employees.id" />
        <column name="bonus.amount" />
    </select>
    <from>
        <table name="employees" />
        <table name="bonus" />
    </from>
    <where>
        <equals>
            <column name="employees.id" />
            <column name="bonus.employee_id" />
        </equals>
    </where>
</sql>

还可以用它来实现类似make file的自动化构建(语法取自ant)：

<project name="MyProject" default="dist" basedir=".">
        <property name="src" location="src"/>
        <property name="build" location="build"/>
        <property name="dist"  location="dist"/>

        <target name="init">
            <mkdir dir="${build}"/>
        </target>

        <target name="compile" depends="init" description="compile the source " >
            <javac srcdir="${src}" destdir="${build}"/>
        </target>

        <target name="dist" depends="compile" description="generate the distribution" >
            <mkdir dir="${dist}/lib"/>
            <jar jarfile="${dist}/lib/MyProject-${DSTAMP}.jar" basedir="${build}"/>
        </target>

        <target name="clean" description="clean up" >
            <delete dir="${build}"/>
            <delete dir="${dist}"/>
        </target>
    </project>

一口气举了这么多个例子，目的在于用XML这种树形结构来说明Lisp的S表达式所能够描述的语义。不知道你是否发现了S表达式和XML这种树形语法在语义构造方面有着特别的“柔性”？我们可以轻易地用它构造出函数、变量、条件判断语义；类、属性、方法语义；可以轻易地构造出关系模型的select、where语义；可以轻易地构造出make的target、depends语义，等等数不清的语义。在普通语言里，你可以定义一个函数、一个类，但你无法为C语言增加匿名函数特性，也没法给Java语言加上RAII语义，甚至连自己创造一个foreach循环都不行，而自定义语义意味着在Lisp之上你创造了一门语言！不管是面向过程，面向对象，函数式，还是关系模型，在Lisp里统统都变成了一种DSL，而Lisp本身也就成了一种定义语言的语言，即元语言(Meta Language)。
Lisp的柔性与S表达式有着密切的关系。Lisp并不限制你用S表达式来表达什么语义，同样的S表达式语法可以表达各种不同领域的语义，这就是语法和语义解耦。如果说普通语言的刚性源于“语法和语义紧耦合”，那么Lisp的柔性正是源于“语法和语义解耦”！“语法和语义解耦”使得Lisp可以随意地构造各种领域的DSL，而不强制用某一种范式或是领域视角去分析和解决问题。本质上，Lisp编程是一种超越了普通编程范式的范式，这就是Lisp之道：面向语言编程(LOP, Language Oriented Programming)。Wikipedia上是这样描述LOP的：

Language oriented programming (LOP) is a style of computer programming in which, rather than solving problems in general-purpose programming languages, the programmer creates one or more domain-specific languages for the problem first, and solves the problem in those languages … The concept of Language Oriented Programming takes the approach to capture requirements in the user’s terms, and then to try to create an implementation language as isomorphic as possible to the user’s descriptions, so that the mapping between requirements and implementation is as direct as possible.

LOP范式的基本思想是从问题出发，先创建一门描述领域模型的DSL，再用DSL去解决问题，它具有高度的声明性和抽象性。SQL、make file、CSS等DSL都可以被认为是LOP的具体实例，下面我们再通过两个常见的例子来理解LOP的优势。
例1：在股票交易系统中，交易协议定义若干二进制的消息格式，交易所和客户端需要对消息进行编码和解码。
消息格式是一种抽象的规范，本身不对语言做任何的限制，你可以用C，C++，Java，或者Python。普通的实现方式是按照消息格式规范，在相应的语言中定义消息结构，并编写相应的编解码函数。假设为一个消息定义结构和实现编解码函数的工作量为M，不同消息类型的数量为N，这种方式的工作量大致为M*N。也就是说每增加一种消息类型，就需要为该消息定义结构，实现编解码函数，引入bug的可能性当然也和M*N成正比。如果仔细观察不难发现，各个消息结构其实是高度类似的，编解码函数也大同小异，但是普通语言却找不到一种抽象机制能表达这种共性，比如，我们无法通过面向对象的方法定义一个基类把消息结构的共性抽象出来，然后让具体的消息去继承它，达到复用的目的。这正是由于普通语言的抽象维度限制所致，在普通语言中，你只能从函数、接口等维度对事物进行抽象，而恰好消息格式共性所在的维度与这些抽象维度并不匹配。
其实，不同消息类型的共性在于它们都具有相同的领域语义，比如：“某字段内容是另一个字段内容的md5码”就是一种消息格式的领域语义，这种领域语义是OOP的抽象机制无法描述的。LOP的思路是先创建一门消息定义DSL，比如，类似Google的Protocol Buffer，Android的AIDL。然后，通过DSL编写消息定义文件，直接声明式地描述消息的结构特征，比如，我们可以声明式地描述“某字段内容是另一个字段内容的md5码”。我们还需要为DSL开发编译器用于生成C、Java等通用语言的消息定义和编解码函数。
有了消息定义DSL和编译器之后，由于DSL编写消息定义是一种高度声明式的编程方法，每增加一种消息的只需要多编写一个消息定义文件而已，工作量几乎可以忽略不计。所有的工作量都集中在编译器的开发上，工作量是一个常数C，与消息的数量没有关系；质量保证方面也只需要关注编译器这一点，不会因为增加新的消息类型而引入bug。
例2：在图书管理系统中，需要支持在管理界面上对书籍、学生、班级等各种实体进行管理操作。
如果按传统的三层架构，一般需要在后端程序中为每一种实体定义一个类，并定义相应的方法实现CRUD操作，与之相应的，还需要在前端页面中为每一个实体编写相应的管理页面。这些实体类的CRUD操作都是大同小异的，但细节又各不相同，虽然我们很想复用某些共同的设计实现，但OOP所提供的封装、继承、多态等抽象机制不足以有效捕获实体之间的共性，大量的代码还是必须放在子类中来完成。比如，Student和Book实体类的实现非常相似，但是如果要通过OOP的方式去抽象它们的共性，得出的结果多半是Entity这样的大而空的基类，很难起到复用的效果。
其实，不同实体之间的共性还是在于它们具有相同的领域语义，比如：实体具有属性，属性具有类型，属性具有取值范围，属性具有可读取、可编辑等访问属性，实体之间有关联关系等。LOP方法正是直接面向这种领域语义的。采用LOP方法，我们并不需要为每一个实体类单独编写CRUD方法，也不需要单独编写管理页面，只需要定义一种DSL并实现其编译器；然后，用DSL声明式地编写实体描述文件，去描述实体的属性列表，属性的类型、取值范围，属性所支持的操作，属性之间的关系和约束条件等；最后，通过这个实体描述文件自动生成后端的实体类和前端管理页面。采用LOP，不论前后端采用何种技术，Java也好，C#也好，JSP也好，ASP.NET也好，都可以自动生成它们的代码。采用LOP的工作量和质量都集中在DSL的设计和编译器的开发，与实体的数量无关，也就是说，越是庞大的系统，实体类越多越是能体现LOP的优势。
通过上面两个小例子我们可以感受到，LOP是一种面向领域的，高度声明式的编程方式，它的抽象维度与领域模型的维度完全一致。LOP能让程序员从复杂的实现细节中解脱出来，把关注点集中在问题的本质上，从而提高编程的效率和质量。
接下来的问题是如果需要为某领域设计DSL，我们是应该发明一门类似SQL这样的专用DSL呢，还是用XML或S表达式去定义DSL呢？它们各有何优缺点呢？
我认为采用XML或S表达式定义DSL的优点主要有：1) SQL、make file、CSS等专用DSL都只能面向各自的领域，而一个实际的领域问题通常是跨越多个领域的，有时我们需要将不同领域融合在一起，但是由于普通语言的刚性，多语言融合通常会是一件非常困难的事情，而XML和S表达式语法结构的单一性和“代码及数据”的特点使得跨领域融合毫无障碍。2) 在为DSL开发编译器或解释器的方面，二者难度不同。对XML和S表达式定义的DSL进行语法分析非常简单，相比之下，对SQL这样的专用DSL进行语法分析，虽然可以借助Lex、Yacc、ANTLR等代码生成工具，但总的来讲复杂度还是要明显高一些。
当然，XML和S表达式的优点也正好是其缺点，由于XML和S表达式的语法形式是固定的，不能像专用DSL那样自由地设计语法。所以，一般来讲专用DSL的语法显得更加简洁。换句话说，XML和Lisp其实是在语法和语义间做了一个交换，用语法的限制换来了语义的灵活。

Lisp之器

接下来我们继续探讨DSL的解释执行问题。DSL代码的解释执行一般分为3种典型的方式：1) 通过专门的解释器解释执行；2) 编译生成其他语言的代码，再通过其他语言的解释器解释执行(或编译运行)；3) 自解释。比如，第1类的代表是SQL，上一节举的两个例子都属于第2类，而第3类自解释正是Lisp的特色。
为了理解自解释，我们可以先从内部DSL的解释执行说起。内部DSL是指嵌入在宿主语言中的DSL，比如，Google Test单元测试框架定义了一套基于流畅接口(Fluent Interface)的C++单元测试DSL。从语义构造的角度看，内部DSL直接借用宿主语言的语法定义了自己的领域语义，是一种语法和语义解耦；从解释执行的角度看，内部DSL是随宿主语言的解释器而自动解释的，不需要像外部DSL一样开发专门的解释器，因而实现的代价很低。当然，并不是说设计内部DSL不用关心任何的解释实现，实际上，还是需要熟悉宿主语言的特性，并利用该特性使得DSL能随着宿主语言的解释器得到解释执行。
Lisp拥有强大的自解释特性，这得益于独一无二的Lisp之器：宏 (macro)。宏使得Lisp编写的DSL可以被Lisp解释器直接解释执行，这在原理上与内部DSL是相通的，只是内部DSL一般是利用宿主语言的链式调用等特性，通常形式简陋，功能有限，而Lisp的宏则要强大和灵活得多。
C语言中也有宏的概念，不过Lisp的宏与C语言的宏完全不同，C语言的宏是简单的字符串替换。比如，下面的宏定义：

#define square(x) (x*x)

square(1+1)的期望结果是4，而实际上它会被替换成(1+1*1+1)，结果是3。这个例子说明，C语言的宏只在预编译阶段进行简单的字符串替换，对程序语法结构缺乏理解，非常脆弱。Lisp的宏不是简单的字符串替换，而是一套完整的代码生成系统，它是在语法解析的基础上把Lisp代码从一种形式转换为另一种形式，本质上起到了普通语言编译器的作用。不同的是，普通编译器是把一种语言的代码转换为另一种语言的代码，比如，Java编译器把Java代码转换成Java字节码；而Lisp宏的输入和输出都是S表达式，它本质上是把一种DSL转换为另一种DSL。下面的例子是宏的一个典型用法。
例3：假设Lisp解释器已经具备解释执行面向过程DSL的能力，需要实现类似ant的自动化构建工具。
我们可以基于宏构建一门类ant的DSL，宏的作用是把类ant DSL通过宏展开变成面向过程的DSL，最后被Lisp解释器所解释执行。这样用Lisp编写的ant DSL就不需要被编译为其他语言，也不需要像XML的ant一样依赖于专门的解释器了。
当然，和开发专门的解释器/编译器相比，Lisp的宏也并非没有缺点，宏难以理解，开发和调试更加困难。到底是开发专门的解释器/编译器还是直接采用宏应该视具体情况而定。

总结

Lisp采用单一的S表达式语法表达不同的语义，实现了语法和语义解耦。这使得Lisp具有强大的语义构造能力，擅长于构造DSL实现面向语言编程，而宏使得Lisp具有自解释能力，让不同DSL之间的转换游刃有余。进入Lisp的世界应当从理解面向语言编程入门，这是Lisp之道，而函数式编程和宏皆为Lisp之器，以道驭器方为正途。

后记

本文是我学习Lisp的一个总结，也是写给有兴趣学习Lisp的程序员的入门资料。必须说明，我还是一个标准的Lisp初学者，几乎没有写过像样的Lisp程序，文中的错误和不足在所难免，希望读者批评指正，感谢！

参考

The Roots of Lisp
The Nature of Lisp
Why Lisp macros are cool, a Perl perspective
Wikipedia: Language-oriented programming
《实用Common Lisp编程》
《冒号课堂 – 编程范式与OOP思想》

您可能也喜欢：
编程语言汽车	基于JVM的语言正在开始流行	编程语言时间地理图	非常不错的编程技术教程	面向对象是个骗局？！
无觅

2009年11月24日 -- 编程语言汽车

2012年5月15日星期二

NoSQL 数据建模技术

NoSQL 数据建模技术:
全文译自墙外文章“NoSQL Data Modeling Techniques”，译得不好，还请见谅。这篇文章看完之后，你可能会对NoSQL的数据结构会有些感觉。我的感觉是，关系型数据库想把一致性，完整性，索引，CRUD都干好，NoSQL只干某一种事，但是牺牲了很多别的东西。总体来说，我觉得NoSQL更适合做Cache。下面是正文——
NoSQL 数据库经常被用作很多非功能性的地方，如，扩展性，性能和一致性的地方。这些NoSQL的特性在理论和实践中都正在被大众广泛地研究着，研究的热点正是那些和性能分布式相关的非功能性的东西，我们都知道 CAP 理论被很好地应用于了 NoSQL 系统中（陈皓注：CAP即，一致性(Consistency)，可用性(Availability)，分区容忍性(Partition tolerance)，在分布式系统中，这三个要素最多只能同时实现两个，而NoSQL一般放弃的是一致性）。但在另一方面，NoSQL的数据建模技术却因为缺乏像关系型数据库那样的基础理论没有被世人很好地研究。这篇文章从数据建模方面对NoSQL家族进行了比较，并讨论几个常见的数据建模技术。
要开始讨论数据建模技术，我们不得不或多或少地先系统地看一下NoSQL数据模型的成长的趋势，以此我们可以了解一些他们内在的联系。下图是NoSQL家族的进化图，我们可以看到这样的进化：Key-Value时代，BigTable时代，Document时代，全文搜索时代，和Graph数据库时代：（陈皓注：注意图中SQL说的那句话，NoSQL再这样发展下去就是SQL了，哈哈。）

NoSQL Data Models

首先，我们需要注意的是SQL和关系型数据模型已存在了很长的时间，这种面向用户的自然性意味着：

最终用户一般更感兴趣于数据的聚合显示，而不是分离的数据，这主要通过SQL来完成。
我们无法通过人手工控制数据的并发性，完整性，一致性，或是数据类型校验这些东西的。这就是为什么SQL需要在事务，二维表结构（schema）和外表联合上做很多事。

另一方面，SQL可以让软件应用程序在很多情况下不需要关心数据库的数据聚合，和数据完整性和有效性进行控制。而如果我们去除了数据一致性，完整性这些东西，会对性能和分布存储有着重的帮助。正因为如此，我们才有数据模型的进化：

Key-Value 键值对存储是非常简单而强大的。下面的很多技术基本上都是基于这个技术开始发展的。但是，Key-Value有一个非常致命的问题，那就是如果我们需要查找一段范围内的key。（陈皓注：学过hash-table数据结构的人都应该知道，hash-table是非序列容器，其并不像数组，链接，队列这些有序容器，我们可以控制数据存储的顺序）。于是，有序键值（Ordered Key-Value）数据模型被设计出来解决这一限制，来从根本上提高数据集的问题。

Ordered Key-Value 有序键值模型也非常强大，但是，其也没有对Value提供某种数据模型。通常来说，Value的模型可以由应用负责解析和存取。这种很不方便，于是出现了 BigTable类型的数据库，这个数据模型其实就是map里有map，map里再套map，一层一层套下去，也就是层层嵌套的key-value（value里又是一个key-value），这种数据库的Value主要通过“列族”（column families），列，和时间戳来控制版本。（陈皓注：关于时间戳来对数据的版本控制主要是解决数据存储并发问题，也就是所谓的乐观锁，详见《多版本并发控制(MVCC)在分布式系统中的应用》）

Document databases 文档数据库 改进了 BigTable 模型，并提供了两个有意义的改善。第一个是允许Value中有主观的模式（scheme），而不是map套map。第二个是索引。 Full Text Search Engines 全文搜索引擎可以被看作是文档数据库的一个变种，他们可以提供灵活的可变的数据模式（scheme）以及自动索引。他们之间的不同点主要是，文档数据库用字段名做索引，而全文搜索引擎用字段值做索引。

Graph data models 图式数据库 可以被认为是这个进化过程中从 Ordered Key-Value 数据库发展过来的一个分支。图式数据库允许构建议图结构的数据模型。它和文档数据库有关系的原因是，它的很多实现允许value可以是一个map或是一个document。

NoSQL 数据模型摘要

本文剩下的章节将向你介绍数据建模的技术实现和相关模式。但是，在介绍这些技术之前，先来一段序言：

NoSQL 数据模型设计一般从业务应用的具体数据查询入手，而不是数据间的关系：

关系型的数据模型基本上是分析数据间的结构和关系。其设计理念是： ”What answers do I have?”
NoSQL 数据模型基本上是从应用对数据的存取方式入手，如：我需要支持某种数据查询。其设计理念是 ”What questions do I have?”

NoSQL 数据模型设计比关系型数据库需要对数据结构和算法的更深的了解。在这篇文章中我会和大家说那些尽人皆知的数据结构，这些数据结构并不只是被NoSQL使用，但是对于NoSQL的数据模型却非常有帮助。

数据冗余和反规格化是一等公民。

关系型数据库对于处理层级数据和图式数据非常的不方便。NoSQL用来解决图式数据明显是一个非常好的解决方案，几乎所有的NoSQL数据库可以很强地解决此类问题。这就是为什么这篇文章专门拿出一章来说明层级数据模型。

下面是NoSQL的分类表，也是我用来写这篇文章时做实践的产品：

Key-Value 存储: Oracle Coherence, Redis, Kyoto Cabinet
类BigTable存储: Apache HBase, Apache Cassandra
文档数据库: MongoDB, CouchDB
全文索引: Apache Lucene, Apache Solr
图数据库: neo4j, FlockDB

概念技术 Conceptual Techniques

这一节主要介绍NoSQL数据模型的基本原则。

(1) 反规格化 Denormalization

反规格化 Denormalization 可以被认为是把相同的数据拷贝到不同的文档或是表中，这样就可以简化和优化查询，或是正好适合用户的某中特别的数据模型。这篇文章中所说的绝大多数技术都或多或少地导向了这一技术。
总体来说，反规格化需要权衡下面这些东西：

查询数据量 /查询IO VS 总数据量。使用反规格化，一方面可以把一条查询语句所需要的所有数据组合起来放到一个地方存储。这意味着，其它不同不同查询所需要的相同的数据，需要放在别不同的地方。因此，这产生了很多冗余的数据，从而导致了数据量的增大。

处理复杂度 VS 总数据量. 在符合范式的数据模式上进行表连接的查询，很显然会增加了查询处理的复杂度，尤其对于分布式系统来说更是。反规格化的数据模型允许我们以方便查询的方式来存构造数据结构以简化查询复杂度。

适用性: Key-Value Store 键值对数据库， Document Databases文档数据库， BigTable风格的数据库。

(2) 聚合 Aggregates

所有类型的NoSQL数据库都会提供灵活的Schema（数据结构，对数据格式的限制）：

Key-Value Stores 和 Graph Databases 基本上来说不会Value的形式，所以Value可以是任意格式。这样一来，这使得我们可以任意组合一个业务实体的keys。比如，我们有一个用户帐号的业务实体，其可以被如下这些key组合起来： UserID_name, UserID_email, UserID_messages 等等。如果一个用户没有email或message，那么相应也不会有这样的记录。

BigTable 模型通过列集合来支持灵活的Schema，我们称之为列族（column family）。BigTable还可以在同一记录上出现不同的版本（通过时间戳）。

Document databases 文档数据库是一种层级式的“去Schema”的存储，虽然有些这样的数据库允许检验需要保存的数据是否满足某种Schema。

灵活的Schema允许你可以用一种嵌套式的内部数据方式来存储一组有关联的业务实体（陈皓注：类似于JSON这样的数据封装格式）。这样可以为我们带来两个好处。

最小化“一对多”关系——可以通过嵌套式的方式来存储实体，这样可以少一些表联结。

可以让内部技术上的数据存储更接近于业务实体，特别是那种混合式的业务实体。可能存于一个文档集或是一张表中。

下图示意了这两种好处。图中描给了电子商务中的商品模型（陈皓注：我记得我在“挑战无处不在”一文中说到过电商中产品分类数据库设计的挑战）

首先，所有的商品Product都会有一个ID，Price 和 Description。

然后，我们可以知道不同的类型的商品会有不同的属性。比如，作者是书的属性，长度是牛仔裤的属性。其些属性可能是“一对多”或是“多对多”的关系，如：唱片中的曲目。

接下来，我们知道，某些业务实体不可能使用固定的类型。如：牛仔裤的属性并不是所有的牌子都有的，而且，有些名牌还会搞非常特别的属性。

对于关系型数据库来说，要设计这样的数据模型并不简单，而且设计出来的绝对离优雅很远很远。而我们NoSQL中灵活的Schema允许你使用一个聚合 Aggregate (product) 可以建出所有不同种类的商品和他们的不同的属性：

Entity Aggregation

上图中我们可以比较关系型数据库和NoSQL的差别。但是我们可以看到在数据更新上，非规格化的数据存储在性能和一致性上会有很大的影响，这就是我们需要重点注意和不得不牺牲的地方。

适用性: Key-Value Store 键值对数据库， Document Databases文档数据库， BigTable风格的数据库。

(3) 应用层联结 Application Side Joins

表联结基本上不被NoSQL支持。正如我们前面所说的，NoSQL是“面向问题”而不是“面向答案”的，不支持表联结就是“面向问题”的后果。表的联结是在设计时被构造出来的，而不是在执行时建造出来的。所以，表联结在运行时是有很大开销的（陈皓注：搞过SQL表联结的都知道笛卡尔积是什么东西，大可以在参看以前酷壳的“图解数据库表Joins”），但是在使用了 Denormalization 和 Aggregates 技术后，我们基本不用进行表联结，如：你们使用嵌套式的数据实体。当然，如果你需要联结数据，你需要在应用层完成这个事。下面是几个主要的Use Case：

多对多的数据实体关系——经常需要被连接或联结。

聚合 Aggregates 并不适用于数据字段经常被改变的情况。对此，我们需要把那些经常被改变的字段分到另外的表中，而在查询时我们需要联结数据。例如，我们有个Message系统可以有一个User实体，其包括了一个内嵌的Message实体。但是，如果用户不断在附加 message，那么，最好把message拆分到另一个独立的实体，但在查询时联结这User和Message这两个实体。如下图：

适用性: Key-Value Store 键值对数据库， Document Databases文档数据库， BigTable风格的数据库， Graph Databases 图数据库。

通用建模技术 General Modeling Techniques

在本书中，我们将讨论NoSQL中各种不同的通用的数据建模技术。

(4) 原子聚合 Atomic Aggregates

很多NoSQL的数据库（并不是所有）在事务处理上都是短板。在某些情况下，他们可以通过分布式锁技术或是应用层管理的MVCC技术来实现其事务性（陈皓注：可参看本站的“多版本并发控制(MVCC)在分布式系统中的应用”）但是，通常来说只能使用聚合Aggregates技术来保证一些ACID原则。
这就是为什么我们的关系型数据库需要有强大的事务处理机制——因为关系型数据库的数据是被规格化存放在了不同的地方。所以，Aggregates聚合允许我们把一个业务实体存成一个文档、存成一行，存成一个key-value，这样就可以原子式的更新了：

Atomic Aggregates

当然，原子聚合 Atomic Aggregates 这种数据模型并不能实现完全意义上的事务处理，但是如果支持原子性，锁，或 test-and-set 指令，那么， Atomic Aggregates 是可以适用的。
适用性: Key-Value Store 键值对数据库， Document Databases文档数据库， BigTable风格的数据库。

(5) 可枚举键 Enumerable Keys

也许，对于无顺序的Key-Value最大的好处是业务实体可以被容易地hash以分区在多个服务器上。而排序了的key会把事情搞复杂，但是有些时候，一个应用能从排序key中获得很多好处，就算是数据库本身不提供这个功能。让我们来思考下email消息的数据模型：

一些NoSQL的数据库提供原子计数器以允许生一些连续的ID。在这种情况下，我们可以使用 userID_messageID 来做为一个组合key。如果我们知道最新的message ID，就可以知道前一个message，也可能知道再前面和后面的Message。
Messages可以被打包。比如，每天的邮件包。这样，我们就可以对邮件按指定的时间段来遍历。

适用性: Key-Value Store 键值对数据库。

(6) 降维 Dimensionality Reduction

Dimensionality Reduction 降维是一种技术可以允许把一个多维的数据映射成一个Key-Value或是其它非多给的数据模型。
传统的地理位置信息系统使用一些如“四分树QuadTree” 或 “R-Tree” 来做地理位置索引。这些数据结构的内容需要被在适当的位置更新，并且，如果数据量很大的话，操作成本会很高。另一个方法是我们可以遍历一个二维的数据结构并把其扁平化成一个列表。一个众所周知的例子是Geohash（地理哈希）。一个Geohash使用“之字形”的路线扫描一个2维的空间，而且遍历中的移动可以被简单地用0和1来表示其方向，然后在移动的过程中产生0/1串。下图展示了这一算法：（陈皓注：先把地图分成四份，经度为第一位，纬度为第二位，于是左边的经度是0，右边的是1，纬度也一样，上面是为1，下面的为0，这样，经纬度就可以组合成01，11，00，10这四个值，其标识了四块区域，我们可以如此不断的递归地对每个区域进行四分，然后可以得到一串1和0组成的字串，然后使用0-9，b-z 去掉（去掉a, i, l, o）这32个字母进行base32编码得到一个8个长度的编码，这就是Geohash的算法）

Geohash Index

Geohash的最强大的功能是使用简单的位操作就可以知道两个区域间的距离，就像图中所示（陈皓：proximity框着的那两个，这个很像IP地址了）。Geohash把一个二维的坐标生生地变成了一个一维的数据模型，这就是降维技术。BigTable的降维技术参看到文章后面的 [6.1]。更多的关于Geohash和其它技术可以参看 [6.2] 和 [6.3]。
适用性: Key-Value Store 键值对数据库， Document Databases文档数据库， BigTable风格的数据库。

(7) 索引表 Index Table

Index Table 索引表是一个非常直白的技术，其可以你在不支持索引的数据库中得到索引的好处。BigTable是这类最重要的数据库。这需要我们维护一个有相应存取模式的特别表。例如，我们有一个主表存着用户帐号，其可以被UserID存取。某查询需要查出某个城市里所有的用户，于是我们可以加入一张表，这张表用城市做主键，所有和这个城市相关的UserID是其Value，如下所示：

Index Table Example

可见，城市索引表的需要和对主表用户表保持一致性，因此，主表的每一个更新可能需要对索引表进行更新，不然就是一个批处理更新。无论哪个方式，这都会损伤一些性能，因为需要保持一致性。
Index Table 索引表可以被认为是关系型数据库中的视图的等价物。
适用性: BigTable 数据库。

(8) 键组合索引 Composite Key Index

Composite key 键组合是一个很常用的技术，对此，当我们的数据库支持键排序时能得到极大的好处。Composite key组合键的拼接成为第二排序字段可以让你构建出一种多维索引，这很像我们之前说过的 Dimensionality Reduction 降维技术。例如，我们需要存取用户统计。如果我们需要根据不同的地区来统计用户的分布情况，我们可以把Key设计成这样的格式 (State:City:UserID)，这样一来，就使得我们可以通过State到City来按组遍历用户，特别是我们的NoSQL数据库支持在key上按区查询（如：BigTable类的系统）：

SELECT Values WHERE state="CA:*"
SELECT Values WHERE city="CA:San Francisco*"

Composite Key Index

适用性: BigTable 数据库。

(9) 键组合聚合 Aggregation with Composite Keys

Composite keys 键组合技术并不仅仅可以用来做索引，同样可以用来区分不用的类型的数据以支持数据分组。考虑一个例子，我们有一个海量的日志数组，这个日志记录了互联网上的用户的访问来源。我们需要计算从某一网站过来的独立访客的数量，在关系型数据库中，我们可能需要下面这样的SQL查询语句：

SELECT count(distinct(user_id)) FROM clicks GROUP BY site

我们可以在NoSQL中建立如下的数据模型：

Counting Unique Users using Composite Keys

这样，我们就可以把数据按UserID来排序，我们就可以很容易把同一个用户的数据（一个用户并不会产生太多的event）进行处理，去掉那些重复的站点（使用hash table或是别的什么）。另一个可选的技术是，我们可以对每一个用户建立一个数据实体，然后把其站点来源追加到这个数据实体中，当然，这样一来，数据的更新在性能相比之下会有一定损失。
适用性: Ordered Key-Value Store 排序键值对数据库， BigTable风格的数据库。

(10) 反转搜索 Inverted Search – 直接聚合 Direct Aggregation

这个技术更多的是数据处理技术，而不是数据建模技术。尽管如此，这个技术还是会影响数据模型。这个技术最主要的想法是使用一个索引来找到满足某条件的数据，但是把数据聚合起需要使用全文搜索。还是让我们来说一个示例。还是用上面那个例子，我们有很多的日志，其中包括互联网用户和他们的访问来源。让我们假定每条记录都有一个UserID，还有用户的种类 (Men, Women, Bloggers, 等)，以及用户所在的城市，和访问过的站点。我们要干的事是，为每个用户种类找到满足某些条件（访问源，所在城市，等）的的独立用户。
很明显，我们需要搜索那些满足条件的用户，如果我们使用反转搜索，这会让我们把这事干得很容易，如： {Category -> [user IDs]} 或 {Site -> [user IDs]}。使用这样的索引，我们可以取两个或多个UserID要的交集或并集（这个事很容易干，而且可以干得很快，如果这些UserID是排好序的）。但是，我们要按用户种类来生成报表会变得有点麻烦，因为我们用语句可能会像下面这样

SELECT count(distinct(user_id)) ... GROUP BY category

但这样的SQL很没有效率，因为category数据太多了。为了应对这个问题，我们可以建立一个直接索引 {UserID -> [Categories]} 然后我们用它来生成报表：

Counting Unique Users using Inverse and Direct Indexes

最后，我们需要明白，对每个UserID的随机查询是很没有效率的。我们可以通过批查询处理来解决这个问题。这意味着，对于一些用户集，我们可以进行预处理（不同的查询条件）。
适用性: Key-Value Store 键值对数据库， Document Databases文档数据库， BigTable风格的数据库。

层级式模型 Hierarchy Modeling Techniques

(11) 树形聚合Tree Aggregation

树形或是任意的图（需反规格化）可以被直接打成一条记录或文档存放。

当树形结构被一次性取出时这会非常有效率（如：我们需要展示一个blog的树形评论）
搜索和任何存取这个实体都会存在问题。
对于大多数NoSQL的实现来说，更新数据都是很不经济的（相比起独立结点来说）

Tree Aggregation

适用性: Key-Value 键值对数据库, Document Databases 文档数据库

(12) 邻接列表 Adjacency Lists

Adjacency Lists 邻接列表是一种图 – 每一个结点都是一个独立的记录，其包含了所有的父结点或子结点。这样，我们就可以通过给定的父或子结点来进行搜索。当然，我们需要通过hop查询遍历图。这个技术在广度和深度查询，以及得到某个结点的子树上没有效率。
适用性: Key-Value 键值对数据库, Document Databases 文档数据库

(13) Materialized Paths

Materialized Paths 可以帮助避免递归遍历（如：树形结构）。这个技术也可以被认为是反规格化的一种变种。其想法是为每个结点加上父结点或子结点的标识属性，这样就可以不需要遍历就知道所有的后裔结点和祖先结点了：

Materialized Paths for eShop Category Hierarchy

这个技术对于全文搜索引擎来说非常有帮助，因为其可以允许把一个层级结构转成一个文档。上面的示图中我们可以看到所有的商品或Men’s Shoes下的子分类可以被一条很短的查询语句处理——只需要给定个分类名。
Materialized Paths 可以存储一个ID的集合，或是一堆ID拼出的字符串。后者允许你通过一个正则表达式来搜索一个特定的分支路径。下图展示了这个技术（分支的路径包括了结点本身）：

Query Materialized Paths using RegExp

适用性: Key-Value 键值对数据库, Document Databases 文档数据, Search Engines 搜索引擎

(14) 嵌套集 Nested Sets

Nested sets 嵌套集是树形结构的标准技术。它被广泛地用在了关系性数据库中，它完全地适用于 Key-Value 键值对数据库和 Document Databases 文档数据库。这个技术的想法是把叶子结点存储成一个数组，并通过使用索引的开始和结束来映射每一个非叶子结点到一个叶子结点集，就如下图所示一样：

Modeling of eCommerce Catalog using Nested Sets

这样的数据结构对于immutable data不变的数据有非常不错的效率，因为其点内存空间小，并且可以很快地找出所有的叶子结点而不需要树的遍历。尽管如此，在插入和更新上需要很高的性能成本，因为新的叶子结点需要大规模地更新索引。
适用性: Key-Value Stores 键值数据库, Document Databases 文档数据库

(15) 嵌套文档扁平化：有限的字段名 Nested Documents Flattening: Numbered Field Names

搜索引擎基本上来说和扁平文档一同工作，如：每一个文档是一个扁平的字段和值的例表。这种数据模型的用来把业务实体映射到一个文本文档上，如果你的业务实体有很复杂的内部结构，这可能会变得很有挑战。一个典型的挑战是把一个有层级的文档映映射出来。例如，文档中嵌套另一个文档。让我们看看下面的示例：

Nested Documents Problem

上面的每一个业务实体代码一种简历。其包括了人名和一个技能列表。我把这个层级文档映射成一个文本文档，一种方法是创建 Skill 和 Level 字段。这个模型可以通过技术或是等级来搜索一个人，而上图标注的那样的组合查询则会失败。（陈皓注：因为分不清Excellent是否是Math还是Poetry上的）
在引用中的 [4.6] 给出了一种解决方案。其为每个字段都标上数字 Skill_i 和 Level_i，这样就可以分开搜索每一个对（下图中使用了OR来遍历查找所有可能的字段）:

Nested Document Modeling using Numbered Field Names

这样的方式根本没有扩展性，对于一些复杂的问题来说只会让代码复杂度和维护工作变大。
适用性: Search Engines 全文搜索

(16)嵌套文档扁平化：邻近查询 Nested Documents Flattening: Proximity Queries

在附录 [4.6]中给出了这个技术用来解决扁平层次文档。它用邻近的查询来限制可被查询的单词的范围。下图中，所有的技能和等级被放在一个字段中，叫 SkillAndLevel，查询中出现的 “Excellent” 和 “Poetry” 必需一个紧跟另一个：

Nested Document Modeling using Proximity Queries

附录 [4.3] 中讲述了这个技术被用在Solr中的一个成功案例。
适用性: Search Engines 全文搜索

(17) 图结构批处理 Batch Graph Processing

Graph databases 图数据库，如 neo4j 是一个出众的图数据库，尤其是使用一个结点来探索邻居结点，或是探索两个或少量结点前的关系。但是处理大量的图数据是很没有效率的，因为图数据库的性能和扩展性并不是其目的。分布式的图数据处理可以被 MapReduce 和 Message Passing pattern 来处理。如：在我前一篇的文章中的那个示例。这个方法可以让 Key-Value stores, Document databases, 和 BigTable-style databases 适合于处理大图。
Applicability: Key-Value Stores, Document Databases, BigTable-style Databases

参考

Finally, I provide a list of useful links related to NoSQL data modeling:

（全文完）

您可能也喜欢：
SQL的Where语句	图解SQL的Join	【原创】SQL栏目树的代码	Web程序的最佳测试数据	几篇技术文章
无觅

2009年12月01日 -- SQL的Where语句
2012年02月21日 -- 千万别惹程序员
2011年11月10日 -- 千万别用MongoDB？真的吗？！
2011年06月08日 -- 开源中最好的Web开发的资源
2011年01月11日 -- 图解SQL的Join
2010年12月31日 -- 6个有用的MySQL语句
2010年11月25日 -- 几篇技术文章

订阅：博文 (Atom)

页面

2012年7月2日星期一

2012年6月24日星期日

2012年6月18日星期一

小小才子 通过 Google 阅读器发送给您的内容：

可从此处完成的操作：

小小才子 通过 Google 阅读器发送给您的内容：

可从此处完成的操作：

2012年6月3日星期日

Lisp之魅

Lisp之源

Lisp之形

Lisp之道

Lisp之器

总结

后记

参考

相关文章

2012年5月15日星期二

NoSQL 数据模型摘要

概念技术 Conceptual Techniques

(1) 反规格化 Denormalization

(2) 聚合 Aggregates

(3) 应用层联结 Application Side Joins

通用建模技术 General Modeling Techniques

(4) 原子聚合 Atomic Aggregates

(5) 可枚举键 Enumerable Keys

(6) 降维 Dimensionality Reduction

(7) 索引表 Index Table

(8) 键组合索引 Composite Key Index

(9) 键组合聚合 Aggregation with Composite Keys

(10) 反转搜索 Inverted Search – 直接聚合 Direct Aggregation

层级式模型 Hierarchy Modeling Techniques

(11) 树形聚合Tree Aggregation

(12) 邻接列表 Adjacency Lists

(13) Materialized Paths

(14) 嵌套集 Nested Sets

(15) 嵌套文档扁平化：有限的字段名 Nested Documents Flattening: Numbered Field Names

(16)嵌套文档扁平化：邻近查询 Nested Documents Flattening: Proximity Queries

(17) 图结构批处理 Batch Graph Processing

参考

相关文章

小小才子通过 Google 阅读器发送给您的内容：

小小才子通过 Google 阅读器发送给您的内容：