Lecture Notes in Computer Science 3185 Formal Methods for the Design of Real-Time Systems Internatio
Communication and Systems2004 年出版295 页ISBN：
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
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
书中不仅向我们展示了各种不同的计数系统以及其演变过程，而且还就人类对数的概念的认识过程及进展加以详细地描述。特别地，书中还回顾了数与计算机的发展之间的紧密联系。...
