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领域颇有建树的教师和研究人员。
SERIES IN MACHINE PERCEPTION AND ARTIFICIAL INTELLIGENCE VOL.73 PROGRESS IN COMPUTER VISION AND IM
2010 年出版580 页ISBN:9812834454