Lecture Notes in Computer Science 4010 Unifying Theories of Programming First International Symposiu
UTP 20062006 年出版257 页ISBN：354034750X
Lecture Notes in Computer Science 3840 Unifying the Software Process Spectrum International Software
SPW 20052005 年出版522 页ISBN：3540311122
Lecture Notes in Computer Science 3458 Scientific Applications of Grid Computing First International
SAG 20042005 年出版208 页ISBN：3540258108
Lecture Notes in Computer Science 4313 Leveraging Applications of Formal Methods First International
ISOLA 20042006 年出版197 页ISBN：9783540489283
Lecture Notes in Computer Science 3629 Algebra and Coalgebra in Computer Science First International
CALCO 20052005 年出版457 页ISBN：3540286209
Lecture Notes in Computer Science 3967 Computer Science-Theory and Applications First International
CSR 20062006 年出版685 页ISBN：3540341668
Lecture Notes in Computer Science 3072 Biometric Authentication First International Conference
ICBA 20042004 年出版800 页ISBN：3540221468
Lecture Notes in Computer Science 4784 Provable Security First International Conference
ProvSec 20072007 年出版237 页ISBN：9783540756699
Lecture Notes in Computer Science 3074 Constraint Databases First International Symposium
CDB 20042004 年出版181 页ISBN：3540221263
Lecture Notes in Computer Science 3417 Complex Motion First International Workshop
IWCM 20042007 年出版235 页ISBN：9783540698647
