Lecture Notes in Computer Science 3535 Formal Methods for Open Object-Based Distributed Systems 7th
FMOODS 20052005 年出版321 页ISBN：3540261818
Lecture Notes in Computer Science 2968 Real-Time and Embedded Computing Systems and Applications 9th
RTCSA 20032004 年出版620 页ISBN：3540219749
Lecture Notes in Computer Science 4018 Adaptive Hypermedia and Adaptive Web-Based Systems 4th Intern
AH 20062006 年出版474 页ISBN：3540346961
Lecture Notes in Computer Science 4037 Formal Methods for Open Object-Based Distributed Systems 8th
FMOODS 20062006 年出版267 页ISBN：354034893X
Lecture Notes in Artificial Intelligence 4438 Leveraging the Semantics of Topic Maps Second Internat
TMEA 20062007 年出版256 页ISBN：9783540719441
Lecture Notes in Computer Science 3233 Software Security-Theories and Systems Second Mext-NSF-JSPS I
ISSS 20032004 年出版345 页ISBN：354023635X
Lecture Notes in Computer Science 4166 Computer Safety
Reliability2006 年出版0 页ISBN：
Lecture Notes in Computer Science 3688 Computer Safety
Reliability2005 年出版0 页ISBN：
Lecture Notes in Computer Science 4680 Computer Safety
Reliability2007 年出版0 页ISBN：
