Proceedings Sixth Annual IEEE Symposium on LOGIC IN COMPUTER SCIENCE
IEEE Computer society1991 年出版417 页ISBN：
PROFESSING SOCIOLOGY:STUDIES IN THE LIFE CYCLE OF SOCIAL SCIENCE
IRVING LOUIS HOROWITZ2222 年出版0 页ISBN：
GUIDE TO SCIENCE AND TECHNOLOGY IN THE ASIA/PACIFIC AREA
A·G·ATKINS2222 年出版540 页ISBN：
PIONEERS OF SCIENCE SECOND EDITION NOBEL PRIZE WINNERS IN PHYSICS
ROBERT L.WEBER2222 年出版310 页ISBN：0852742673
Professing Sociology Studies in the Life Cycle of Social Science
Lrving Louis Horowitz2014 年出版365 页ISBN：9781412851985
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
