Lecture Notes in Computer Science 2942 Foundations of Information and Knowledge Systems Thied Intern
FoIKS 20042004 年出版320 页ISBN：3540209654
Lecture Notes in Computer Science 3861 Foundations of Information and Knowledge Systems 4th Internat
FoIKS 20062006 年出版331 页ISBN：3540317821
Lecture Notes in Computer Science 3895 Theoretical Computer Science Essays in Memory of Shimon Even
2006 年出版399 页ISBN：3540328807
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：
