- 博客(1)
- 资源 (10)
- 问答 (1)
- 收藏
- 关注
RSS订阅原创 国防科技大学（NUDT）体育（游泳基础班）学习笔记——五次课教会你蛙泳
第1次课（9月30日）：学习换气1. 换气12字口诀：嘴吸鼻呼，上吸下呼，快吸慢呼。（1）基础版：（水面）快速上吸一口气，下水后8秒内用鼻慢速呼出。（2）中级版：快速上吸一口气，下水后憋足5秒后，在8秒内用鼻慢速呼出。（3）高级版：快速上吸一口气，下水后憋足5秒后，在8秒内用鼻慢速呼出4/5的气，剩余1/5气在头露出水面后用鼻喷出，并用嘴快速深吸一口气，进入下一个换气动作。2. 漂浮动...
2019-05-01 08:29:09
3757
Verified programming in Dafny.docx
An introductory course to the use of Dafny for writing programs with fully verified specifications.
2021-08-20
鼠标右键菜单“重新加载”和Web浏览器“重新加载”功能时，刷新当前页面的Iframe
2022-02-08
TA创建的收藏夹 TA关注的收藏夹
TA关注的人