Lecture Notes in Computer Science 3085 Types for Proofs and Programs International Workshop
TYPES 2003 Torino2222 年出版0 页ISBN：
Lecture Notes in Computer Science 3478 Global Optimization and Constraint Satisfaction Second Intern
COCOS 20032005 年出版192 页ISBN：354026003X
Lecture Notes in Computer Science 4143 Generative and Transformational Techniques in Software Engine
GTTSE 20052006 年出版471 页ISBN：354045778X
Lecture Notes in Computer Science 4064 Detection Of Intrusions and Malware & Vulnerability Assessmen
DIMVA 20062006 年出版195 页ISBN：354036014X
Lecture Notes in Computer Science 3779 Network and Parallel Computing IFIP International Conference
NPC 20052005 年出版513 页ISBN：354029810X
HELMET-AND HEAD-MOUNTED DISPLAYS AND SYMBOLOGY DESIGN REQUIREMENTS Ⅱ
RONALD J.LEWANDOWSKI LORAN A.HAWORTH WENDELL STEPHENS1995 年出版298 页ISBN：0819418188
HEATING AND COOLING OF BUILDINGS PRINCIPLES AND PRACTICE OF ENERGY EFFICIENT DESIGN
T.AGAMI REDDY2017 年出版859 页ISBN：9781439899892
新贤维设计系列之服装品牌设计专辑＝san interiors+associates FASHION BRAND design
深圳市创扬文化传播有限公司策划，徐宾宾主编2012 年出版275 页ISBN：
清华大学美术学院2002届本科生毕业作品集 工业设计 Industrial design
清华大学编著2003 年出版59 页ISBN：7302065810
本书收录了全院9个系毕业生3百余件作品，作品放映了美院教师的学术成果和学生的设计水平和创作能力。
INTRODUCTION TO THE DESIGN AND ANALYSIS OF ALGORITHMS A STRATEGIC APPROACH
R.C.T.LEE S.S.TSENG R.C.CHANG Y.T.TSAI著2007 年出版723 页ISBN：
