- 热门电子书排行
- 标签列表
-
- 随便看看
-
-
![社会学的想像力 = The Sociological Imagination 电子书下载]( "社会学的想像力 = The Sociological Imagination 电子书下载")
社会学的想像力 = The Sociological Imagination 电子书下载
-
![巴菲特致股东的信 电子书下载]( "巴菲特致股东的信 电子书下载")
巴菲特致股东的信 电子书下载
-
![C++程序设计 电子书下载]( "C++程序设计 电子书下载")
C++程序设计 电子书下载
-
![基本有用的计量经济学赵西亮.pdf 电子书下载]( "基本有用的计量经济学赵西亮.pdf 电子书下载")
基本有用的计量经济学赵西亮.pdf 电子书下载
-
![Comment manager - 50 situations quotidiennes commentées 电子书下载]( "Comment manager - 50 situations quotidiennes commentées 电子书下载")
Comment manager - 50 situations quotidiennes commentées 电子书下载
-
![高野圣僧 电子书下载]( "高野圣僧 电子书下载")
高野圣僧 电子书下载
-
![《耶鲁古文明发现史》布莱恩·费根全译修订版 电子书下载]( "《耶鲁古文明发现史》布莱恩·费根全译修订版 电子书下载")
《耶鲁古文明发现史》布莱恩·费根全译修订版 电子书下载
-
![The Effects of Solar Variability on Earths Climate: A Workshop Report 电子书下载]( "The Effects of Solar Variability on Earths Climate: A Workshop Report 电子书下载")
The Effects of Solar Variability on Earths Climate: A Workshop Report 电子书下载
-
![新物理学的诞生 电子书下载]( "新物理学的诞生 电子书下载")
新物理学的诞生 电子书下载
-
![爆漫王。(01) 电子书下载]( "爆漫王。(01) 电子书下载")
爆漫王。(01) 电子书下载
-
-
-
面向计算机科学的数理逻辑系统建模与推理: 系统建模与推理 电子书下载
数理逻辑是计算机科学的基础之一，在模型与系统的规约与验证等方面有着广泛的应用。随着当今软硬件产品日趋复杂，数理逻辑已经成为越来越多设计开发人员的日常工具。 本书适合作为高等院校计算机及相关专业的数理逻辑/形式化方法课程教材，涵盖了命题逻辑，谓词 ...
02-22 [ None ]