只为小站
首页
域名查询
文件下载
登录
Coq-Logic.v
中国科技大学程序设计语言理论课程作业之一 Coq语言完成的Logic.v
2019-12-21 19:47:50
48KB
Coq
函数式语言
程序设计语言
Logic.v
1
个人信息
点我去登录
购买积分
下载历史
恢复订单
热门下载
锁相环simulink建模仿真.rar
IBM CPLEX 12.10 学术版 mac操作系统安装包
mingw-w64-install.exe
Alternative A2DP Driver 1.0.5.1 无限制版
银行笔试 信息科技岗部分真题
拾荒者.exe同时ID扫描器IP扫描器
simulink仿真实现光伏发电MPPT+能量管理
全国道路网SHP数据.zip
超大规模集成电路先进光刻理论与应用.pdf
基于MQ2烟雾传感器的STM32F103程序
多智能体的编队控制程序的补充(之前上传少了一个文件)
狂神说Java系列笔记.rar
采用K-means聚类，实现多维矩阵的聚类，并进行可视化展示（matlab）
RentingSystem.rar
安卓开发期末大作业----单词本（源码，任务书，大报告，apk文件）（基于andord studio）
最新下载
中科大高级计算机网络往年试卷及两个版本的答案.zip
流程图开发平台 NFL08-ZB1 未来之星
openGL实现（ADS）环境光，漫反射，镜面高光，实现双面（前面front、背面back）着色 实现平面着色（flat shading）
Intel (R) Flash Programming Tool Version 16.1.27.2236
opengl 模板测试下的镜子效果
锐起RDV5.0.4803版模拟狗生成工具-定龙版
skynet源码赏析
QXDM5 安装包版本号：QXDM5.5.1.350.1可解析：LTE、NR包含：Qcat，QUTS，QXDM5
S.BUS遥控接受STM32F103ZET6完整程序.zip
STM32F1读取SBUS接收机数据
其他资源
i2 iBase 8 培训教材（中文版）
matlab时间序列分析代码.rar
Adaptive Filter Theory (中文版) Simon Haykin.pdf
列主元消去 LU分解 最小二乘法等九个算法
C++完整实现DES算法
robot_results.groovy
卷积神经网络课程报告
简单手写字符识别（简单web界面手写）
proteus8.7汉化补丁
UiPath教程中文电子版.zip
经典的行人检测算法，利用HOG和SVM实现此算法
stm32f103读取MPU9250初始数据程序
TMSWorkflowStudiov2.11forD7-XE10.2完整安装特别版(附破解文件步骤)
FiddlerSetup.zip
2020食品饮料趋势分享.pdf
大数据工具之ClickHouse使用方法教程.zip
mpMath_v0.1.8.crx
YY飞机票生成器
全国医院数据_交付的数据_.xlsx
Mastering Go Web Services(PACKT,2015)
通信专业实务-互联网技术
PB学生成绩管理系统
iOS真机调试包12.4(16G77).zip
