Lecture Notes in Computer Science 2988 Tools and Algorithms for the Construction and Analysis of Sys
TACAS 20042004 年出版608 页ISBN：354021299X
Performance and reliability analysis of computer systems an example-based approach using the SHARPE
Robin A.Sahner ; Kishor S. Trivedi ; Antonio Puliafito1996 年出版404 页ISBN：0792396502
Computer graphics with OpenGL = 计算机图形学 (英文版·第三版）
Donald Hearn ; M. Pauline Baker2004 年出版860 页ISBN：7505396145
本书是一本内容丰富、取材新颖的计算机图形学著作，并在其前一版的基础上进行了全面扩充，增加了许多新的内容，覆盖了近年来计算机图形学的最新发展和成就。全书层次分明、重点突出，并附有使用OpenGL编写的大量程...
Lecture Notes in Computer Science 4039 Reuse of Off-the-Shelf Components 9th International Conferenc
ICSR 20062006 年出版444 页ISBN：3540346066
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 755 Formal Program Development IFIP TC2/WG 2.1 State-of-the-Art Re
1993 年出版372 页ISBN：3540574999
The art and science of C a library-based introduction to computer science = C语言的科学和艺术 （英文版）
Eric Roberts2004 年出版706 页ISBN：7111139917
本书是一本C语言的入门读物。
