Lecture Notes in Computer Science 773 Advances in Cryptology-CRYPTO'93 13th Annual International Cry
1994 年出版492 页ISBN:3540577661
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 3965 Formal Methods for Hardware Verification 6th International Sc
Communication2006 年出版0 页ISBN:
Lecture Notes in Computer Science 3465 Formal Methods for Mobile Computing 5th International School
Communication2005 年出版271 页ISBN:
Lecture Notes in Computer Science 3489 Component-Based Software Engineering 8th International Sympos
CBSE 20052005 年出版358 页ISBN:3540258779
Lecture Notes in Computer Science 3997 Formal Approaches to Software Testing 5th International Works
FATES 20052006 年出版218 页ISBN:3540344543
Lecture Notes in Computer Science 3892 DNA Computing 11th International Workshop on DNA Computers
DNA112006 年出版440 页ISBN:3540341617
Lecture Notes in Computer Science 4287 DNA Computing 12th InternationaL Meeting on DNA Computing
DNA122006 年出版440 页ISBN:9783540490241