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

石钟慈，袁亚湘主编1998 年出版221 页ISBN：7535723462

论文编辑组编著1999 年出版257 页ISBN：7040073773

暂缺《面向二十一世纪热科学研究：庆贺王补宣院士七十五寿辰论文集》简介

北京无线电一厂情报室1978 年出版82 页ISBN：

1981 年出版283 页ISBN：

树数编译1982 年出版411 页ISBN：

（波兰）塔尔斯基著2009 年出版259 页ISBN：9787100064521

本书是著名的逻辑学家塔尔斯基对于现代数理逻辑进行了系统阐述的著作。

李琼，郝兴安，李勇等编著2007 年出版177 页ISBN：9787811146417

本书系统介绍了计算机在材料科学中的应用的基本理论、基本方法和相关应用。

闵应骅编译1994 年出版121 页ISBN：7302013187

编译美国计算机协会(ACM)通讯杂志3篇文章

（美）普罗伍德编（Theodore Provder）黄庙由译1990 年出版386 页ISBN：7502503692

廖浩德主编；杨力，向海韵，杨云，汪立欣，张豫新，符晓，王世元，高磊副主编2018 年出版218 页ISBN：9787302507987

从C#角度介绍面向对象程序设计范式，内容包括面向对象技术的发展背景和程序设计的四个层次。第一个层次是以变量和过程为设计元素的数据表示及其操作、操作流程控制等基础程序设计；第二个层次是以类为设计工具...