Lecture Notes in Computer Science 2988 Tools and Algorithms for the Construction and Analysis of Sys
TACAS 20042004 年出版608 页ISBN：354021299X
Lecture Notes in Computer Science 3548 Detection Of Intrusions and Malware
and Vulnerability Assessment Second International Conference2005 年出版241 页ISBN：
Lecture Notes in Computer Science 4444 Program Analysis and Compilation
Theory and Practice Essays Dedicated to Reinhard Wilhelm in the Occasion of His 60th Birthday2007 年出版361 页ISBN：9783540713159
Lecture Notes in Computer Science 3842 Advanced Web and Network Technologies
and Applications APWeb 2006 International Workshops:XRA2222 年出版0 页ISBN：
Lecture Notes in Computer Science 4579 Detection Of Intrusions and Malware
and Vulnerability Assessment 4th International Conference2007 年出版251 页ISBN：
The taste of wine:The art and science of wine appreciation
Peynaud1983 年出版258 页ISBN：0356149110
Logic in Computer Science Modelling and Reasoning about Systems 〔Second Edition〕
Michael Huth2004 年出版427 页ISBN：
NEUROFEMINISM ISSUES AT THE INTERSECTION OF FEMINIST THEORY AND COGNITIVE SCIENCE
ROBYN BLUHM2012 年出版284 页ISBN：
GUIDE TO E-SCIENCE NEXT GENERATION SCIENTIFIC RESEARCH AND DISCOVERY
XIAOYU YANG2011 年出版538 页ISBN：
Science in action : how to follow scientists and engineers through society
Bruno Latour1987 年出版274 页ISBN：
