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 3757 Energy Minimization Methods in Computer Vision and Pattern Re
EMMCVPR 20052005 年出版666 页ISBN：3540302875
Lecture Notes in Computer Science 3294 Teaching Formal Methods CoLogNET/FME Stmposium
TFM 20042004 年出版249 页ISBN：3540236112
Lecture Notes in Computer Science 2999 Integrated Formal Methods 4th International Conference
IFM 20042004 年出版541 页ISBN：3540213775
Lecture Notes in Computer Science 3771 Integrated Formal Methods 5th International Conference
IFM 20052005 年出版407 页ISBN：3540304924
Lecture Notes in Computer Science 4591 Integrated Formal Methods 6th International Conference
IFM 20072007 年出版660 页ISBN：9783540732099
Lecture Notes in Computer Science 3028 Probabilistic and Statistical Methods in Cryptology An Introd
2004 年出版158 页ISBN：3540220011
Lecture Notes in Computer Science 3459 Scale Space and PDE Methods in Computer Vision 5th Internatio
Scale-Space 20052005 年出版634 页ISBN：3540255478
Lecture Notes in Computer Science 4313 Leveraging Applications of Formal Methods First International
ISOLA 20042006 年出版197 页ISBN：9783540489283
Lecture Notes in Computer Science 2165 Process Algebra and Probabilistic Methods Performance Modelli
PAPM-PROBMIV 20012001 年出版217 页ISBN：354042556X
