Lecture Notes in Computer Science 3582 FM 2005:Formal Methods International Symposium of Formal Meth
2005 年出版558 页ISBN:3540278826
Lecture Notes in Computer Science 2287 Advances in Database Technology-EDBT 2002 8th International C
2002 年出版776 页ISBN:3540433244
Lecture Notes in Computer Science 773 Advances in Cryptology-CRYPTO'93 13th Annual International Cry
1994 年出版492 页ISBN:3540577661
Lecture Notes in Computer Science 2992 Advances in Database Technology-EDBT 2004 9th International C
2004 年出版877 页ISBN:3540212000
Lecture Notes in Computer Science 3965 Formal Methods for Hardware Verification 6th International Sc
Communication2006 年出版0 页ISBN:
Lecture Notes in Computer Science 779 Advances in Database Technology-EDBT'94 4th International Conf
United Kingdom1994 年出版406 页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 4608 Component-Based Software Engineering 10th International Sympo
CBSE 20072007 年出版283 页ISBN:9783540735502