Lecture Notes in Computer Science 3653 CONCUR 2005-Concurrency Theory 16th International Conference，
2005 年出版578 页ISBN：3540283099
Lecture Notes in Computer Science 4257 Software Process Improvement 13th European Conference
EuroSPI 20062006 年出版219 页ISBN：3540476954
Lecture Notes in Computer Science 4717 UbiComp 2007:Ubiquitous Computing 9th International Conferenc
UbiComp 20072007 年出版520 页ISBN：9783540748526
Lecture Notes in Computer Science 4206 UbiComp 2006:Ubiquitous Computing 8th International Conferenc
UbiComp 20062006 年出版526 页ISBN：3540396349
Lecture Notes in Computer Science 3660 UbiComp 2005:Ubiquitous Computing 7th International Conferenc
UbiComp 20052005 年出版394 页ISBN：3540287604
Lecture Notes in Computer Science 2989 Model Checking Software 11th International SPIN Workshop
2004 年出版307 页ISBN：3540213147
Lecture Notes in Computer Science 4595 Model Checking Software 14th International SPIN Workshop
2007 年出版285 页ISBN：9783540733690
Lecture Notes in Computer Science 3278 Utility Computing 15th IFIP/IEEE International Workshop
2004 年出版270 页ISBN：3540236317
Lecture Notes in Computer Science 4887 Cryptography and Coding 11th IMA International Conference
2007 年出版423 页ISBN：9783540772712
