国内版
国际版
网页
图片
视频
短视频
学术
词典
地图
更多
航班
笔记本
报告不当内容
请选择下列任一选项。
无关
低俗内容
成人
儿童性侵犯
时长
全部
短(小于 5 分钟)
中(5-20 分钟)
长(大于 20 分钟)
日期
全部
过去 24 小时
过去一周
过去一个月
去年
清晰度
全部
低于 360p
360p 或更高
480p 或更高
720p 或更高
1080p 或更高
源
全部
优酷
酷6
土豆
6.cn
Joy
新浪
搜狐
CCTV
价格
全部
免费
付费
清除筛选条件
筛选器
17:26
斯坦福：编程范式（含课件）| 全27集
已浏览 2378 次
9 个月之前
bilibili
常春藤中英字幕课
1:17:18
CMU《函数式编程|15-150 Functional Programming, Fall 2023》中英字幕
…
已浏览 1.7万 次
2025年1月4日
bilibili
GPT中英字幕课程资源
13:57
【席老师】【formal】VC Formal Overview-1
已浏览 126 次
2023年6月12日
zhihu.com
芯片EDA席老师
3:34
【席老师】【Formal】什么样的设计适合用Formal SEQ去做验证
已浏览 378 次
2023年6月23日
zhihu.com
芯片EDA席老师
6:17
【席老师】Formal FPV 介绍
已浏览 1064 次
2023年7月9日
bilibili
芯片EDA技术席老师
3:41:18
形式化方法 - 华保健 - 第10节
已浏览 183 次
2025年1月18日
bilibili
这次去哪玩
计算机毕业设计项目源码SSM框架实现的主持人信息发布与管理系统实战
…
已浏览 1.1万 次
2021年4月30日
bilibili
项目实战营
2:45
【席老师】formal 基础通用技术关于Monitor Progress-1
已浏览 602 次
2023年6月26日
bilibili
芯片EDA技术席老师
10:51
【新思小课堂】【Formality】入门：芯片实现流程中的形式验证
已浏览 1701 次
8 个月之前
bilibili
新思小课堂
5:45
编程范式（导演剪辑版）04代码组织形式
已浏览 176 次
2024年5月6日
bilibili
知则
2:22:20
Formal Methods in Software Development (Winter 2021)
已浏览 793 次
2021年10月15日
bilibili
他方星云
2:00:02
形式化方法 - 华保健 - 第01节下
已浏览 124 次
2025年1月18日
bilibili
这次去哪玩
6:20
【新思验证小课堂】【VC Formal】Overview-3
已浏览 1054 次
2023年9月5日
bilibili
新思小课堂
17:26
斯坦福大学公开课：编程范式
已浏览 1989 次
2020年3月24日
bilibili
商商其谈
3:14:17
形式化方法 - 华保健 - 第12节 - Review
已浏览 661 次
2025年1月18日
bilibili
这次去哪玩
7:53
跟着项目框架编写课程走一遍什么都会了
已浏览 501 次
2025年2月25日
bilibili
工控技能
1:32:57
Formal Semantics of Programming Languages (Summer 2021)
已浏览 827 次
2021年10月15日
bilibili
他方星云
1:41:18
形式化方法 - 华保健 - 第04节下
已浏览 62 次
2025年1月18日
bilibili
这次去哪玩
1:24:55
形式化方法 - 华保健 - 第01节上
已浏览 461 次
2025年1月18日
bilibili
这次去哪玩
7:22
诺丁汉大学 —— 函数式编程 Functional Programming
已浏览 1.5万 次
2021年3月26日
bilibili
会喵喵的小汪
1:38:56
形式化方法 - 华保健 - 第06节下 - Review
已浏览 242 次
2025年1月18日
bilibili
这次去哪玩
20:48
芯片验证基础篇｜形式化验证和功能验证VCFormal
已浏览 690 次
2021年9月2日
bilibili
augusdi
17:25
[双语字幕] Stanford CS107 Programming Paradigms 编程范式
已浏览 5.5万 次
2017年4月12日
bilibili
孔乙己2049
6:38
计算机毕业设计之讲解程序框架结构，这是定制程序讲解的第一步，也
…
已浏览 1239 次
2020年3月11日
bilibili
若先计算机毕业设计
2:00:04
形式化方法 - 华保健 - 第02节上
已浏览 117 次
2025年1月18日
bilibili
这次去哪玩
4:26
【席老师】formal setup 有哪些值得注意的地方2
已浏览 454 次
2023年6月20日
bilibili
芯片EDA技术席老师
8:37
【新思小课堂】【VC Formal】9分钟带你了解低功耗设计如何用形式化验
…
已浏览 856 次
2024年7月31日
bilibili
新思小课堂
49:53
【麻省理工学院】计算机教育中缺失的一课 08 元编程【中英字幕】Lectur
…
已浏览 420 次
2021年2月2日
bilibili
码农真经
21:08
【新思小课堂】【VC Formal】适合小白的第一本形式验证入门中文书
已浏览 3215 次
2023年10月30日
bilibili
新思小课堂
9:10
【新思验证小课堂】【VC Formal】VC Formal FPV demo
已浏览 1693 次
2023年9月12日
bilibili
新思小课堂
观看更多视频
反馈
反馈