Lecture Notes in Computer Science 4514 Logical Foundations of Computer Science International Symposi
LFCS 20072007 年出版513 页ISBN:9783540727323
Lecture Notes in Computer Science 3895 Theoretical Computer Science Essays in Memory of Shimon Even
2006 年出版399 页ISBN:3540328807
Lecture Notes in Computer Science 4383 Hardware and Software
Verification and Testing Second International Haifa Verification Conference2007 年出版235 页ISBN:
Lecture Notes in Computer Science 3051 Relational and Kleene-Algebraic Methods in Computer Science 7
2004 年出版278 页ISBN:354022145X
Lecture Notes in Computer Science 57 Portability of Numerical Software
1977 年出版539 页ISBN:3540084460
Lecture Notes in Computer Science 756 Design of Hashing Algorithms
1993 年出版194 页ISBN:3540575006
Lecture Notes in Computer Science 4136 Relations and Kleene Algebra in Computer Science 9th Internat
RelMiCS/AKA 20062006 年出版433 页ISBN:3540378731
Lecture Notes in Computer Science 124 Compiler Specification and Verification
1981 年出版269 页ISBN:3540108866
Lecture Notes in Computer Science 3618 Mathematical Foundations Of Computer Science 2005 30th Intern
MFCS 20052005 年出版814 页ISBN:3540287027