Lecture Notes in Computer Science 3185 Formal Methods for the Design of Real-Time Systems Internatio
Communication and Systems2004 年出版295 页ISBN：
PROCEEDINGS OF THE 12TH INTERNATIONAL CONFERENCE ON COMPUTER-AIDED ARCHITECTURAL DESIGN RESEARCH IN
虞刚，周琦，董卫编2007 年出版671 页ISBN：9787564109257
本书主要内容包括CAADRIA会议主题发言人的演讲以及参与会议人员的论文、与会人员也大都是世界范围内在CAAD领域颇有建树的教师和研究人员。
Lecture Notes in Computer Science 3376 Topics in Cryptology-CT-RSA 2005 The Cryptographers'Track at
2005 年出版385 页ISBN：3540243992
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 3860 Topics in Cryptology-CT-RSA 2006 The Cryptographers'Track at
2006 年出版365 页ISBN：3540310339
Lecture Notes in Computer Science 2964 Topics in Cryptology-CT-RSA 2004 The Cryptographers'Track at
2004 年出版386 页ISBN：3540209964
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、桌面和移动设备的设计作为内容主线。新的设计实例涉及电子商务、在线社区、电子政府、图片管理、购物、交通、游戏和移动...
用户驱动下的创新 世界第一台商用计算机LEO的奇迹 the incredible story of the world's first business computer
（英） 戴维·卡米纳等编著；David Caminer 王克友，李彦文译2001 年出版433 页ISBN：7506623153
本书主要讲的是一些像约翰·西蒙斯这样的人，作为大公司的高层经理，他们对怎样使公司更好地发展具有长远的考虑。作为充满自信的高层领导，他们不仅仅将目光局限于本公司，而是放眼于其他国家，放眼于一些大学，在那.....
Lecture Notes in Computer Science 755 Formal Program Development IFIP TC2/WG 2.1 State-of-the-Art Re
1993 年出版372 页ISBN：3540574999
