只为小站
首页
域名查询
文件下载
登录
计算机科学中的范畴论
陈意云写的,书中首先介绍了代数规范的基本知识和一此泛代数的知识,然后系统地介绍了范畴论的主要内容,范畴,函子,自然变换,积与和,极限和余极限,伴随,笛卡尔封闭的范畴和素描等,并通过很多例子,介绍了范畴论在程序设计语言的语义,论域理论,演绎系统和形式规范等方面的应用
2019-12-21 21:08:10
8.96MB
.mobio文件
1
个人信息
点我去登录
购买积分
下载历史
恢复订单
热门下载
基于Servlet+jsp+mysql开发javaWeb学生成绩管理系统
基于Matlab的IEEE14节点潮流计算.zip
鲸鱼优化算法 WOA matlab源代码(详细注释)
华为结构与材料工程师-知识点总结【by詹姆斯申易登】.pdf
银行笔试 信息科技岗部分真题
Vivado license 永久
狂神说全部笔记内容.zip
基于LSTM模型的股票预测模型_python
cplex_studio129.win-x86-64.exe CPLEX 12.9直接安装可使用
基于Python网络爬虫毕业论文.doc
MATLAB车牌识别系统
quartus II13.0器件库.zip
雷达信号处理仿真程序(MTI,MTD等)
MATLAB之LSTM预测
android studio课程设计作业PPT+设计文档+可运行源代码+设计思路
最新下载
省钱兄跑腿源码(公众号+APP+小程序+Android+IOS)校园跑腿小程序社区跑腿uniapp前端模版
XLSReadWriteII v6.01.17
Unity 串口通讯,完美解决接受16进制数据不完整的情况
relation-graph:Vue 关联关系图谱组件,可以展示如组织机构图谱、股权架构图谱、集团关系图谱等知识图谱,可提供多种图谱布局,包括树状布局、中心布局、力学布局自动布局等。Vue component for relationship graph , which can display knowledge graphs, such as organization graph, equity structure graph, group relationship graph,
Axure巧用中继器-实现菜单与页签动态交互
solkane 9.1制冷剂参数软件
CAD lisp编写的永俊小插件
NativeExcel.v.3.9.7.D4.XE7.rar
PortTunnel 2.0.41.449端口映射(内含注册码)
C# 会议室预定源码
其他资源
年会大屏幕微信上墙系统签到投票抽奖摇一摇等功能
A Mathematical Theory of Communication中文版+英文版
C#深度学习源码
C# .net版 RSA 公钥加密私钥解密 私钥加密公钥解密
基于OpenCV的人脸识别-python3.zip
滤波眼底血管提取
在线试衣间
SmartBlur DEMO
HAL库W5500代码SPI版本
太空天空盒
北航数理统计大作业哦(两次哦,亲)
数据库管理系统原理与设计(第3版).pdf.part3
一个声纹识别的全代码,包括语音信号的预处理,建模,和识别
计算机专业外文文献翻译
3dB电桥HFSS源文件
echarts属性详解.txt
ModBus TCP.zip
Teigha_NET_SDK_3.09.10
wallpaper.py
hola-angular:Practica 1 Angular Programacion Web-源码
计算机数据链路层思维导图
Exceptional C++中文版
C#数据库课程设计说明书报告
单总线多点测温系统PROTUSE仿真(DS18B20)
压缩传感 ROMP重建算法
MIL视频目标跟踪官方源码(MATLAB与C++两种版本同时包含,可运行)及论文原文