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

鲁松庭主编2000 年出版236 页ISBN：7308024644

马明栋等编2000 年出版313 页ISBN：9787501416486

C.CROWLEY著1999 年出版884 页ISBN：9787506241182

刘文志著2015 年出版190 页ISBN：9787111506287

本书系统、深入讲解了科学计算及企业级应用的并行优化方法与最佳实践。第1章介绍了常见的并行编程基于的多核/众核向量处理器架构。第2章介绍了如何在X86、ARM和GPU上优化常见的线性代数运算。第3章介绍了...

国家科委科技促进发展研究中心，延边州规划课题组编1995 年出版653 页ISBN：7500056095

（加）泽农·W. 派利夏恩（Zenon W. Pylyshyn）著；任晓明，王左立译2007 年出版348 页ISBN：7300080286

本书分析了计算和心理的现象，对认知科学的逻辑理解提出全新的思路。

中国建筑科学研究院编2222 年出版26 页ISBN：

高林编著1993 年出版415 页ISBN：7507708071

Barry Render，Ralph M.S2007 年出版623 页ISBN：

（德）海德格尔著2009 年出版101 页ISBN：9787100064613

本书收录海德格尔晚年的三个大演讲稿和一次讨论班的记录稿。