- 热门电子书排行
-
-
《极简宇宙史》克里斯托弗·加尔法德中文修订版 电子书下载
2021-10-01 阅读(2121)
-
大师教语文 电子书下载
2023-06-19 阅读(365)
-
给职场人的5堂逻辑思考课 电子书下载
2022-02-09 阅读(1148)
-
Public Health: What It Is and How It Works 电子书下载
2022-08-03 阅读(774)
-
里尔克与罗丹 电子书下载
2023-06-19 阅读(275)
-
《无羁》墨香铜臭 电子书下载
2021-10-14 阅读(2085)
-
最后的佛魁 电子书下载
2023-06-19 阅读(235)
-
此时此刻相爱的能力 电子书下载
2023-06-19 阅读(307)
-
英国进步主义思想 电子书下载
2023-06-19 阅读(313)
-
新岁时歌 古诗词中的二十四节气 电子书下载
2023-06-19 阅读(422)
-
- 标签列表
-
- 随便看看
-
-
斧声烛影 电子书下载
2023-06-19 阅读(278)
-
大民小国 电子书下载
2023-12-07 阅读(360)
-
百弊放言 电子书下载
2023-06-19 阅读(309)
-
误上贼船 电子书下载
2023-06-19 阅读(290)
-
并非舞文弄墨 电子书下载
2023-06-19 阅读(287)
-
族长的秋天 电子书下载
2023-06-19 阅读(309)
-
历史的转弯处 电子书下载
2023-12-07 阅读(302)
-
中公版·2020北京市公务员录用考试专用教材:行政职业能力测验 电子书下载
2023-06-19 阅读(365)
-
解除限速 电子书下载
2023-06-19 阅读(285)
-
泰汉词典 电子书下载
2023-06-19 阅读(412)
-
-
面向计算机科学的数理逻辑系统建模与推理: 系统建模与推理 电子书下载
数理逻辑是计算机科学的基础之一,在模型与系统的规约与验证等方面有着广泛的应用。随着当今软硬件产品日趋复杂,数理逻辑已经成为越来越多设计开发人员的日常工具。 本书适合作为高等院校计算机及相关专业的数理逻辑/形式化方法课程教材,涵盖了命题逻辑,谓词 ...
02-22 [ None ]