Lecture Notes in Computer Science 4006 Reliable Software Technologies-Ada-Europe 2006 11th Ada-Europ
2006 年出版240 页ISBN:3540346635
Lecture Notes in Computer Science 3063 Reliable Software Technologies-Ada-Europe 2004 9th Ada-Europe
2004 年出版333 页ISBN:3540220119
Lecture Notes in Computer Science 4498 Reliable Software Technologies-Ada-Europe 2007 12th Ada-Europ
2007 年出版245 页ISBN:9783540732297
Lecture Notes in Computer Science 3555 Reliable Software Technologies-Ada-Europe 2005 10th Ada-Europ
2005 年出版273 页ISBN:3540262865
Software Evolution The Software Maintenance Challenge
1988 年出版254 页ISBN:0471628719
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领域颇有建树的教师和研究人员。
The Quantum World of Ultra-Cold Atoms and Light Book III: Ultra-cold Atoms Vol 5
Crispin Gardiner2017 年出版556 页ISBN:1786344175
Lecture Notes in Computer Science 3233 Software Security-Theories and Systems Second Mext-NSF-JSPS I
ISSS 20032004 年出版345 页ISBN:354023635X