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领域颇有建树的教师和研究人员。
计算机科学—C++软件工程方法（第2版）Computer Science_ A Structred Approach Using C++_Second Edition
Behrouz A.Forouzan2006 年出版0 页ISBN：
Lecture Notes in Computer Science 4128 Euro-Par 2006 Parallel Processing 12th International Euro-Par
Wolfgang E.Nagel2006 年出版1221 页ISBN：
Computer systems architecture a networking approach (Seond Edition)= 计算机系统结构 （英文版·第2版）
Rob Williams2007 年出版732 页ISBN：7111204174
本书介绍了计算机系统体系结构的基本概念及内容，包含了对ARMt Itanium处理器的扩展描述以及对数据通信领域的延伸介绍等最新内容，并以大量实例强调了完全理解通过硬件软件交互来使计算机达到最佳性能的重要性...
Lecture Notes in Computer Science 3376 Topics in Cryptology-CT-RSA 2005 The Cryptographers'Track at
2005 年出版385 页ISBN：3540243992
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
Designing the User Interface Strategies for Effective Human-Computer Interaction Fifth Edition
Ben Shneiderman2010 年出版606 页ISBN：9787121119125
本书为了适应因特网和各种移动设备迅猛发展的形势，在第四版的基础上始终以基于Web、桌面和移动设备的设计作为内容主线。新的设计实例涉及电子商务、在线社区、电子政府、图片管理、购物、交通、游戏和移动...
数字信号处理 基于计算机的方法 a computer-based approach 上
（美）Sanjit K.Mitra著；孙洪等译2006 年出版538 页ISBN：712102652X
本书是数字信号领域的经典教材，内容涵盖了信号与信号处理、时域中的离散时间信号与系统、变换域中的离散时间信号、变换域中的LTI离散时间系统、连续时间信号的数字处理、数字滤波器的结构与设计、DSP算法实...
