理论计算机科学

关于理论计算机科学书籍列表

计算机程序设计艺术：第4卷第2册（双语版）

阅读量：6
ISBN：9787111177739
发布时间：2025-04-29 16:28:21
矩阵论

阅读量：6
ISBN：9787561255704
发布时间：2025-04-29 17:53:06
计算理论导引

阅读量：6
ISBN：9787111190288
发布时间：2025-05-01 05:57:22
图的有限制条件染色引论（英）

阅读量：6
ISBN：9787030598677
发布时间：2025-05-02 01:42:56
编程语言的设计与实现

阅读量：6
ISBN：9787115516169
发布时间：2025-05-02 20:18:00
Büchi自动机模型检测及其安全性分析应用研究/江西理工大学优秀博士论文文库

阅读量：7
ISBN：9787548735632
发布时间：2025-05-04 01:11:13
近世计算理论导引

阅读量：5
ISBN：9787030126177
发布时间：2025-05-04 11:32:40
理论信息学概论

阅读量：3
ISBN：9787504656742
发布时间：2025-05-04 16:23:12
离散数学

阅读量：4
ISBN：9787810131865
发布时间：2025-05-05 23:38:06
计算机程序设计艺术・卷1

阅读量：5
ISBN：9787115360670
发布时间：2025-05-06 06:19:21
计算理论基础

阅读量：2
ISBN：9787302132882
发布时间：2025-05-07 01:08:00
离散数学题解与分析

阅读量：2
ISBN：9787113122867
发布时间：2025-05-07 02:07:02
程序正确性证明方法

阅读量：4
ISBN：9787564231699
发布时间：2025-05-09 09:34:06
具体数学（英文版第2版）

阅读量：2
ISBN：9787111105763
发布时间：2025-05-10 03:32:08
量子机器学习

阅读量：1
ISBN：9787312049040
发布时间：2025-05-10 05:04:48
自动机理论、语言和计算导论（原书第2版）

阅读量：1
ISBN：9787111144526
发布时间：2025-05-10 06:08:44
源自动机的道德

阅读量：1
ISBN：9787544778091
发布时间：2025-05-10 13:22:05
数理逻辑与机器证明

阅读量：3
ISBN：9787030019196
发布时间：2025-05-12 00:31:35
群与格引论

阅读量：1
ISBN：9787040292053
发布时间：2025-05-12 04:57:24
离散数学及应用

阅读量：1
ISBN：9787562330059
发布时间：2025-05-12 14:53:18