没有合适的资源?快使用搜索试试~
我知道了~
文库首页
开发技术
其它
zvi:面向世界的纯函数依赖类型延迟评估逻辑编程语言
zvi:面向世界的纯函数依赖类型延迟评估逻辑编程语言
共3个文件
license:1个
zvi:1个
md:1个
需积分: 5
0 下载量
6 浏览量
2021-06-14
17:39:16
上传
评论
收藏
2KB
ZIP
举报
温馨提示
立即下载
兹维 面向世界的纯函数依赖类型延迟评估逻辑编程语言
资源推荐
资源详情
资源评论
zvi-nails:此存储库包含ZVI Nails and Spa网站的客户端代码
浏览:173
ZVI指甲和水疗中心 描述 ZVI Nails&Spa网站的客户端代码。 技术领域 React 尾风CSS HTML 安装 输入您的项目目录 cd project-directory 克隆存储库 git clone git@github.com:anthonybui94/zvi-nails.git 移至...
Python库 | zvi_client-1.1.3-py2.py3-none-any.whl
浏览:70
资源分类:Python库 所属语言:Python 资源全名:zvi_client-1.1.3-py2.py3-none-any.whl 资源来源:官方 安装方法:https://lanzao.blog.csdn.net/article/details/101784059
投资学课程导论_Zvi.ppt
浏览:36
投资学课程导论_Zvi.ppt
投资学第8章_zvi.ppt
浏览:154
投资学第8章_zvi.ppt
投资学第7章_zvi.ppt
浏览:173
投资学第7章_zvi.ppt
投资学第6章_zvi.ppt
浏览:71
投资学第6章_zvi.ppt
投资学第5章_Zvi.ppt
浏览:96
投资学第5章_Zvi.ppt
投资学第4章_Zvi.ppt
浏览:6
投资学第4章_Zvi.ppt
投资学第3章_Zvi.ppt
浏览:184
投资学第3章_Zvi.ppt
投资学第2章_Zvi.ppt
浏览:150
投资学第2章_Zvi.ppt
投资学第1章_Zvi.ppt
浏览:78
投资学第1章_Zvi.ppt
ZVI_Edge_detection
浏览:172
ZVI_Edge_detection 图像中的边缘检测(在定义的方向上检测,最大梯度方向,蒙版方法,拉普拉斯算子,线和点检测,特殊边缘检测器-Canny,Marr-Hildereth)
论文研究 - 通过水介导的零价铁反应评估固体基质中硒处理的有效性和持久性
浏览:195
使用零价铁(ZVI)进行化学还原和稳定化对这两个方面都适用。 固体基质案例研究适用于灰池固体或工业布袋除尘固体。 本文介绍了使用ZVI处理和稳定固体基质中硒的数据。 该方法使用水介导反应来促进不可浸出硒的稳定...
硫酸根和硝酸根对ZVI-SRB处理铀废水的影响研究 (2010年)
浏览:121
利用硫酸盐还原菌(SRB)和还原性铁粉(Zero Valent Iron,ZVI)还原沉淀废液中的铀.研究了硫酸根和硝酸根对SRB体系和ZVI-SRB体系还原沉淀废液中的铀的影响.试验结果表明,这2个酸根离子对SRt3体系和ZVI-SRB体系处理铀...
不同碳源对ZVI-SRB-SO42-体系中生物活性的影响 (2015年)
浏览:34
通过零价铁(Zero-valent iron,ZVI)的添加考察ZVI对于SRB生物活性的促进作用.结果表明:碳源会对SRB的生物活性产生很大影响,导致产生不同的SO42-还原效率;在SRB分别以柠檬酸钠、乳酸钠和可溶性淀粉为碳源时,通过添加...
零价铁去除三氯乙烯的批实验研究
浏览:31
零价铁去除三氯乙烯的批实验研究,蔡静,单爱琴,通过批实验,利用廉价铁粉对水中三氯乙烯进行还原脱氯,研究了Fe0的纯度、粒径、投加量、酸洗预处理及不同的pH值条件对三氯乙烯去�
lcvmatlab代码-stimulusVignetting:与“人类视觉皮层的刺激渐晕和方向选择性”相关的代码
浏览:192
此代码在很大程度上依赖于其他三个软件包: 、 和可操纵金字塔。 我们包含了 David Heeger () 编写的可操纵金字塔的一个版本,它与 Eero Simoncelli 分发的可操纵金字塔代码不同。 要生成论文中的图形,请从 OSF() ...
ZVI_Svoboda_HoughT.zip_数值算法/人工智能_Java_
浏览:198
Java implementation of Hough Transform in Czech
Qt 5实现串口调试助手 (源工程文件、0积分下载)
浏览:137
5星 · 资源好评率100%
基于Qt 5实现串口调试助手,程序仅供参考,修改了之前十六进制接收0xA0--0xFF有误的问题,新增了窗口自适应(ui文件设置栅格),文件详情可看博客链接https://blog.csdn.net/m0_51294753/article/details/121405661。
【SystemVerilog】路科验证V2学习笔记(全600页).pdf
浏览:164
5星 · 资源好评率100%
SystemVerilog的听课学习笔记,包括讲义截取、知识点记录、注意事项等细节的标注。 目录如下: 第一章 SV环境构建常识 1 1.1 数据类型 1 四、二值逻辑 4 定宽数组 9 foreach 13 动态数组 16 队列 19 关联数组 21 枚举类型 23 字符串 25 1.2 过程块和方法 27 initial和always 30 func
AutoSAR标准协议4.2.2
浏览:163
5星 · 资源好评率100%
AutoSAR标准协议规范4.2.2,里面包含了AutoSAR组织所规定的AutoSAR架构的标准规范协议原文档。对AutoSAR的学习有一定的借鉴意义
光伏-储能并网系统仿真.rar
浏览:126
5星 · 资源好评率100%
该文件是清华大学储能课的期末大作业。用SIMULINK搭建了一个完整的光伏-储能并网系统。我的博客中介绍了系统实现的具体方法,欢迎查看!
NPPJSONViewer.zip
浏览:165
4星 · 用户满意度95%
NodePad++ JSON格式化插件
GD32替换STM32注意事项.pdf
浏览:17
3星 · 编辑精心推荐
GD32 介绍与 STM32 兼容性汇总。STM32的代码直接在GD32上运行需要小部分的修改。按教程做对应修改就行哈。
XCP协议的规范文档
浏览:114
5星 · 资源好评率100%
XCP协议的原规范文档,主要包含了Part1-5共5个部分,其中第三部分又分为CAN、以太网和Sxl等。对于XCP协议的开发者和学习者有借鉴意义
VS2015安装证书,JavaScript_ProjectSystem.msi,JavaScript_LanguageService.msi
浏览:199
3星 · 编辑精心推荐
vs2015.iso包安装,不然会卡在安装包丢失或损坏
CANoe通过CAPL脚本实现自动测试
浏览:191
现在汽车行业用vector的工具进行自动测试,但是该自动测试模板很少,本案例是分享CAPL脚本自动化测试的模板,和自动控制测试步骤的XML模板,使用过程可以通过本人分享的文档来实现工程的建立到自动测试的完成。通过CAPL脚本+XML控制测试步骤,实现自动测试,生成测试报告。
蓝牙BLE协议中文版.pdf
浏览:19
蓝牙BLE协议中文版,帮助初学者更快掌握协议内容。协议为SIG官方协议的中文版,所有协议内容均与英文原版协议内容保持一致
BaiduOCR.zip
浏览:80
5星 · 资源好评率100%
按键精灵百度文字识别 自定义库 使用说明参考:https://blog.csdn.net/sinat_22215253/article/details/118272746
收起资源包目录
zvi-master.zip
(3个子文件)
zvi-master
LICENSE
1KB
spec.zvi
3KB
README.md
100B
共 3 条
1
评论
收藏
内容反馈
立即下载
资源评论
资源反馈
评论星级较低,若资源使用遇到问题可联系上传者,3个工作日内问题未解决可申请退款~
联系上传者
评论
哥本哈根学派
粉丝: 21
资源:
4508
私信
上传资源 快速赚钱
我的内容管理
展开
我的资源
快来上传第一个资源
我的收益
登录查看自己的收益
我的积分
登录查看自己的积分
我的C币
登录后查看C币余额
我的收藏
我的下载
下载帮助
前往需求广场,查看用户热搜
最新资源
SAP公司间采购EDI配置-如何触发自动MIRO.docx
python193中学地理-中国的江河湖泊教学网(django).rar
python190基于人脸识别智能化小区门禁管理系统.rar
Android移动应用开发入门.pdf
python170文本相似度计算系统.rar
python166简易SNMP的管理站工具.rar
python157基于计算机视觉的答题卡识别及判分系统.rar
sql server专题实验6 视图的应用
悟空机器人拆解.zip
优必选悟空机器人拆解教程.pdf
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功