Lecture Notes in Computer Science 4726 String Processing and Information Retrieval 14th Internationa
SPIRE 20072007 年出版311 页ISBN：9783540755296
Lecture Notes in Computer Science 3299 Automated Technology for Verification and analysis Second Int
ATVA 20042004 年出版506 页ISBN：3540236104
Lecture Notes in Computer Science 3246 String Processing and Information Retrieval 11th Internationa
SPIRE 2004 Padova2222 年出版0 页ISBN：
Lecture Notes in Computer Science 3179 Articulated Motion and Deformable Objects Third International
AMDO 20042004 年出版270 页ISBN：3540229582
Lecture Notes in Computer Science 4069 Articulated Motion and Deformable Objects 4th International C
AMDO 20062006 年出版526 页ISBN：354036031X
Lecture Notes in Computer Science 4691 Formal Aspects in Socurity and Trust Fourth International Wor
FAST 20062007 年出版286 页ISBN：9783540752264
Lecture Notes in Computer Science 3866 Formal Aspects in Socurity and Trust Third International Work
FAST 20062006 年出版259 页ISBN：3540326286
Lecture Notes in Computer Science 3697 Artificial Neural Networks:Formal Models and Their Applicatio
2005 年出版1045 页ISBN：3540287558
Lecture Notes in Computer Science 4262 Formal Approaches to Software Testing and Runtime Verificatio
2006 年出版255 页ISBN：9783540496991
