Lecture Notes in Computer Science 4677 Foundations of Security Analysis and Design IV FOSAD 2006/200
2007 年出版326 页ISBN：9783540748090
Lecture Notes in Computer Science 2946 Foundations of Security Analysis and Design II FOSAD 2001/200
2004 年出版267 页ISBN：3540209557
Lecture Notes in Computer Science 3655 Foundations of Security Analysis and Design III FOSAD 2004/20
2005 年出版273 页ISBN：3540289550
Lecture Notes in Computer Science 3153 Mathematical Foundations Of Computer Science 2004 29 Internat
MFCS 20042004 年出版902 页ISBN：3540228233
Lecture Notes in Computer Science 4514 Logical Foundations of Computer Science International Symposi
LFCS 20072007 年出版513 页ISBN：9783540727323
Lecture Notes in Computer Science 4383 Hardware and Software
Verification and Testing Second International Haifa Verification Conference2007 年出版235 页ISBN：
Lecture Notes in Computer Science 57 Portability of Numerical Software
1977 年出版539 页ISBN：3540084460
Lecture Notes in Computer Science 3618 Mathematical Foundations Of Computer Science 2005 30th Intern
MFCS 20052005 年出版814 页ISBN：3540287027
Lecture Notes in Computer Science 4708 Mathematical Foundations of Computer Science 2007 32nd Intern
MFCS 20072007 年出版764 页ISBN：9783540744559
Lecture Notes in Computer Science 4162 Mathematical Foundations of Computer Science 2006 31st Intern
MFCS 20062006 年出版814 页ISBN：3540377913
