Lecture Notes in Computer Science 3920 Tools and Algorithms for the Construction and Analysis of Sys
TACAS 20062006 年出版506 页ISBN：3540330569
Lecture Notes in Computer Science 3732 Applied Parallel Computing State of the Art in Scientific Com
PARA 20042006 年出版1174 页ISBN：3540290672
Lecture Notes in Computer Science 4374 Transactions on Rough Sets VI Commemorating the Life and Work
Part I2007 年出版499 页ISBN：9783540711988
Lecture Notes in Computer Science 4400 Transactions on Rough Sets VII Commemorating the Life and Wor
Part II2007 年出版381 页ISBN：9783540716624
Lecture Notes in Computer Science 2988 Tools and Algorithms for the Construction and Analysis of Sys
TACAS 20042004 年出版608 页ISBN：354021299X
ADVANCED CERAMICS FOR STRUCTURAL AND TRIBOLOGICAL APPLICATIONS PROCEEDINGS OF THE INTERNATIONAL SYM
1995 年出版652 页ISBN：0919086608
PROCEEDINGS OF THE AMERICAN SOCIETY OF INTERNATIONAL LAW AT ITS THIRY-SEVENTH ANNUAL MEETING HELD AT
WASHINGTON1940 年出版269 页ISBN：
PROCEEDINGS OF THE AMERICAN SOCIETY OF INTERNATIONAL LAW AT ITS THIRY-SEVENTH ANNUAL MEETING HELD AT
WASHINGTON1944 年出版199 页ISBN：
PROCEEDINGS OF THE AMERICAN SOCIETY OF INTERNATIONAL LAW AT ITS THIRY-SEVENTH ANNUAL MEETING HELD AT
WASHINGTON1942 年出版107 页ISBN：
PROCEEDINGS OF THE AMERICAN SOCIETY OF INTERNATIONAL LAW AT ITS THIRY-SEVENTH ANNUAL MEETING HELD AT
WASHINGTON1941 年出版222 页ISBN：
