Lecture Notes in Computer Science 4195 Autonomic Networking First International IFIP TC6 Conference
AN 20062006 年出版316 页ISBN:3540458913
Lecture Notes in Computer Science 3915 Knowledge Discovery from XML Documents First International Wo
KDXD 20062006 年出版105 页ISBN:3540331808
Lecture Notes in Computer Science 4658 Network-Based Information Systems First International Confere
NBiS 20072007 年出版546 页ISBN:9783540745723
Lecture Notes in Computer Science 2931 Formal Approaches to Software Testing Third International Wor
FATES 20032004 年出版267 页ISBN:3540208941
Lecture Notes in Computer Science 4732 Theorem Proving in Higher Order Logics 20th International Con
TPHOLs 20072007 年出版400 页ISBN:9783540745907