只为小站
首页
域名查询
文件下载
登录
首页
课程资源
专业指导
logic in computer science(面向计算机的数理逻辑)英文pdf附答案
logic in computer science(面向计算机的数理逻辑)英文pdf附答案
上传者:
boundis
|
上传时间: 2021-10-18 11:51:18
|
文件大小: 2.23MB
|
文件类型: -
计算机
建模
推理
数理逻辑
经典计算机数理逻辑教材,被国内外高校采用。 作者 Michael Huth ,Mark Ryan 英文打印原版
文件下载
立即下载
评论信息
qq_40398654 :
资源很好,就是下载之后需要自己手动更改后缀为RAR,是有目录的电子版
2019-03-11
qq_34375398 :
这个资源还能用吗?为什么我下载了打不开
2016-12-04
其他资源
北邮移动通信原理期末考试题
高级ASIC芯片综合第二版.pdf
图书借阅管理系统(免费)(VB+access2003)
51单片机数码管四层电梯模拟系统(仿真+源代码+参考资料……)
MATLAB神经网络应用设计(第二版)源代码
利用相关系数匹配法完成左右相片的影像匹配
ialm_rpca背景建模
南邮通院复试问题总结
JAVA网上机票预订管理系统
protoc-3.7.1-win64.zip
sqlcipher3.0.1数据库解密工具
朴素贝叶斯算法(C语言实现,来自网络)
当前本目录文件的名称获取.xlsm
miaosha:基于springboot + Ajax的商品秒杀项目基础项目(前分离),涉及Springboot,Ajax,redis,mysql,Nginx以及阿里云短信发送服务-源码
简单dicom浏览器.rar
C# VB .NET实现线性条码、条形码、QR二维码的读取和生成创建
mt4 DMI指标源码
私服发布系统team Gsystem1.0
数据结构-B树的完整实现
cs229的所有纸质资料
无刷直流电机的直接转矩控制系统研究与设计
电子音乐门铃设计(内含源文件、原理图、实物照片)
spring-security结合spring boot超简单的例子
互联网+大赛之陪它(Pet)宠物项目计划书
免责申明
【只为小站】的资源来自网友分享,仅供学习研究,请务必在下载后24小时内给予删除,不得用于其他任何用途,否则后果自负。基于互联网的特殊性,【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查;无论 【只为小站】 经营者是否已进行审查,用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场,基于网友分享,根据中国法律《信息网络传播权保护条例》第二十二条之规定,若资源存在侵权或相关问题请联系本站客服人员,zhiweidada#qq.com,请把#换成@,本站将给予最大的支持与配合,做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
个人信息
点我去登录
购买积分
下载历史
恢复订单
相关资源标签
3G/移动开发
C/C++
Java
.Net
PHP
嵌入式
软件测试
数据库
网络管理
网页制作
游戏开发
专业指导
讲义
热门下载
基于LSTM模型的股票预测模型_python
智能微电网中利用粒子群算法实现多目标优化(有完整数据可运行).zip
王万良-人工智能导论(第五版)课件
非线性本构关系在ABAQUS中的实现.pdf
Monet智能交通场景应用
校园网规划与设计和pkt文件
android开发期末大作业.zip
基于FPGA的DDS信号发生器设计(频率、幅度、波形可调)
2019西门子杯六部十层电梯群控参考程序.zip
云视通端口扫描器.rar
EEMD算法应用于信号去噪.rar
stm32f103+OLED12864+FFT音乐频谱(多种显示效果 提供原理图)
基于hadoop商品推荐系统课程设计
BP_PID控制仿真.rar
数字图像处理[冈萨雷斯]
最新下载
WORD制作打印刻度尺
Risk Simulator
克林贝格齿轮测量仪P26 蜗杆模块编程操作说明书
ShapeNetCore 数据集 (v1+v2)
Rule34 Downloader:从 http://www.rule34.xxx 下载标记图像-开源
掌讯方案YT9213AJ 最新刷机固件包
logic in computer science(面向计算机的数理逻辑)英文pdf附答案
CheckSum_Generate_exe_v7.1536.00.00.rar
AVL CONCERTO使用指南 -中文版
20201210技术分享--java动态追踪技术浅析.pptx