Computation and Reasoning A Type Theory for Computer Science
1994 年出版228 页ISBN：0198538359
Handbook of Logic and Proof Techniques for Computer Science
2002 年出版245 页ISBN：081764220X
Science and Innovation Policy for the New Knowledge Economy
Colombo2011 年出版191 页ISBN：
The Carnegie-Mellon Curriculum for Undergraduate Computer Science
Mary Shaw1985 年出版198 页ISBN：
ADVANCES IN PROSTAGLANDIN LEUKOTRIENE AND OTHER BIOACTIVE LIPID RESEARCH BASIC SCIENCE AND CLINICAL
ZELIHA YAZICI2003 年出版0 页ISBN：
GIS AND GEOCOINPUTATION FOR WATER RESOURCE SCIENCE AND ENGINEERING
BARNALI DIXON2016 年出版545 页ISBN：9781118354131
Concrete Mathematics A Foundation for Computer Science 〔Second Edition〕
Ronald L.Graham2002 年出版0 页ISBN：
ENVIRONMENTAL SCIENCE:Action for a Sustainable Future THIRD EDITION
DANIEL D.CHIRAS2222 年出版549 页ISBN：0805310312
ENVIRONMENTAL SCIENCE:A FRAMEWORK FOR DECISION MAKING SECOND EDITION
DANIEL D.CHIRAS1985 年出版531 页ISBN：0805322574
Handbook of Deposition Technologies for Films and Coatings Science
Applications and Technology2010 年出版912 页ISBN：9780815520313
