Lecture Notes in Computer Science 4454 Tests and Proofs First International Conference
TAP 20072007 年出版217 页ISBN：9783540737698
Lecture Notes in Computer Science 3294 Teaching Formal Methods CoLogNET/FME Stmposium
TFM 20042004 年出版249 页ISBN：3540236112
Lecture Notes in Computer Science 3798 Component Deployment Third International Working Conference
CD 20052005 年出版197 页ISBN：3540305173
Lecture Notes in Computer Science 3674 Secure Data Management Second VLDB Workshop
SDM 20052005 年出版241 页ISBN：3540287981
Lecture Notes in Computer Science 3165 Grid Computing Second European AcrossGrids Conference
AxGrids 20042004 年出版272 页ISBN：3540228888
Lecture Notes in Computer Science 3267 Global Computing IST/FET International Workshop
GC 20042005 年出版367 页ISBN：3540241019
Lecture Notes in Computer Science 3154 Software Product Lines Third International Conference
SPLC 20042004 年出版335 页ISBN：3540229183
Lecture Notes in Computer Science 2379 Software Product Lines Second International Conference
SPLC 22002 年出版399 页ISBN：3540439854
Lecture Notes in Computer Science 3262 Universal Multiservice Networks Third European Conference
ECUMN 20042004 年出版556 页ISBN：3540235515
Lecture Notes in Computer Science 4096 Embedded and Ubiquitous Computing International Conference
EUC 20062006 年出版1170 页ISBN：3540366792
