张立文主编2016 年出版267 页ISBN:9787568503082
本书为高等学校理工科材料类规划教材,全书共分8章。主要介绍计算机数值模拟技术在材料科学与工程中的应用,同时涉及计算机数据采集及数据库技术在材料工程中的应用。本书可以作为金属材料工程专业的本科生教...
陆钟万著2002 年出版263 页ISBN:7030096576
《面向计算机科学的数理逻辑(第2版)》叙述了与计算机科学有紧密联系并且相互之间又有联系的数理逻辑基础性内容,包括经典逻辑和非经典逻辑中的构造性逻辑和模态逻辑。《面向计算机科学的数理逻辑(第2版)》在选材...
(英)胡思(Huth,M.)伦敦帝国学院(MICHAELHuth)著2005 年出版427 页ISBN:7111160533
本书提供了与现代计算机科学以及实际应用相关的重要内容,并且更大程度地满足了上述两种需求。
沈国桢著2000 年出版137 页ISBN:703008408X
本书以通俗、生动的语言,宣传科学家们实事求是、追求真理的精神,说明求实对于取得科学成就是多么重要。