只为小站
首页
域名查询
文件下载
登录
首页
课程资源
讲义
形式语义学课程资料PPT
形式语义学课程资料PPT
上传者:
xiejimywei
|
上传时间: 2021-11-30 09:17:53
|
文件大小: 9.1MB
|
文件类型: -
形式语义学
本课程的内容是程序设计理论的组成部分,它以数学为工具,利用符号和公式,精确地定义和解释计算机程序设计语言的语义。通过本课程的学习,使学生在计算机语言的形式语义学方面打下扎实的基础,掌握形式语义学的基本理论、基本方法和重要结论,并了解国内外最新研究动态、热点,为以后的研究做好准备。
文件下载
立即下载
评论信息
其他资源
opencv 人体姿态检测识别.zip
海量点云数据的重复点删除
Android购物商城App+客户端+服务端+数据库
SAMPLE语言的词法分析器
python植物大战僵尸代码,目前全网最好版本
WebGIS从基础到开发实践(基于ArcGIS API For JavaScript)
基于Android的图书馆管理系统
基于MATLAB的人脸五官识别
广义霍夫变换 GHT matlab代码
小波变换C语言实现代码
ISO 16845-1-2016
得力数据恢复软件免费版 v6.2.3.zip
http上传下载C++代码实现
android AppWidget ListView
C# StackExchange.Redis 操作封装类库
scrt-sfx-9.0.0.2430.osx_x64.tar.gz
Python算法-源码
HP LaserJet Professional M1130-M1210 MFP Series
DotNetBar for Windows Forms 12.5.0.2_冰河之刃重打包版.zip
visual c++ vc在窗口中播放.avi视频文件.zip
串口温度数据采集并实时显示
操作系统概念要点整理.zip
美国大学生数学建模论文Latex模板&解析&实操
家庭理财系统的完整毕业设计
免责申明
【只为小站】的资源来自网友分享,仅供学习研究,请务必在下载后24小时内给予删除,不得用于其他任何用途,否则后果自负。基于互联网的特殊性,【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查;无论 【只为小站】 经营者是否已进行审查,用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场,基于网友分享,根据中国法律《信息网络传播权保护条例》第二十二条之规定,若资源存在侵权或相关问题请联系本站客服人员,zhiweidada#qq.com,请把#换成@,本站将给予最大的支持与配合,做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
个人信息
点我去登录
购买积分
下载历史
恢复订单
相关资源标签
3G/移动开发
C/C++
Java
.Net
PHP
嵌入式
软件测试
数据库
网络管理
网页制作
游戏开发
专业指导
讲义
热门下载
基于YOLOV5的车牌定位和识别源码.zip
Python+OpenCV实现行人检测(含配置说明)
EBSD分析软件——Channel5下载安装教程
ChinaMeteorologicalDataHandler.R
vivado 破解 lisence(有效期到2037年) 下载
Academic+Phrasebank+2021+Edition+_中英文对照.pdf
大唐杯资料+题库(移动通信)
空间谱估计理论与算法------程序.rar
基于STM32的电子时钟设计
麻雀搜索算法(SSA)优化bp网络
SSM外文文献和翻译(毕设论文精品).doc
BP_PID控制仿真.rar
OLED显示温度和时间-STM32F103C8T6(完整程序工程+原理图+相关资料).zip
Autojs 例子 源码 1600多个教程源码
基于Python网络爬虫毕业论文.doc
最新下载
shapeNet数据集,包括hdf5、带法向量、不带法向量等三种格式数据集--网盘下载链接(永久有效)
STM32F103 定时器触发ADC+DMA中断+双缓冲
djiiif:适用于Django的简单IIIF集成
基于大数据的音乐推荐系统(适合本科毕设)
Android开发天气预报APP
ARPACK/PARPACK源码
光刻机ASML内部培训资料 介绍芯片的制作流程以及光刻机的部分原理
ASML Scanner 光刻机介绍
光刻机使用方法,数据参数等等
cifar-10-batches-py.zip