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

张世英著1959 年出版415 页ISBN：2074·206

徐邦友著2004 年出版490 页ISBN：7501767149

本书是对传统行政格式的思想进行分析思考。

（美）Larry Nelson著2222 年出版42 页ISBN：

金建国，何名申著1993 年出版180 页ISBN：7541407402

（日）伊丹敬之著；杨春明译1992 年出版279 页ISBN：7800641643

2222 年出版62 页ISBN：

赵正旭，王正友编著2017 年出版202 页ISBN：9787509570067

本书收录了2015年“计算机科学与技术及教育技术”学术研究讨论会的优秀论文38篇，内容包括：虚拟现实与可视化技术、软件开发与测试技术、网络技术与应用、算法及图像智能处理、教育技术及应用等。本书所集论文...

邹海林，柳婵娟，潘辉，周树森，周红志愿军等编著2014 年出版392 页ISBN：9787030418807

本书以计算机学科历史渊源、发展过程、学科知识体系来组织内容，包括计算机发展史、计算机科学基本理论的形成与发展、程序设计语言原理与发展、数据库技术原理与发展、计算机网络技术及其发展、数据存储技术...

德勒兹著；陈蕉译2009 年出版247 页ISBN：9789577305886

怀进鹏，徐宝文，许可主编2013 年出版800 页ISBN：9787030374738

为庆贺李未院士七十寿诞，来自北京大学、清华大学、国防科技大学、南京大学等国内高校和爱丁堡大学等国外高校的知名学者就计算机科学和软件工程的进展撰写了综述或学术论文。将这些论文汇集成册出版不仅是向...