第一图书网

全部分类

面向计算机科学的数理逻辑

陆钟万 科学出版
出版时间：2002-1
出版社：科学出版
作者：陆钟万
页数：263
字数：221000
Tag标签：无
图书封面

图书标签Tags

无

下载链接
    面向计算机科学的数理逻辑PDF格式下载

相关图书

代数数论
纵横嵌入术
加速寿命试验
神经网络系统理论及其应用
软件体系结构的艺术
应用统计学
排序引论
实用Windows对等网络连接老教程
抽象代数
动力系统基础及其方法
粗糙集理论与方法
近代优化方法
常微分方程定性与稳定性方法
计算机数学
信息系统与知识发现
强偏差定理与分析方法
椭圆与抛物型方程引论
多元统计分析引论
黎曼曲面
二阶椭圆型方程与椭圆型方程组
微分动力系统原理
微分方程定性理论
多元分析基础
一元分析基础
符号计算系统Mathematica教程
近世代数
大学数学（微积分部分）
Director 8.0看图速成
Protel DXP范例入门与提高
实时数字信号处理
Page Maker时尚应用百例
计算机基础及应用
分析模式
现代信息检索
数字集成电路与嵌入式内核系统可测试性设计
Authorware 5.X看图速成
无线与移动系统导论
应用Use Cases方法
用户中心设计
测试过程改进:结构化测试循序渐进实用指南(影印版) (平装)
数据通信与计算机网络
操作系统原理与实训教程
Internet技术及其实现
电子商务系统的分析与设计
Internet技术与应用教程
微机常用外部设备原理与维修
数据结构＋算法
VHDL电路设计技术
小灵通手机修理从入门到精通
USB2.0原理与工程开发