目录
（苏教牛津版）一年级英语下册课件 Unit 1The first day at school partBC.ppt
（苏教牛津版）一年级英语下册课件 Unit 1The first day at school partDF.ppt
（苏教牛津版）一年级英语下册课件Unit1 The first day at school partA.ppt
2021-04-02 17:03:58
1.82MB
Unit 1 What’s your name
2021-04-02 17:03:58
1.99MB
《Unit 1 What’s your name》PPT课件 (2)
2021-04-02 17:03:57
646KB
《Unit 1 What’s your name》PPT课件 (3)
2021-04-02 17:03:56
1.04MB
基于ATGM336H 的 NAME 协议 GPS数据解析，主要解析GLL指令，以及波特率设置，定位频率以及返回数据筛选
2021-03-19 15:43:58
2KB
1
最大的名字
该存储库的目的是使人们可以提交具有最大数量头衔的竞争者。
本次比赛的想法是由斯科特·阿伦森描述，但通常这是趣味数学的一个非常活跃的地区，很多资源都可以找到。
该存储库为流程增加了两个警告：
所描述的数字必须是建设性的：没有繁忙的海狸或类似的恶作剧！ 原则上，所有命名的数字都必须是可计算的（稍后会详细介绍）。
提交的数字必须在Coq规范系统中进行正式描述，并提供正式的证明，证明其数量大于当前最大数量的竞争者。
一些基本规则：
在“合理”的机器上使用coqc进行数字检查时，数字的定义必须不超过15秒。
该数字大于当前竞争者的证明应该花费不超过1分钟的时间来进行类型检查，不过我可能会根据事件需要对此进行更新。
没有公理！ 如果需要，可以包括图书馆，但请尝试使用广泛使用的图书馆。
通过根据该文件概述的格式制作一个添加到文件Contender.v的PR（您的编号应为名为
2021-03-09 19:05:24
11KB
1
Compact routing intends to achieve a good tradeoff between routing path length and storage overhead, and is recently considered as a main alternative to overcome the fundamental scaling limitations of the Internet routing system. It is generally believed that specialized compact routing sche
2021-02-21 09:07:46
625KB
1
swing带滚动条的多选下拉选择框（name code形式）
如：选择“张家口，石家庄，衡水”选中的值为他们的code“zjk,sjz,hs”
name code是自己定义的
2021-02-19 15:08:07
5KB
1