Lecture Notes in Computer Science 3629 Algebra and Coalgebra in Computer Science First International
CALCO 20052005 年出版457 页ISBN：3540286209
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 2931 Formal Approaches to Software Testing Third International Wor
FATES 20032004 年出版267 页ISBN：3540208941
Lecture Notes in Computer Science 4700 Formal Methods and Hybrid Real-Time Systems Essaya in Honour
2007 年出版539 页ISBN：9783540752202
Lecture Notes in Computer Science 3997 Formal Approaches to Software Testing 5th International Works
FATES 20052006 年出版218 页ISBN：3540344543
Lecture Notes in Computer Science 3395 Formal Approaches to Software Testing 4th International Works
FATES 20042005 年出版225 页ISBN：354025109X
Lecture Notes in Computer Science 4485 Scale Space and Variational Methods in Computer Vision First
SSVM 20072007 年出版931 页ISBN：9783540728221
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
