Lecture Notes in Computer Science 3582 FM 2005:Formal Methods International Symposium of Formal Meth
2005 年出版558 页ISBN：3540278826
Lecture Notes in Computer Science 2981 Organic and Pervasive Computing-ARCS 2004 International Confe
2004 年出版339 页ISBN：3540212388
Lecture Notes in Computer Science 3824 Embedded and Ubiquitous Computing-EUC 2005 International Conf
2005 年出版1204 页ISBN：3540308075
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 3465 Formal Methods for Mobile Computing 5th International School
Communication2005 年出版271 页ISBN：
Lecture Notes in Computer Science 779 Advances in Database Technology-EDBT'94 4th International Conf
United Kingdom1994 年出版406 页ISBN：
