面向计算机科学的数理逻辑

陆钟万著2002 年出版263 页ISBN：7030096576

《面向计算机科学的数理逻辑（第2版）》叙述了与计算机科学有紧密联系并且相互之间又有联系的数理逻辑基础性内容，包括经典逻辑和非经典逻辑中的构造性逻辑和模态逻辑。《面向计算机科学的数理逻辑（第2版）》在选材...

中国计算机科学技术新发展-中国计算机学会第九次全国学术会议论文集

中国计算机学会1996 年出版450 页ISBN：7562112495

新编计算机与信息科学十万个为什么 5 数据库与信息检索

《新编计算机与信息科学十万个为什么》丛书编委会2000 年出版456 页ISBN：7302039313

科学与工程计算方法

熊春光，李育安主编2015 年出版270 页ISBN：9787302413691

本书主要讲授刚性常微分方程组的简单数值解法、偏微分数值解法和统计计算的基本方法。针对工科博士生大部分没有学习数学物理方程，由此本书花一部分内容讲述偏微分方程的建模，解决实际问题。...

计算机科学 C结构化程序设计方法 第3版 英文版

（美）佛罗赞（Forouzan，B.A.），（美）吉尔伯格（Gilberg，R.F.）著2007 年出版1156 页ISBN：9787111214021

本书全面介绍了计算机科学理论和C程序设计语言，解释了基本的程序设计概念。

21世纪高等学校规划教材 计算机科学与技术 大型数据库概论

朱辉生，陈琳，李金海著2018 年出版189 页ISBN：9787302492498

　　本教材基于当前主流操作系统 Windows8和主流大型数据库管理系统Oracle11g，系统介绍大型数据库的基本知识、保护技术和应用系统开发方法。

JAVA：计算机科学与程序设计导论

（美）萨维查（Savitch2003 年出版1049 页ISBN：7040137259

本书向读者讲授用JAVA进行问题求解与程序设计的技巧。此修订版本讲解了面向对象程序设计和计算机科学中的一些重要概念，如软件测试与纠错技术、程序风格、继承和异常处理。书中内容包含了Swing库的详尽内容...

高等学校计算机科学与技术专业人才专业能力构成与培养

教育部高等学校计算机科学与技术教学指导委员会编制2010 年出版184 页ISBN：9787111298359

本书讨论了计算机专业人才应具备的四大能力，并将四大能力分解为82个能力点，对这些能力点进行了描述。同时，对在课程实践中实施能力培养进行了探讨。...

工程师和科学家用 微型计算机

（美）吉布生（G.Gibson），刘玉成著；武汉测绘学院电子仪器系译1984 年出版380 页ISBN：15039·新339

面向计算机科学的数理逻辑系统建模与推理 英文版·第2版

（英）胡思（Huth，M.）伦敦帝国学院（MICHAELHuth）著2005 年出版427 页ISBN：7111160533

本书提供了与现代计算机科学以及实际应用相关的重要内容，并且更大程度地满足了上述两种需求。