Lecture Notes in Computer Science 3639 Model Checking Software 12th International SPIN Workshop
2005 年出版287 页ISBN：3540281959
Lecture Notes in Computer Science 2567 Public Key Cryptography-PKC 2003 6th International Workshop
2002 年出版365 页ISBN：354000324X
Lecture Notes in Computer Science 3308 Formal Methods and Software Engineering 6th International Con
ICFEM 20042004 年出版500 页ISBN：3540238417
Lecture Notes in Computer Science 3950 Agent-Oriented Software Engineering VI 6th International Work
AOSE 20052006 年出版247 页ISBN：3540340971
Lecture Notes in Computer Science 2054 DNA Computing 6th International Workshop on DNA-Based Compute
DNA 20002001 年出版271 页ISBN：3540420762
Lecture Notes in Computer Science 4344 Software Architecture Third European Workshop
EWSA 20062006 年出版245 页ISBN：9783540692713
Lecture Notes in Computer Science 3527 Software Architecture 2nd European Workshop
EWSA 20052005 年出版263 页ISBN：354026275X
Lecture Notes in Computer Science 3373 Advanced Encryption Standard-AES 4th International Conference
AES 20042005 年出版188 页ISBN：3540265570
Lecture Notes in Computer Science 3547 Product Focused Software Process Improvement 6th Internationa
PROFES 20052005 年出版588 页ISBN：3540262008
