Lecture Notes in Computer Science 3831 SOFSEM 2006:Theory and Practice of Computer Science 32nd Conf
2006 年出版576 页ISBN：354031198X
Lecture Notes in Computer Science 3564 Reasoning Web First International Summer School 2005
2005 年出版317 页ISBN：3540278281
Lecture Notes in Computer Science 940 Advances in Databases 13th British National Conference on Data
1995 年出版276 页ISBN：3540601007
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 4322 Reliable Systems on Unreliable Networked Platforms 12th Monte
2007 年出版317 页ISBN：9783540711551
Lecture Notes in Computer Science 3844 Satellite Events at the MoDELS 2005 Conference MoDELS 2005 In
Educators Symposium2006 年出版360 页ISBN：3540317805
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：
