Lecture Notes in Computer Science 4424 Tools and Algorithms for the Construction and Analysis of Sys
TACAS 20072007 年出版738 页ISBN:9783540712084
Lecture Notes in Computer Science 4537 Advances in Web and Network Technologies
and Information Management APWeb/WAIM 2007 International Workshops:DBMAN 20072007 年出版0 页ISBN: