Lecture Notes in Computer Science 3205 UbiComp 2004:Ubiquitous Computing 6th International Conferenc
2004 年出版452 页ISBN:3540229558
Lecture Notes in Computer Science 4703 CONCUR 2007-Concurrency Theory 18th International Conference,
2007 年出版507 页ISBN:9783540744061
Lecture Notes in Computer Science 3653 CONCUR 2005-Concurrency Theory 16th International Conference,
2005 年出版578 页ISBN:3540283099
Lecture Notes in Computer Science 3440 Tools and Algorithms for the Construction and Analysis of Sys
TACAS 20052005 年出版588 页ISBN:3540253335
Lecture Notes in Computer Science 4424 Tools and Algorithms for the Construction and Analysis of Sys
TACAS 20072007 年出版738 页ISBN:9783540712084
Lecture Notes in Computer Science 3920 Tools and Algorithms for the Construction and Analysis of Sys
TACAS 20062006 年出版506 页ISBN:3540330569
Lecture Notes in Computer Science 2988 Tools and Algorithms for the Construction and Analysis of Sys
TACAS 20042004 年出版608 页ISBN:354021299X
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