AN INTRODUCTION TO FORMAL PROGRAM VERIFICATION
ALI MILI1985 年出版291 页ISBN:0442263228
CLICK 1 THE BRIGHTEST IN COMPUTER-GENERATED DESIGN AND ILLUSTRATION
J.ELLEN GERKEN AND PRIMO ANGELI1990 年出版150 页ISBN:0891343482
DRUG DISCOVERY SCIENCE AND DEVELOPMENT IN A CHANGING SOCIETY
1971 年出版294 页ISBN:
Current directions in cognitive science = 认知心理学新进展
Barbara A.Spellman(芭芭拉·斯佩曼)2007 年出版256 页ISBN:9787303087297
本书介绍了认知科学的发展以及神经生物学在心理研究的最新进展。