Lecture Notes in Computer Science 3639 Model Checking Software 12th International SPIN Workshop
2005 年出版287 页ISBN:3540281959
Lecture Notes in Computer Science 3160 Mobile Human-Computer Interaction-MobileHCI 2004 6th Internat
MobileHCI 20042004 年出版541 页ISBN:3540230866
Lecture Notes in Computer Science 3350 Practical Aspects Of Declarative Languages 7th International
PADL 20052005 年出版269 页ISBN:3540243623
Lecture Notes in Computer Science 4495 Advanced Information Systems Engineering 19th International C
CAiSE 20072007 年出版606 页ISBN:9783540729877