Lecture Notes in Computer Science 3185 Formal Methods for the Design of Real-Time Systems Internatio
Communication and Systems2004 年出版295 页ISBN：
深度探索关系数据库 实践者的关系理论 relational theory for practitioners
（美）C. J. Date著；熊建国译2007 年出版215 页ISBN：712104000X
本书阐述了关系模型背后的根本原则，这些原则也是所有数据库——后备应用软件——的应用基础，因为这些原则，今天的计算机世界才得以继续。该书直指到关系数据库实际工作的核心。作者C.J.Date是数据库界的权威，富...
TRS-80 Color Programs Programs for Color BASIC and Extended Color BASIC on the TRS-80 Color Computer
1982 年出版333 页ISBN：0918398614
Lecture Notes in Computer Science 4863 Algorithms and Models for the Web-Graph 5th International Wor
WAW 20072007 年出版217 页ISBN：9783540770039
共性·个性·视角 英汉对比的理论与方法研究 theories and methodologies for English-Chinese contrastive studies
潘文国，杨自俭主编2008 年出版600 页ISBN：9787544611046
本书为论文集，收录英汉对比理论方法研究方面的优秀论文40篇，反映了我国学者在这一领域的探索和创新，反映了学科发展的轨迹和成果。
Designing the User Interface Strategies for Effective Human-Computer Interaction Fifth Edition
Ben Shneiderman2010 年出版606 页ISBN：9787121119125
本书为了适应因特网和各种移动设备迅猛发展的形势，在第四版的基础上始终以基于Web、桌面和移动设备的设计作为内容主线。新的设计实例涉及电子商务、在线社区、电子政府、图片管理、购物、交通、游戏和移动...
数 计算机、哲学家及对数的含义的探索 Number computers， philosophers & the search for meaning eng
（美）约翰·塔巴克（John Tabak）著；王献芬，王辉，张红艳译2008 年出版203 页ISBN：9787100055772
书中不仅向我们展示了各种不同的计数系统以及其演变过程，而且还就人类对数的概念的认识过程及进展加以详细地描述。特别地，书中还回顾了数与计算机的发展之间的紧密联系。...
PROCEEDINGS OF SPIE-THE INTERNATIONAL SOCIETY FOR OPTICAL ENGINEERING VOLUME303 VISUAL SIMULATION A
K.S.L.SETTY1981 年出版94 页ISBN：0892523379
