只为小站
首页
域名查询
文件下载
登录
The
Little
Schemer
LISP的基本语法 递归程序结构的基本模式 数据结构与算法 高阶函数 Continuation与CPS 图灵机与停机问题 Y Combinator 语言求值器 所有的这些都是0基础上一步步引导读者去建立的。豆瓣9.3分好评
2022-02-07 09:12:45
6.12MB
数据结构
算法
lisp
开发语言
1
little
-bee-B1:高性能电流和磁场探头-源码
Little
Bee B1-高性能电流和磁场探头
Little
Bee B1是基于各向异性磁阻(AMR)磁传感器的开源磁场和电流探头。 它通过电流感测附件直接感测磁场并测量电流,该电流感测附件由位于电线周围的带隙铁氧体环形线圈组成,从而在电线中的电流与传感器所承受的磁场之间建立了固定的关系。 该探头能够感应直流电流,并具有超过10Mhz的-3dB高频带宽。 电流感测的典型规格为+/- 5A范围和3mA RMS的本底噪声。 对于磁场感应,探头的范围为+/- 6高斯。 它与任何1M欧姆输入示波器兼容,并由一个AA电池供电。 该探头使用PIC微控制器自动将传感器归零,并提供可调的增益和带宽。 所有项目源文件都在此存储库中,并且该项目当前具有CrowdSupply 典型电气性能 电流感应 带宽:DC-10 MHz 灵敏度:0.25伏/安 最大电流:+/- 5 A 噪音 在10 MHz带宽下
2022-01-17 09:39:16
24.27MB
SWIG
1
The
Little
Prover
The
Little
Schemer 系列作者 Daniel P. Friedman 最新力作。 使用 Scheme 实现的定理证明器,进行程序形式验证。
2022-01-05 00:43:21
3.17MB
Scheme
1
little
vGL 在欧比特测控 RT1052开发板上的移植(开源)
little
vGL 在欧比特测控 RT1052开发板上的移植(开源)
2022-01-04 21:27:12
3.04MB
little
欧比特
RT1052
GUI
1
little
vGL 在飞凌RT1052开发板上的移植(开源)
little
vGL 在飞凌RT1052开发板上的移植(开源) 飞凌开发板
2022-01-03 08:37:41
15.68MB
little
飞凌
RT1052
GUI
1
The
Little
Schemer_4th.pdf
The goal of this book is to teach the reader to think recursively. And to read this book, the reader must be comfortable reading English, recognizing numbers, and counting.
2021-12-31 10:30:40
2.06MB
schemer
1
Little
Heroes Mega Pack 2.7
Unity大量的人物模型资源 风格:卡通 Shader模式 自带各种武器装备
2021-12-21 10:37:42
118.31MB
Unity
Package
1
The
Little
Book of Semaphores
The
Little
Book of Semaphores 一本关于信号量的书
2021-11-27 21:18:34
979KB
Semaphore
1
netcdf2
little
r:将NetCDF文件转换为
Little
-R格式的应用程序。
Little
-R格式是WRF数据同化系统(WRFDA)预处理器(obsproc)可接受的输入格式。 当前,此应用程序仅支持天气气象站的转换-源码
NetCDF2
Little
R 描述 一个FORTRAN应用程序,用于将NetCDF文件转换为
Little
-R格式。
Little
-R格式是WRF数据同化系统(WRFDA)预处理器(obsproc)可接受的输入格式。 当前,此应用程序仅支持对天气气象站的转换。 安装 NetCDF2
Little
R使用cmake构建系统。 NetCDF2
Little
R需要构建外部源,例如,通过创建构建目录。 在构建过程中,将创建一个名为convert-
little
r的二进制文件。 用法 二进制convert-
little
r需要一个Fortran名称列表作为参数,例如: netcdf2
little
r --namelist netcdf2
little
r.namelist 如果未提供任何参数, netcdf2
little
r尝试使用当前工作目录中的文件netcdf2
little
r.namelist 。 输入名称列
2021-11-26 22:03:47
51KB
convert
netcdf
wrf
littler
1
little
.zip
技术选型 Servlet、JSP、MySQL、JDBCTempleat、Duird、BeanUtilS、tomcat 功能介绍 登录功能,列表展示,数据添加,数据编辑,数据删除,批量删除,分页展示,关键字搜索
2021-11-26 17:14:03
11.7MB
登录
增删改查
分页
搜索
1
个人信息
点我去登录
购买积分
下载历史
恢复订单
热门下载
RentingSystem.rar
狂神说Java系列笔记.rar
quartus II13.0器件库.zip
CNN卷积神经网络Matlab实现
基于Matlab的PI/4 DQPSK的调制解调源代吗
transformer_pytorch_inCV.rar
Microsoft Visual C++ 2015-2019 运行库合集,包含32位64位
python实现的学生信息管理系统—GUI界面版
android studio课程设计作业PPT+设计文档+可运行源代码+设计思路
汽车仿真之电池模型-适合新手入门
模型预测控制MPC(模型预测电流控制,MPCC)的simulink仿真,2016b版本
基于MATLAB的Filter使用,低通、带通和高通滤波器的仿真
CPLEX12.8学术版安装包:cplex_studio128.win-x86-64.exe
20200318附加-2019年电赛综合测评方案详细计算过程(pdf版本,有朋友反映word版本乱码,特意转为pdf)
张正友相机标定Opencv实现(完整程序+棋盘图)实例源码
最新下载
小笨智能中心线v1.4(命令ce)_小笨智能_autocad_
黑马扫地僧C\C++\数据结构\算法\设计模式讲义.rar
qt-everywhere-src-5.15.0
北京大学 基于Multisim的八路抢答器的设计与仿真(源文件、代码、实验报告)
oppo s9 s9k等机型刷固件工具
基于Multisim 14.1 的八路智力竞赛抢答器(电路图+实验报告)
vspd 虚拟串口 Virtual Serial Port Driver 7.2.308 原版+破解补丁
锐起RDV-5.0 build 6826
WebGL平台基于AVProVideo播放海康设备监控实实画面demo源码
博士德免加密狗使用补丁
其他资源
基于安卓的旅游系统源代码一套
小型风力发电系统MPPT simulink仿真模型
基于8086的温度测控系统,有引脚连线图
FFMPEG和FFSERVER搭建流媒体服务器实例(windows下测试通过)
Digital Watermarking and Steganography英文版PDF文字版第二版
java在线编辑保存Word文件(支持跨浏览器)
C#实现高效率鼠标缩放平移图像(GDI+方式),内有代码注释
wpf画图控件_Scichart
QT实现的一个截屏软件
机票预订系统界面代码(java)
Qt窗体间传递数据的三种模型
单片机激光相位测距仪原理图
apache-hive-2.3.8-bin.tar.gz
倍加福扫描仪资料
vc6.0+opengl动态绘制五角星
测试代码 test.war
QTableViewTest.rar
成都_房价数据(新楼盘).zip
matebooklinuxpatch.zip
环信聊天demo
操作系统实验指导
过程控制与自动化仪表(21世纪全国高等院校自动化系列实用规划教材).rar
物业管理系统
allegro常用元件封装库
lightened_cnn_S 5M模型
nRF2401无线模块使用详解+例程
Socket 类封装 改进版