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 4362 SOFSEM 2007:Theory and Practice of Computer Science 33nd Conf
2007 年出版937 页ISBN：9783540695066
Lecture Notes in Computer Science 2932 SOFSEM 2004:Theory and Practice of Computer Science 30th Conf
2004 年出版385 页ISBN：3540207791
Lecture Notes in Computer Science 3831 SOFSEM 2006:Theory and Practice of Computer Science 32nd Conf
2006 年出版576 页ISBN：354031198X
Lecture Notes in Computer Science 3381 SOFSEM 2005:Theory and Practice of Computer Science 31st Conf
2005 年出版428 页ISBN：354024302X
Lecture Notes in Computer Science 3378 Theory of Cryptography Second Theory of Cryptography Conferen
TCC 20052005 年出版621 页ISBN：3540245731
