Lecture Notes in Computer Science 4732 Theorem Proving in Higher Order Logics 20th International Con
TPHOLs 20072007 年出版400 页ISBN：9783540745907
Lecture Notes in Computer Science 4033 Performability Has its Price 5th International Workshop on In
ICQT 20062006 年出版106 页ISBN：3540354565
Lecture Notes in Computer Science 3603 Theorem Proving in Higher Order Logics 18th International Con
TPHOLs 20052005 年出版409 页ISBN：3540283722
Lecture Notes in Computer Science 3079 High Speed Networks and Multimedia Communications 7th IEEE In
HSNM 20042004 年出版1103 页ISBN：3540222626
Lecture Notes in Computer Science 3865 Computer Supported Cooperative Work in Design II 9th Internat
CSCWD 2005 Coventry2222 年出版0 页ISBN：
Lecture Notes in Computer Science 3168 Computer Supported Cooperative Work in Design I 8th Internati
CSCWD 2004 Xiamen2222 年出版0 页ISBN：
PIONEERS OF SCIENCE SECOND EDITION NOBEL PRIZE WINNERS IN PHYSICS
ROBERT L.WEBER2222 年出版310 页ISBN：0852742673
Writing in the environmental sciences a seven-step guide
L.Michelle Baker2017 年出版288 页ISBN：1107193147
Professing Sociology Studies in the Life Cycle of Social Science
Lrving Louis Horowitz2014 年出版365 页ISBN：9781412851985
Lecture Notes in Artificial Intelligence 4632 Advanced Data Mining and Applications Third Internatio
ADMA 20072007 年出版634 页ISBN：9783540738701
