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:
Lecture Notes in Computer Science 3242 Parllel Problem Solving from Nature-PPSN VIII 8th Internation
2004 年出版1185 页ISBN:3540230920
Lecture Notes in Computer Science 4193 Parallel Problem Solving from Nature-PPSN IX 9th Internationa
2006 年出版1061 页ISBN:3540389903
The Carnegie-Mellon Curriculum for Undergraduate Computer Science
Mary Shaw1985 年出版198 页ISBN:
Advanced Materials Science&Technology in China A Roadmap to 2050
2010 年出版120 页ISBN:9787030256263
本书是中国科学院“至2050年中国重点科技领域发展路线图战略研究”系列研究课题的成果之一。根据先进材料领域国内外发展态势,分12个方向进行专题研究,包括金属材料、陶瓷材料、高分子材料、复合材料、能源材...
GIS AND GEOCOINPUTATION FOR WATER RESOURCE SCIENCE AND ENGINEERING
BARNALI DIXON2016 年出版545 页ISBN:9781118354131