面向计算机科学的数理逻辑相关电子书下载

姜炳麟，袁峻编著1993 年出版556 页ISBN：7115049319

何名申，金建国著1991 年出版168 页ISBN：7541406155

张乐乐，苏树强，谭南林编著2007 年出版124 页ISBN：9787811231366

本书主要作为《ANSYS辅助分析应用基础教程》一书的辅助上机教材，既可以配合《ANSYS辅助分析应用基础教程》内容的进行上机练习，也可以独立作为学习软件的实例详解。全书分两部分：一部分将ANSYS应用的基础知识...

（美）J.Glenn Brookshear著；俞嘉惠，方存正译2005 年出版498 页ISBN：7302103097

本书内容覆盖了计算机科学各学科的主要领域。对各领域的知识，以历史的眼光，从以往的发展、当前的水平，以及现阶段研究的方向几个方面，作了全景式的阐述。第8版中增加和更新了材料，密切关注这些领域的最新进展。....

2222 年出版1 页ISBN：

大卫·伯金斯（David Perkins）著；林志懋译2001 年出版312 页ISBN：9576076587

教育部考试中心2012 年出版60 页ISBN：9787040359701

本大纲在2012年版的基础上作了不同程度的修订。规定了2013年全国硕士研究生入学考试计算机学科的考试范围、考试要求、考试形式、试卷结构等，是考生必不可少的复习备考依据。...

DOUGLAS E.COMER等1998 年出版410 页ISBN：7505346326

林庆彰主编；常旭，吴殿廷著2012 年出版235 页ISBN：9789863220152

王和著2015 年出版803 页ISBN：9787504978400

本书收录了王和先生多年以来在保险尤其是财险领域的一些精彩论文，相关内容丰富，具有鲜明的时代特征，且对保险行业整体的发展脉络、存在与发展的逻辑、立身的本源、未来的大趋势等都有极为精到的、乃至上升至哲...