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