Lecture Notes in Computer Science 3299 Automated Technology for Verification and analysis Second Int
ATVA 20042004 年出版506 页ISBN：3540236104
Lecture Notes in Computer Science 3943 Rapid Integration of Software Engineering Techniques Second I
RISE 20052006 年出版289 页ISBN：3540340637
Lecture Notes in Computer Science 4649 Computer Science-Theory and Applications Second International
CSR 20072007 年出版420 页ISBN：9783540745099
Lecture Notes in Computer Science 3545 Public Key Infrastructure Second European PKI Workshop:Resear
EuroPKI 20052005 年出版270 页ISBN：3540280626
Lecture Notes in Computer Science 3188 Formal Methods for Components and Objects Second Internationa
FMCO 2003 Leiden2222 年出版0 页ISBN：
Lecture Notes in Computer Science 4066 Model Driven Architecture-Foundations and Applications Second
ECMDA-FA 20062006 年出版392 页ISBN：3540359095
Lecture Notes in Computer Science 3522 Pattern Recognition and Image Analysis Second Iberian Confere
IbPRIA 2005 EstorilJune 年出版2005 页ISBN：Part I
Lecture Notes in Computer Science 3523 Pattern Recognition and Image Analysis Second Iberian Confere
IbPRIA 2005 EstorilJune 年出版2005 页ISBN：Part II
ENCYCLOPEDIA OF ARTIFICIAL INTELLIGENCE SECOND EDITION VOLUME 2
2222 年出版1689 页ISBN：0471503061
