国内版
国际版
网页
图片
视频
短视频
学术
词典
地图
更多
航班
笔记本
报告不当内容
请选择下列任一选项。
无关
低俗内容
成人
儿童性侵犯
时长
全部
短(小于 5 分钟)
中(5-20 分钟)
长(大于 20 分钟)
日期
全部
过去 24 小时
过去一周
过去一个月
去年
清晰度
全部
低于 360p
360p 或更高
480p 或更高
720p 或更高
1080p 或更高
源
全部
优酷
酷6
土豆
6.cn
Joy
新浪
搜狐
CCTV
价格
全部
免费
付费
清除筛选条件
筛选器
10:43
不敢独立接项目？这套完整程序课给你底气
已浏览 2202 次
1 个月前
bilibili
工控技能
17:26
斯坦福 编程范式 (中英文双字幕)
已浏览 6739 次
2022年11月19日
bilibili
life_code
17:26
【公开课】 编程范式——斯坦福大学
已浏览 486 次
2020年2月17日
bilibili
杂果
10:51
【新思小课堂】【Formality】入门：芯片实现流程中的形式验证
已浏览 1701 次
10 个月之前
bilibili
新思小课堂
13:57
【席老师】【formal】VC Formal Overview-1
已浏览 126 次
2023年6月12日
zhihu.com
芯片EDA席老师
3:20
机辅教学微课视频——形式主语 formal subject
已浏览 274 次
2021年11月25日
bilibili
Plumpandaa
17:29
编程范式【斯坦福大学】
已浏览 1971 次
7 个月之前
bilibili
精选优课译站
3:34
【席老师】【Formal】什么样的设计适合用Formal SEQ去做验证
已浏览 378 次
2023年6月23日
zhihu.com
芯片EDA席老师
7:22
诺丁汉大学 —— 函数式编程 Functional Programming
已浏览 1.5万 次
2021年3月26日
bilibili
会喵喵的小汪
1:17:18
【卡内基梅隆大学】15-150#函数式编程原理 Principles of Functional Pro
…
已浏览 1895 次
5 个月之前
bilibili
逆风微笑的代码狗
6:17
【席老师】Formal FPV 介绍
已浏览 1064 次
2023年7月9日
bilibili
芯片EDA技术席老师
17:26
斯坦福大学公开课：编程范式
已浏览 1991 次
2020年3月24日
bilibili
商商其谈
4:38
基于微信小程序的文化活动管理平台Java毕业设计小程序毕业设计文化宣
…
已浏览 6 次
6 个月之前
bilibili
锋哥聊编程
3:28
【剑桥留学生】别再说你不知道formal是什么了！
已浏览 5.6万 次
2022年1月21日
bilibili
剑桥的小里森
17:08
Stanford《编程范式》(中英字幕) | Programming Paradigms
已浏览 1232 次
11 个月之前
bilibili
science中英课程资源
15:07
全网最详尽的乐队Program讲解！你想知道的都在这里了
已浏览 4.1万 次
2023年8月9日
bilibili
ETonline
第2章: 一等公民的函数 | 函数式编程指南 Mostly Adequate Guide to Func
…
已浏览 4159 次
2023年10月22日
bilibili
源码穿越
3:41:18
形式化方法 - 华保健 - 第10节
已浏览 186 次
2025年1月18日
bilibili
这次去哪玩
1:41:18
形式化方法 - 华保健 - 第04节下
已浏览 65 次
2025年1月18日
bilibili
这次去哪玩
3:14:17
形式化方法 - 华保健 - 第12节 - Review
已浏览 685 次
2025年1月18日
bilibili
这次去哪玩
0:17
赠送源码-毕业设计：文华学院高校学院社团管理系统代做：开题+任务书+
…
已浏览 140 次
7 个月之前
bilibili
计算机毕业程序
20:48
芯片验证基础篇｜形式化验证和功能验证VCFormal
已浏览 690 次
2021年9月2日
bilibili
augusdi
1:19:47
【Guest Lecture】【斯坦福】【CS106L】【标准C 编程】【Templat
…
已浏览 954 次
2024年2月18日
bilibili
alexphil
4:26
【席老师】formal setup 有哪些值得注意的地方2
已浏览 454 次
2023年6月20日
bilibili
芯片EDA技术席老师
32:33
讲座录屏 | “如何写出没有Bug的代码？”——初探软件的形式化验证方法
已浏览 2277 次
2020年11月30日
bilibili
北邮微软学生俱乐部
2:41
【席老师】【Formal】你知道如何用formal smartsearch功能吗
已浏览 865 次
2023年5月21日
bilibili
芯片EDA技术席老师
2:15
软件工程速成！ 第四章 形式化方法 形式化的优点 非形式化的缺点 应用
…
已浏览 7652 次
2022年10月23日
bilibili
sh0ck1ng
3:31
【席老师】formal 基础通用技术关于Monitor Progress-2
已浏览 574 次
2023年6月26日
bilibili
芯片EDA技术席老师
2:00:04
形式化方法 - 华保健 - 第02节上
已浏览 122 次
2025年1月18日
bilibili
这次去哪玩
3:46
【席老师】【Formal】什么样的设计适合用Formal SEQ去做验证
已浏览 911 次
2023年5月21日
bilibili
芯片EDA技术席老师
观看更多视频
反馈
反馈