Lecture Notes in Computer Science 124 Compiler Specification and Verification
1981 年出版269 页ISBN:3540108866
Lecture Notes in Computer Science 130 Axiomatising the Logic of Computer Programming
1982 年出版304 页ISBN:3540112103
Lecture Notes in Computer Science 4007 Experimental Algorithms 5th International Workshop
WEA 20062006 年出版329 页ISBN:3540345973
Lecture Notes in Computer Science 4525 Experimental Algorithms 6th International Workshop
WEA 20072007 年出版448 页ISBN:9783540728443
Lecture Notes in Computer Science 21 Compiler Construction An Advanced Course
1974 年出版621 页ISBN:3540069585
Lecture Notes in Computer Science 3051 Relational and Kleene-Algebraic Methods in Computer Science 7
2004 年出版278 页ISBN:354022145X
Lecture Notes in Computer Science 3147 Integration of Software Specification Techniques for Applicat
2004 年出版628 页ISBN:3540231358
Lecture Notes in Computer Science 3967 Computer Science-Theory and Applications First International
CSR 20062006 年出版685 页ISBN:3540341668
Lecture Notes in Computer Science 4649 Computer Science-Theory and Applications Second International
CSR 20072007 年出版420 页ISBN:9783540745099
Lecture Notes in Computer Science 4136 Relations and Kleene Algebra in Computer Science 9th Internat
RelMiCS/AKA 20062006 年出版433 页ISBN:3540378731